diff options
| author | Jon French <jf451@cam.ac.uk> | 2019-03-04 14:34:05 +0000 |
|---|---|---|
| committer | Jon French <jf451@cam.ac.uk> | 2019-03-04 14:34:05 +0000 |
| commit | 96784ede47e65f76cae5af6366f7070e64c513b1 (patch) | |
| tree | 17a17946d6e273dcf2f5bb88d5942497e858a354 /Makefile | |
| parent | 89829353fd6864f178354fa24b66026d876591f2 (diff) | |
| download | sail-riscv-96784ede47e65f76cae5af6366f7070e64c513b1.zip sail-riscv-96784ede47e65f76cae5af6366f7070e64c513b1.tar.gz sail-riscv-96784ede47e65f76cae5af6366f7070e64c513b1.tar.bz2 | |
Makefile: build toFromInterp file for RMEM
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -239,6 +239,7 @@ generated_definitions/coq/riscv_duopod.vo: generated_definitions/coq/riscv_duopo riscv_rmem: generated_definitions/lem-for-rmem/riscv.lem riscv_rmem: generated_definitions/lem-for-rmem/riscv_sequential.lem +riscv_rmem: generated_definitions/tofrominterp-for-rmem/riscv_toFromInterp2.ml .PHONY: riscv_rmem generated_definitions/lem-for-rmem/riscv.lem: SAIL_FLAGS += -lem_lib Riscv_extras @@ -248,6 +249,9 @@ generated_definitions/lem-for-rmem/%.lem: $(SAIL_RMEM_SRCS) # We do not need the isabelle .thy files, but sail always generates them $(SAIL) $(SAIL_FLAGS) -lem -lem_mwords -lem_output_dir $(dir $@) -isa_output_dir $(dir $@) -o $(notdir $(basename $@)) $^ +generated_definitions/tofrominterp-for-rmem/riscv_toFromInterp2.ml: $(SAIL_RMEM_SRCS) + mkdir -p $(dir $@) + $(SAIL) $(SAIL_FLAGS) -tofrominterp -tofrominterp_lem -tofrominterp_output_dir $(dir $@) -o riscv $^ # we exclude prelude.sail here, most code there should move to sail lib #LOC_FILES:=$(SAIL_SRCS) main.sail |