CLEAN = etc/log.txt etc/profile.txt
-TAGS = test-si-fast test-si test-si-matita test profile xml xml-v3 matita matitac
+TAGS = test-si-fast test-si test-si-matita test profile \
+ xml-si xml-si-v3 xml xml-v3 matita matitac
include Makefile.common
$(H)for T in `seq 31`; do ./$(MAIN).opt -T 1 -o -q $(O) $(INPUTFAST) >> etc/log.txt; done
$(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile-new.txt
+xml-si: $(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
+
+xml-si-v3: $(MAIN).opt etc
+ @echo " HELENA -l -o -s 2 -x $(INPUT)"
+ $(H)./$(MAIN).opt -O $(XMLDIR) -T 1 -l -o -s 2 -x $(INPUT) > etc/log.txt
+
xml: $(MAIN).opt etc
@echo " HELENA -l -s 1 -x $(INPUT)"
$(H)./$(MAIN).opt -l -o $(INPUT) -X -O $(XMLDIR) -T 1 -l -s 1 -x $(INPUT) > etc/log.txt
xml-v3: $(MAIN).opt etc
@echo " HELENA -l -s 2 -x $(INPUT)"
- $(H)./$(MAIN).opt -l -o $(INPUT) -X -O $(XMLDIR) -T 1 -l -s 3 -x $(INPUT) > etc/log.txt
+ $(H)./$(MAIN).opt -l -o $(INPUT) -X -O $(XMLDIR) -T 1 -l -s 2 -x $(INPUT) > etc/log.txt
matita: matita/$(MA)
@echo " MATITA $(MA)"