diff options
Diffstat (limited to 'unit-tests/Makefile')
| -rw-r--r-- | unit-tests/Makefile | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/unit-tests/Makefile b/unit-tests/Makefile new file mode 100644 index 0000000..4c29362 --- /dev/null +++ b/unit-tests/Makefile @@ -0,0 +1,32 @@ +ZCHAFFSRC=$(wildcard sat*.cnf) hole4.cnf cmu-bmc-barrel6.cnf velev-sss-1.0-05.cnf +VERITSRC=$(wildcard sat*.smt2) hole4.smt2 $(wildcard uf*.smt2) $(wildcard lia*.smt2) $(wildcard let*.smt2) +ZCHAFFLOG=$(ZCHAFFSRC:.cnf=.zlog) +VERITLOG=$(VERITSRC:.smt2=.vtlog) +OBJ=$(ZCHAFFLOG) $(VERITLOG) + +COQLIBS?= -R ../src SMTCoq +OPT?= +COQFLAGS?=-q $(OPT) $(COQLIBS) $(OTHERFLAGS) $(COQ_XML) +COQC?=$(COQBIN)coqc + + +all: $(OBJ) Tests.vo + + +logs: $(OBJ) + + +%.zlog: %.cnf + ./runzchaff.sh $< + + +%.vtlog: %.smt2 + ./runverit.sh $< + + +%.vo %.glob: %.v + $(COQC) $(COQDEBUG) $(COQFLAGS) $* + + +clean: + rm -rf *~ *.zlog *.vtlog |