From: Luca Padovani Date: Tue, 9 Nov 2004 13:56:59 +0000 (+0000) Subject: * snapshot X-Git-Tag: v_0_6_4_1~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1d3009ca459e81c9405ebfd1de8cc81e672b3fdb;p=helm.git * snapshot --- 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 "" >stats.xml - find /local/helm/library/coq_contribs/$(CONTRIB) -type f -exec ./stats.sh {} \; >>stats.xml - echo "" >>stats.xml +stats_%.xml: + @echo "" >$@ + @find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@ + @echo "" >>$@ -stats.html: stats.xml +stats_theories.xml: + @echo "" >$@ + @find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@ + @echo "" >>$@ + +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} diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl index b372db3fa..a5c163a12 100644 --- a/helm/papers/use_case/stats/mkhtml.xsl +++ b/helm/papers/use_case/stats/mkhtml.xsl @@ -14,8 +14,8 @@ - +
NNodes Size (bytes)Nodes Inner nodes/Leaf elements/Text nodes Depth (max/leaf avg) Width (max/inner avg)