+ @echo " HELENA -l -u -1 $(INPUT) (31 TIMES)"
+ $(H)rm -f etc/log.txt
+ $(H)for _ in `seq 31`; do ./$(MAIN).opt $(TEST1) >> etc/log.txt; done
+ $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile.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)"