diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
| commit | fd2c2a0bdf723dce559567324711a3127ce0582e (patch) | |
| tree | f03b21a14cba984854142016733802c3ca8866b1 /test/monniaux/picosat-965/Makefile | |
| parent | 8fb2d1a49443767ce353520ea045383430a2655e (diff) | |
| parent | 5cdc3d29983c65d1ac1d3393103037fdd87d7829 (diff) | |
| download | compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.tar.gz compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
Diffstat (limited to 'test/monniaux/picosat-965/Makefile')
| -rw-r--r-- | test/monniaux/picosat-965/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile new file mode 100644 index 00000000..69613a79 --- /dev/null +++ b/test/monniaux/picosat-965/Makefile @@ -0,0 +1,34 @@ +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 + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +picosat.gcc.k1c : picosat.gcc.k1c.s version.gcc.k1c.s app.gcc.k1c.s main.gcc.k1c.s ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +picosat.ccomp.host : picosat.ccomp.host.s version.ccomp.host.s app.ccomp.host.s main.ccomp.host.s ../clock.gcc.host.o + $(CCOMP) $(CCOMPFLAGS) $+ -o $@ + +picosat.gcc.host : picosat.gcc.host.s version.gcc.host.s app.gcc.host.s main.gcc.host.s ../clock.gcc.host.o + $(CC) $(FLAGS) $+ -o $@ + +clean: + -rm -f *.s *.k1c *.out + +.PHONY: clean |