diff options
| author | Robert Norton | 2018-06-29 15:07:55 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-02 11:35:41 +0100 |
| commit | d3025dc25f3e9c8f416dc304980945e82f5ee01e (patch) | |
| tree | 42848b92b68b1bac1388939969c9a9f46b9350ea /cheri/Makefile | |
| parent | 117e87ce194c50b2221c7fd1966d6e0369423606 (diff) | |
optimise cheri c build.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 1cd9ecc7..419fa4e1 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -36,7 +36,7 @@ coverage_report: bisect*.out bisect-ppx-report -I _sbuild/_build -html $@ $^ cheri.c: $(CHERI_SAILS) $(CHERI_MAIN) - $(SAIL) -memo_z3 -c $^ 1> $@ + $(SAIL) -memo_z3 -O -c $^ 1> $@ cheri_c: cheri.c ../lib/sail.h Makefile gcc -O2 $< ../lib/*.c -lgmp -lz -I ../lib/ -o $@ |