= test2 for byte and opt

[helm.git] / helm / software / helena / Makefile

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index 02604aae86752c778b93cb5d1cbf02d5ec15b4bb..e21fccf1b423242efef3a3afa89955b534a590f3 100644 (file)
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -10,7 +10,7 @@ KEEP = README
 
 CLEAN = etc/log.txt etc/profile.txt
 
-TAGS = test-si-fast test-si test2 test3 test6 \
+TAGS = test-si-fast test-si test2-opt test2-byte test3 test6 \
        profile-fast profile profile-coq profile-coq-byte \
        xml-si xml-si-v3 xml xml-v3 \
        export-coq export-matita \
@@ -72,11 +72,15 @@ test-si: $(MAIN).opt etc
 
 test1: $(MAIN).opt etc
        @echo "  HELENA -l -u -1 $(INPUT)"
-       ./$(MAIN).opt $(TEST1) > etc/log.txt
+       $(H)./$(MAIN).opt $(TEST1) > etc/log.txt
 
-test2: $(MAIN).opt etc
+test2-opt: $(MAIN).opt etc
        @echo "  HELENA -l -1 $(INPUT)"
-       ./$(MAIN).opt $(TEST1) $(TEST2) > etc/log.txt
+       $(H)./$(MAIN).opt $(TEST1) $(TEST2) > etc/log.txt
+
+test2-byte: $(MAIN).byte etc
+       @echo "  HELENA -l -1 $(INPUT)"
+       $(H)./$(MAIN).byte $(TEST1) $(TEST2) > etc/log.txt
 
 test3: $(MAIN).opt etc
        @echo "  HELENA -T 3 -l $(INPUT)"