diff options
| -rw-r--r-- | cheri/Holmakefile | 11 | ||||
| -rw-r--r-- | cheri/Makefile | 4 |
2 files changed, 13 insertions, 2 deletions
diff --git a/cheri/Holmakefile b/cheri/Holmakefile new file mode 100644 index 00000000..604555b5 --- /dev/null +++ b/cheri/Holmakefile @@ -0,0 +1,11 @@ +LEMDIR=../../lem/hol-lib + +INCLUDES = $(LEMDIR) ../lib/hol + +all: cheri_sequentialTheory.uo +.PHONY: all + +ifdef POLY +BASE_HEAP = ../lib/hol/sail-heap + +endif 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 |