blob: 4c293620cdc3b0548c12f5b3e9fa8cc7ee9a33b7 (
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
|
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
|
