]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
- regtest: better argument handling (using Arg)
[helm.git] / helm / gTopLevel / Makefile
index d668434534736a4119bad4414da72a32b43977d5..0f3318ab29340e6163adddc1d748aa7f4efcd128 100644 (file)
@@ -80,14 +80,17 @@ uninstall:
 
 .PHONY: install uninstall clean test
 
-TESTS := $(patsubst %, %.test, $(wildcard tests/*.cic))
-gentest: $(TESTS)
+INTESTS := $(wildcard tests/*.cic)
+OUTTESTS := $(patsubst %, %.test, $INTESTS)
+gentest: $(OUTTESTS)
 cleantest:
-       rm -f $(TESTS)
-tests/%.cic.test: tests/%.cic
+       rm -f $(OUTTESTS)
+tests/%.cic.test: tests/%.cic regtest
        time ./regtest -gen $<
 test:
-       time ./regtest $(TESTS)
+       time ./regtest $(INTESTS)
+envtest:
+       time ./regtest -dump $(INTESTS)
 
 ifneq ($(MAKECMDGOALS), depend)
    include .depend