-install-xml: etc/make-html.sh
- @echo " INSTALL xml"
- $(H)scp -r xml/index.txt xml/ld.dtd xml/brg_si/ xml/crg_si/ $(XMLDIR)
+profile: $(MAIN).opt etc
+ @echo " HELENA -l -o $(INPUT) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do ./$(MAIN).opt -T 1 -l -o $(O) $(INPUT) >> etc/log.txt; done
+ $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile.txt
+
+profile-coq: $(MAIN).opt etc
+ @echo " COQC $(V) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do `which time` -p -a -o etc/log.txt $(COQC) coq/$(V); done
+ $(H)grep -h user etc/log.txt | sort | uniq > etc/profile.txt
+
+matita: matita/$(MA)
+ @echo " MATITA $(MA)"
+ $(H)cd matita && $(MATITA) $(MA)
+
+matitac: matita/$(MA)
+ @echo " MATITAC $(MA)"
+ $(H)cd matita && $(MATITAC) $(MA)
+
+#profile-matita: $(MAIN).opt etc
+# @echo " HELENA -o $(INPUT) (1 TIMES)"
+# $(H)rm -f etc/log.txt
+# $(H)for T in `seq 1`; do ./$(MAIN).opt -T 1 -a n -l -m $(PREAMBLE) -o -x $(INPUT) >> etc/log.txt; done
+# $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile-new.txt