diff options
Diffstat (limited to 'src/versions')
| -rw-r--r-- | src/versions/native/Make | 2 | ||||
| -rw-r--r-- | src/versions/native/Makefile | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/versions/native/Make b/src/versions/native/Make index 5695872..5d173e0 100644 --- a/src/versions/native/Make +++ b/src/versions/native/Make @@ -29,6 +29,8 @@ -I versions/native -custom "cd ../unit-tests; make" "" "test" +-custom "cd ../unit-tests; make zchaff" "" "ztest" +-custom "cd ../unit-tests; make verit" "" "vtest" -custom "$(CAMLLEX) $<" "%.mll" "%.ml" -custom "$(CAMLYACC) $<" "%.mly" "%.ml %.mli" diff --git a/src/versions/native/Makefile b/src/versions/native/Makefile index 7162b56..7b80410 100644 --- a/src/versions/native/Makefile +++ b/src/versions/native/Makefile @@ -270,6 +270,12 @@ ml: verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.ml verit/smtlib %.ml: %.mll $(CAMLLEX) $< +vtest: + cd ../unit-tests; make verit + +ztest: + cd ../unit-tests; make zchaff + test: cd ../unit-tests; make @@ -339,8 +345,10 @@ clean: - rm -rf $(CMXS) - rm -rf $(CMXA) - rm -rf ml + - rm -rf vtest + - rm -rf ztest - rm -rf test - - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.mli verit/smtlib2_parse.ml verit/smtlib2_lex.ml + - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.mli verit/smtlib2_parse.ml verit/smtlib2_lex.ml archclean: rm -f *.cmx *.o |