blob: 1ad9b57155bb3622a640f008a01dc8e14553673a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
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: zchaff verit lfsc
zchaff: $(ZCHAFFLOG) Tests_zchaff.vo
verit: $(VERITLOG) Tests_verit.vo
lfsc: Tests_lfsc.vo
logs: $(OBJ)
%.zlog: %.cnf
./runzchaff.sh $<
%.vtlog: %.smt2
./runverit.sh $<
%.vo %.glob: %.v
$(COQC) $(COQDEBUG) $(COQFLAGS) $*
clean:
rm -rf *~ $(ZCHAFFLOG) $(VERITLOG)
|