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_xml: $(STATS_TARGETS)
   9
  10 all_html: $(STATS_TARGETS:%.xml=%.html)
  11
  12 stats: stats.cc
  13         g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
  14
  15 stats_%.xml:
  16         @echo "<statistics>" >$@
  17         @find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
  18         @echo "</statistics>" >>$@
  19
  20 stats_theories.xml:
  21         @echo "<statistics>" >$@
  22         @find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@
  23         @echo "</statistics>" >>$@
  24
  25 stats_%.html: stats_%.xml
  26         xsltproc mkhtml.xsl $< >$@
  27
  28 stats_%.txt: stats_%.html
  29         w3m -cols 132 -dump $< >$@
  30
  31 clean:
  32         rm -f stats.{xml,html,txt}
  33