X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2FMakefile;h=fdfdb9ff09078f92d14ad6eee604df5945815e8c;hb=1d3009ca459e81c9405ebfd1de8cc81e672b3fdb;hp=6db5d94691cfb9c3cddf30554c62b3a28b9974c0;hpb=d0db96d10fc88ad78e1e913d1b8a67e41f6bb976;p=helm.git

diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile
index 6db5d9469..fdfdb9ff0 100644
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -1,15 +1,31 @@
 
+TARGETS = con ind var body types proof_tree
+
+STATS_TARGETS = \
+  $(TARGETS:%=stats_%.xml) \
+  stats_theories.xml
+
+all: $(STATS_TARGETS)
+
 stats: stats.cc
 	g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
 
-stats.xml:
-	echo "<statistics>" >stats.xml
-	find /local/helm/library/coq_contribs/$(CONTRIB) -type f -exec ./stats.sh {} \; >>stats.xml
-	echo "</statistics>" >>stats.xml
+stats_%.xml:
+	@echo "<statistics>" >$@
+	@find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
+	@echo "</statistics>" >>$@
 
-stats.html: stats.xml
+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 -dump a.html > a.txt
+stats_%.txt: stats_%.html
+	w3m -cols 132 -dump $< >$@
+
+clean:
+	rm -f stats.{xml,html,txt}