2 TARGETS = con ind var body types proof_tree
5 $(TARGETS:%=stats_%.xml) \
11 g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
14 @echo "<statistics>" >$@
15 @find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
16 @echo "</statistics>" >>$@
19 @echo "<statistics>" >$@
20 @find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@
21 @echo "</statistics>" >>$@
23 stats_%.html: stats_%.xml
24 xsltproc mkhtml.xsl $< >$@
26 stats_%.txt: stats_%.html
27 w3m -cols 132 -dump $< >$@
30 rm -f stats.{xml,html,txt}