diff options
Diffstat (limited to 'aarch64/Makefile')
| -rw-r--r-- | aarch64/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index 38900d5f..aa4d5301 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -13,6 +13,9 @@ aarch64_c: aarch64.c aarch64: no_vector.sail $(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 +aarch64_full: full.sail + $(SAIL) $^ -o aarch64_full -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 + aarch64.lem: no_vector.sail $(SAIL) $^ -o aarch64 -lem -lem_lib Aarch64_extras -memo_z3 -undefined_gen -no_lexp_bounds_check aarch64_types.lem: aarch64.lem |