diff options
| author | Brian Campbell | 2018-05-09 18:52:49 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-09 18:52:49 +0100 |
| commit | a332a86f2a856983609223172ad5180d3fd81385 (patch) | |
| tree | 11b44c4ba371d70c362b6fa35cc58b9d676b3320 /cheri/Makefile | |
| parent | 293d317455c72a3a5f5707645a03f2b4c56617ff (diff) | |
Tweaks for sequential CHERI in HOL
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index e084d68b..72eaf26b 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -71,8 +71,8 @@ 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 $^ +%Script.sml: %.lem %_types.lem $(MIPS_SAIL_DIR)/mips_extras_sequential.lem + lem -hol -outdir . -lib $(SAIL_DIR)/lib/hol -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ clean: rm -rf cheri cheri128 _sbuild inst_*.sail cheri.c |