brg: change in the representation of binders

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 98a1c59c65044b96b987c0e9caf015721e6662ce..9903f4fc442ac782abdbe759c1677d0028fb31a4 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -6,7 +6,7 @@ KEEP = README automath/*.aut
 
 CLEAN = etc/log.txt
 
-TAGS = test test-si test-si-fast hal xml-si-drg xml-si-old 
+TAGS = test test-si test-si-fast hal xml-si-drg xml-si-old profile
 
 XMLS = xml/brg/grundlagen/l/not.ld.xml xml/brg/grundlagen/l/et.ld.xml \
        xml/brg/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
@@ -30,6 +30,11 @@ test-si-fast: $(MAIN).opt
        @echo "  HELENA -o -r -u $(INPUT)"
        $(H)./$(MAIN).opt -o -r -u -S 1 $(O) $(INPUT) > etc/log.txt
 
+profile: $(MAIN).opt
+       @echo "  HELENA -r -u $(INPUT) (30 TIMES)"
+       $(H)for T in `seq 30`; do ./$(MAIN).opt -r -u -S 1 $(O) automath/grundlagen.aut >> etc/log.txt; done
+       $(H)grep "at exit" etc/log.txt | sort | uniq | less
+
 hal: $(MAIN).opt
        @echo "  HELENA -o -x -m $(INPUT)"
        $(H)./$(MAIN).opt -o -x -m -s 1 -S 1 $(INPUT) > etc/log.txt