diff options
| -rw-r--r-- | aarch64/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index 5ba6214c..0ef6b0f0 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -10,3 +10,6 @@ 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 $^ + +LOC_FILES:=prelude.sail full/spec.sail decode_start.sail full/decode.sail decode_end.sail main.sail +include ../etc/loc.mk |