From 1d3009ca459e81c9405ebfd1de8cc81e672b3fdb Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 9 Nov 2004 13:56:59 +0000
Subject: [PATCH] * snapshot
---
helm/papers/use_case/stats/Makefile | 30 ++++++++++++++++++++-------
helm/papers/use_case/stats/mkhtml.xsl | 2 +-
2 files changed, 24 insertions(+), 8 deletions(-)
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}
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 @@
<table border="1">
<tr>
<th>N</th>
- <th>Nodes</th>
<th>Size (bytes)</th>
+ <th>Nodes</th>
<th>Inner nodes/Leaf elements/Text nodes</th>
<th>Depth (max/leaf avg)</th>
<th>Width (max/inner avg)</th>
--
2.39.2