diff options
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index e307f604..ed16495b 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -5,7 +5,7 @@ SAIL_LIB_DIR:=$(SAIL_DIR)/lib SAIL:=$(SAIL_DIR)/sail aarch64.c: no_vector.sail - $(SAIL) $^ -c -O -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c + $(SAIL) $^ -c -O -Oz3 -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c aarch64: no_vector.sail $(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 |