]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile
the old intermediate language (meta) is now obsolete
[helm.git] / helm / software / lambda-delta / Makefile
index c5992e90a37bb38012ef394c6da034b7a4443f74..03f1f1704658829affd6a132cf7d30a7d21f387f 100644 (file)
@@ -97,8 +97,8 @@ test: $(MAIN).opt etc
        $(H)./$(MAIN).opt -o -p -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-old: $(MAIN).opt etc
-       @echo "  HELENA -o -p -u $(INPUT)"
-       $(H)./$(MAIN).opt -o -p -u -S 3 $(O) $(INPUT) > etc/log.txt
+       @echo "  HELENA -o -p -u -c $(INPUT)"
+       $(H)./$(MAIN).opt -o -p -u -c -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-fast-old: $(MAIN).opt etc
        @echo "  HELENA -o -u -q $(INPUT)"