diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 14:30:27 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 14:30:27 +0100 |
commit | 2a970d557d49e3fe71ecccc33fe8269b1b27c046 (patch) | |
tree | c671b2936ebb3cd63c2fa1e69e8a2eb22446ff60 /test/monniaux/picosat-965 | |
parent | 0541343719a382bce51619839344652d73453f37 (diff) | |
download | compcert-kvx-2a970d557d49e3fe71ecccc33fe8269b1b27c046.tar.gz compcert-kvx-2a970d557d49e3fe71ecccc33fe8269b1b27c046.zip |
NDEBUG
Diffstat (limited to 'test/monniaux/picosat-965')
-rw-r--r-- | test/monniaux/picosat-965/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile index d2f7689a..69613a79 100644 --- a/test/monniaux/picosat-965/Makefile +++ b/test/monniaux/picosat-965/Makefile @@ -2,12 +2,18 @@ EXECUTE_ARGS=sudoku.sat include ../rules.mk +ALL_CFLAGS = -DNDEBUG EMBEDDED_CFLAGS = -DNALARM -DNZIP -DNGETRUSAGE K1C_CFLAGS += $(EMBEDDED_CFLAGS) K1C_CCOMPFLAGS += $(EMBEDDED_CFLAGS) CCOMPFLAGS += -fbitfields K1C_CCOMPFLAGS += -fbitfields +K1C_CFLAGS += $(ALL_CFLAGS) +K1C_CCOMPFLAGS += $(ALL_CFLAGS) +CCOMPFLAGS += $(ALL_CFLAGS) +CFLAGS += $(ALL_CFLAGS) + all: picosat.ccomp.k1c.s version.ccomp.k1c.s app.ccomp.k1c.s main.ccomp.k1c.s picosat.gcc.k1c.s version.gcc.k1c.s app.gcc.k1c.s main.gcc.k1c.s picosat.ccomp.k1c.out picosat.gcc.k1c.out picosat.ccomp.host.out picosat.gcc.host.out picosat.ccomp.k1c : picosat.ccomp.k1c.s version.ccomp.k1c.s app.ccomp.k1c.s main.ccomp.k1c.s ../clock.gcc.k1c.o |