diff options
Diffstat (limited to 'test/monniaux/picosat-965/Makefile')
-rw-r--r-- | test/monniaux/picosat-965/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile new file mode 100644 index 00000000..a887c0de --- /dev/null +++ b/test/monniaux/picosat-965/Makefile @@ -0,0 +1,11 @@ +EXECUTE_ARGS=sudoku.sat +ALL_CFLAGS = -DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG +ALL_CCOMPFLAGS += -fbitfields # -fno-if-conversion +TARGET=picosat +ALL_CFILES=picosat.c version.c app.c main.c + +include ../rules.mk + +# FIXME - what were these for? +#K1C_CFLAGS += $(EMBEDDED_CFLAGS) +#K1C_CCOMPFLAGS += $(EMBEDDED_CFLAGS) |