From d3025dc25f3e9c8f416dc304980945e82f5ee01e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 29 Jun 2018 15:07:55 +0100
Subject: optimise cheri c build.

---
 cheri/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 $@
-- 
cgit v1.2.3