-xml-si-crg: $(MAIN).opt etc
- @echo " HELENA -l -o -s 1 -x $(INPUT)"
- $(H)./$(MAIN).opt -O $(XMLDIR) -T 1 -l -o -s 1 -x $(INPUT) > etc/log.txt
+profile-opt: $(MAIN).opt etc
+ @echo " HELENA -l -1 $(INPUT) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do ./$(MAIN).opt $(TEST1) $(TEST2) >> etc/log.txt; done
+ $(H)grep "processed" etc/log.txt | sort -k 6 | uniq > etc/profile.txt
+
+profile-byte: $(MAIN).byte etc
+ @echo " HELENA -l -1 $(INPUT) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do ./$(MAIN).byte $(TEST1) $(TEST2) >> etc/log.txt; done
+ $(H)grep "processed" etc/log.txt | sort -k 6 | uniq > etc/profile.txt
+
+profile-coq: $(MAIN).opt etc
+ @echo " COQTOP $(V) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do echo Load \"$(OUTPUT)/coq/$(V)\". | $(TIME) $(COQTOP) -q $(NULL); done
+ $(H)grep -h user etc/log.txt | sort | uniq > etc/profile.txt
+
+profile-coq-byte: $(MAIN).opt etc
+ @echo " COQTOP $(V) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do echo Load \"$(OUTPUT)/coq/$(V)\". | $(TIME) $(COQTOP).byte -q $(NULL); done
+ $(H)grep -h user etc/log.txt | sort | uniq > etc/profile.txt