X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2FMakefile;h=390a3059a8604a8e9b31e106e9e742c1dc6870e6;hb=608cc7f30a3e9afd915084afe0dd072fb4c7bd66;hp=fa5f5e2e907ec882e5cbf0b1a9c4b6dff2a395b7;hpb=8fce28cde4e422993148e1fca011cae7ea230c16;p=helm.git

diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile
index fa5f5e2e9..390a3059a 100644
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -1,4 +1,33 @@
 
+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}
+