diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:57 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:57 +0100 |
| commit | 847554275608bafcbfad635684e588501e00ac31 (patch) | |
| tree | 68de8447a0632e931f9bf6f53ab4bd74a0368466 /test/monniaux/rules.mk | |
| parent | 962c8f9935b257c1df6bddfc88ec41d4822f65c3 (diff) | |
| download | compcert-kvx-847554275608bafcbfad635684e588501e00ac31.tar.gz compcert-kvx-847554275608bafcbfad635684e588501e00ac31.zip | |
Putting back the building rules for the paper (rules.mk)
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 079606e6..9d4f5278 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -31,27 +31,27 @@ K1C_CCOMP?=ccomp EXECUTE_CYCLES?=k1-cluster --syscall=libstd_scalls.so --cycle-based -- # You can define up to GCC4FLAGS and CCOMP4FLAGS -GCC0FLAGS?= -GCC1FLAGS?=$(ALL_GCCFLAGS) -O1 -g +GCC0FLAGS?=$(ALL_GCCFLAGS) -O0 +GCC1FLAGS?=$(ALL_GCCFLAGS) -O1 GCC2FLAGS?=$(ALL_GCCFLAGS) -O2 GCC3FLAGS?=$(ALL_GCCFLAGS) -O3 GCC4FLAGS?= -CCOMP0FLAGS?= -CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O1 -g -CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -CCOMP3FLAGS?= +CCOMP0FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fno-postpass +CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fpostpass= greedy +CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fno-if-conversion +CCOMP3FLAGS?=$(ALL_CCOMPFLAGS) -O2 CCOMP4FLAGS?= # Prefix names -GCC0PREFIX?= +GCC0PREFIX?=.gcc.o0 GCC1PREFIX?=.gcc.o1 GCC2PREFIX?=.gcc.o2 GCC3PREFIX?=.gcc.o3 GCC4PREFIX?= -CCOMP0PREFIX?= -CCOMP1PREFIX?=.ccomp.o1 -CCOMP2PREFIX?=.ccomp.o2 -CCOMP3PREFIX?= +CCOMP0PREFIX?=.ccomp.nobundle +CCOMP1PREFIX?=.ccomp.greedy +CCOMP2PREFIX?=.ccomp.noif +CCOMP3PREFIX?=.ccomp CCOMP4PREFIX?= # List of outfiles, updated by gen_rules |