blob: 3a0268a6c0e14f15c1fecaa81e1592820e17b93a (
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
34
35
36
|
include ../rules.mk
EXECUTE_ARGS=sudoku.sat
src=main.c solver.c
PRODUCTS?=minisat.gcc.host minisat.ccomp.host minisat.gcc.kvx minisat.gcc.o1.kvx minisat.ccomp.kvx
PRODUCTS_OUT=$(addsuffix .out,$(PRODUCTS))
all: $(PRODUCTS)
.PHONY:
run: measures.csv
LIBS=-lm
minisat.gcc.host: $(src:.c=.gcc.host.o) ../clock.gcc.host.o
$(CC) $(CFLAGS) $+ $(LIBS) -o $@
minisat.ccomp.host: $(src:.c=.ccomp.host.o) ../clock.gcc.host.o
$(CCOMP) $(CCOMPFLAGS) $+ $(LIBS) -o $@
minisat.gcc.kvx: $(src:.c=.gcc.kvx.o) ../clock.gcc.kvx.o
$(KVX_CC) $(KVX_CFLAGS) $+ $(LIBS) -o $@
minisat.gcc.o1.kvx: $(src:.c=.gcc.o1.kvx.o) ../clock.gcc.kvx.o
$(KVX_CC) $(KVX_CFLAGS_O1) $+ $(LIBS) -o $@
minisat.ccomp.kvx: $(src:.c=.ccomp.kvx.o) ../clock.gcc.kvx.o
$(KVX_CCOMP) $(KVX_CCOMPFLAGS) $+ $(LIBS) -o $@
measures.csv: $(PRODUCTS_OUT)
echo "benches, gcc host,ccomp host,gcc kvx,gcc o1 kvx,ccomp kvx" > $@
.SECONDARY:
.PHONY:
clean:
rm -f *.o *.s *.kvx *.csv
|
