diff options
Diffstat (limited to 'test/monniaux/minisat/Makefile')
| -rw-r--r-- | test/monniaux/minisat/Makefile | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/test/monniaux/minisat/Makefile b/test/monniaux/minisat/Makefile new file mode 100644 index 00000000..3a0268a6 --- /dev/null +++ b/test/monniaux/minisat/Makefile @@ -0,0 +1,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 + |