diff options
| author | Brian Campbell | 2018-05-07 14:52:04 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-07 14:52:04 +0100 |
| commit | 293d317455c72a3a5f5707645a03f2b4c56617ff (patch) | |
| tree | 6959c110bac4caf19992cf1852c38600fcb388fd /cheri/Makefile | |
| parent | f469001209e0333dbdd8fe42c7232c92a6c1be6f (diff) | |
HOL script generation for library and CHERI
(still needs some Lem work on types before it will be useful)
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index d053fc67..e084d68b 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -57,7 +57,7 @@ cheri_types.lem: cheri.lem cheri_sequential.lem: $(CHERI_SAILS) $(SAIL) -lem -o cheri_sequential -auto_mono -mono_rewrites -lem_mwords -lem_sequential -lem_lib Mips_extras_sequential -undefined_gen -memo_z3 $^ cheri_sequential_types.lem: cheri_sequential.lem -Cheri_sequential.thy: $(MIPS_SAIL_DIR)/mips_extras_sequential.lem +Cheri_sequential.thy cheri_sequentialScript.sml: $(MIPS_SAIL_DIR)/mips_extras_sequential.lem cheri128_no_tlb.lem: $(CHERI128_NO_TLB_SAILS) $(SAIL) -lem -o cheri128_no_tlb -lem_lib Mips_extras -undefined_gen -memo_z3 $^ @@ -71,6 +71,9 @@ C%.thy: c%.lem c%_types.lem $(MIPS_SAIL_DIR)/mips_extras.lem lem -isa -outdir . -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ sed -i 's/datatype ast/datatype (plugins only: size) ast/' C$*_types.thy +%Script.sml: %.lem %_types.lem $(MIPS_SAIL_DIR)/mips_extras.lem + lem -hol -outdir . -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ + clean: rm -rf cheri cheri128 _sbuild inst_*.sail cheri.c |