TARGETS = con ind var body types proof_tree

STATS_TARGETS = \
  $(TARGETS:%=stats_%.xml) \
  stats_theories.xml

all_xml: $(STATS_TARGETS)

all_html: $(STATS_TARGETS:%.xml=%.html)

stats: stats.cc
	g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<

stats_%.xml:
	@echo "<statistics>" >$@
	@find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
	@echo "</statistics>" >>$@

stats_theories.xml:
	@echo "<statistics>" >$@
	@find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@
	@echo "</statistics>" >>$@

stats_%.html: stats_%.xml
	xsltproc mkhtml.xsl $< >$@

stats_%.txt: stats_%.html
	w3m -cols 132 -dump $< >$@

clean:
	rm -f stats.{xml,html,txt}