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 "" >$@
@find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
@echo "" >>$@
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 -cols 132 -dump $< >$@
clean:
rm -f stats.{xml,html,txt}