helm/papers/use_case/stats/Makefile

   1
   2 TARGETS = con ind var body types proof_tree
   3
   4 STATS_TARGETS = \
   5   $(TARGETS:%=stats_%.xml) \
   6   stats_theories.xml
   7
   8 all: $(STATS_TARGETS)
   9
  10 stats: stats.cc
  11         g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
  12
  13 stats_%.xml:
  14         @echo "<statistics>" >$@
  15         @find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
  16         @echo "</statistics>" >>$@
  17
  18 stats_theories.xml:
  19         @echo "<statistics>" >$@
  20         @find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@
  21         @echo "</statistics>" >>$@
  22
  23 stats_%.html: stats_%.xml
  24         xsltproc mkhtml.xsl $< >$@
  25
  26 stats_%.txt: stats_%.html
  27         w3m -cols 132 -dump $< >$@
  28
  29 clean:
  30         rm -f stats.{xml,html,txt}
  31