diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:58:24 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:58:24 +0200 |
| commit | 61e43b19a3fa145a91f3697349f032de73edc779 (patch) | |
| tree | 27d0db4c368e7f71cf76d135a9e6e1ad86e4ff4f /test/monniaux/ocaml | |
| parent | 068dbcdfc4442ea4ccab51282a0a409362377d1b (diff) | |
| download | compcert-kvx-61e43b19a3fa145a91f3697349f032de73edc779.tar.gz compcert-kvx-61e43b19a3fa145a91f3697349f032de73edc779.zip | |
attempt at -O1
Diffstat (limited to 'test/monniaux/ocaml')
| -rw-r--r-- | test/monniaux/ocaml/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/ocaml/Makefile b/test/monniaux/ocaml/Makefile index 0ae7c22f..b63c8864 100644 --- a/test/monniaux/ocaml/Makefile +++ b/test/monniaux/ocaml/Makefile @@ -12,9 +12,10 @@ CCOMP_K1C_S=$(patsubst %.c,%.ccomp.k1c.s,$(CFILES)) CCOMP_HOST_S=$(patsubst %.c,%.ccomp.host.s,$(CFILES)) GCC_K1C_S=$(patsubst %.c,%.gcc.k1c.s,$(CFILES)) +GCC_O1_K1C_S=$(patsubst %.c,%.gcc.o1.k1c.s,$(CFILES)) GCC_HOST_S=$(patsubst %.c,%.gcc.host.s,$(CFILES)) -all: $(CCOMP_K1C_S) $(GCC_K1C_S) ocamlrun.ccomp.k1c.out ocamlrun.gcc.k1c.out +all: $(CCOMP_K1C_S) $(GCC_K1C_S) ocamlrun.ccomp.k1c.out ocamlrun.gcc.k1c.out ocamlrun.gcc.o1.k1c.out ocamlrun.ccomp.k1c : $(CCOMP_K1C_S) ../clock.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ $(LDLIBS) @@ -25,5 +26,8 @@ ocamlrun.ccomp.host : $(CCOMP_HOST_S) ../clock.gcc.host.o ocamlrun.gcc.k1c : $(GCC_K1C_S) ../clock.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ $(LDLIBS) +ocamlrun.gcc.o1.k1c : $(GCC_O1_K1C_S) ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@ $(LDLIBS) + ocamlrun.gcc.host : $(GCC_HOST_S) ../clock.gcc.host.o $(CC) $(CFLAGS) $+ -o $@ $(LDLIBS) |