diff options
Diffstat (limited to 'aarch64/Makefile')
| -rw-r--r-- | aarch64/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index 07bc67ae..38900d5f 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -18,7 +18,7 @@ aarch64.lem: no_vector.sail aarch64_types.lem: aarch64.lem Aarch64.thy: aarch64_extras.lem aarch64_types.lem aarch64.lem - lem -isa -outdir . -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ + lem -isa -outdir . -lib Sail=$(SAIL_DIR)/src/gen_lib -lib Sail=$(SAIL_DIR)/src/lem_interp $^ LOC_FILES:=prelude.sail full/spec.sail decode_start.sail full/decode.sail decode_end.sail main.sail include ../etc/loc.mk |