]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile
more flexibility in the exported data for Teyjus
[helm.git] / helm / software / helena / Makefile
index 137084bf9df420cbccb55b162ccfc20b8394d7ca..02604aae86752c778b93cb5d1cbf02d5ec15b4bb 100644 (file)
@@ -155,8 +155,8 @@ export-lp2 lp/$(LP2): $(MAIN).opt etc
        $(H)./$(MAIN).opt -a n -m LP2 -p $(PREAMBLE_LP) $(TEST1) > etc/log.txt
 
 export-tj2 lp/$(TJ2): $(MAIN).opt etc
-       @echo "  HELENA -l -m TJ2 -u $(INPUT)"
-       $(H)./$(MAIN).opt -a n -e 253 -m TJ2 -p $(PREAMBLE_LP) $(TEST1) > etc/log.txt
+       @echo "  HELENA -m TJ2 $(INPUT)"
+       $(H)./$(MAIN).opt -a n -m TJ2 -p $(PREAMBLE_LP) $(TEST1) > etc/log.txt
 
 export-tj3 lp/$(TJ3): $(MAIN).opt etc
        @echo "  HELENA -m TJ3 $(INPUT)"