diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
| commit | 24e97bd87918f2c487416744ba12a78aba35a9e5 (patch) | |
| tree | 839da3cc5ca3ca9976a9e4002e27754501e7fe11 /test/monniaux/picosat-965 | |
| parent | 6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff) | |
| download | compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.tar.gz compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.zip | |
Changes to include a -O1 -fschedule-insns2 gcc run as well
Diffstat (limited to 'test/monniaux/picosat-965')
| -rw-r--r-- | test/monniaux/picosat-965/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile index 69613a79..6a7fadc7 100644 --- a/test/monniaux/picosat-965/Makefile +++ b/test/monniaux/picosat-965/Makefile @@ -14,7 +14,7 @@ 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 +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.o1.k1c.out picosat.gcc.k1c.out picosat 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 $@ @@ -22,6 +22,9 @@ picosat.ccomp.k1c : picosat.ccomp.k1c.s version.ccomp.k1c.s app.ccomp.k1c.s main 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.gcc.o1.k1c : picosat.gcc.o1.k1c.s version.gcc.o1.k1c.s app.gcc.o1.k1c.s main.gcc.o1.k1c.s ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) $+ -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 $@ |