drg: we added the "positive projection" in environments

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 19421a0322adc07f5604618e66eac529cff927aa..653898fb203f0bb9847c0be740fd12a2185b0195 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -19,24 +19,24 @@ INPUT = automath/grundlagen.aut
 INPUT-ORIG = automath/grundlagen-orig.aut
 
 test: $(MAIN).opt
-       @echo "  HELENA -p -r $(INPUT)"
-       $(H)./$(MAIN).opt -p -r -S 3 $(O) $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -p -r $(INPUT)"
+       $(H)./$(MAIN).opt -o -p -r -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si: $(MAIN).opt
-       @echo "  HELENA -p -r -u $(INPUT)"
-       $(H)./$(MAIN).opt -p -r -u -S 3 $(O) $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -p -r -u $(INPUT)"
+       $(H)./$(MAIN).opt -o -p -r -u -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-fast: $(MAIN).opt
-       @echo "  HELENA -r -u $(INPUT)"
-       $(H)./$(MAIN).opt -r -u -S 1 $(O) $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -r -u $(INPUT)"
+       $(H)./$(MAIN).opt -o -r -u -S 1 $(O) $(INPUT) > etc/log.txt
 
 hal: $(MAIN).opt
-       @echo "  HELENA -m $(INPUT)"
-       $(H)./$(MAIN).opt -m -s 1 -S 1 $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -m $(INPUT)"
+       $(H)./$(MAIN).opt -o -m -s 1 -S 1 $(INPUT) > etc/log.txt
 
 xml-si: $(MAIN).opt
-       @echo "  HELENA -u -x $(INPUT)"
-       $(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -u -x $(INPUT)"
+       $(H)./$(MAIN).opt -o -u -x -s 2 -S 1 $(INPUT) > etc/log.txt
 
 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)