diff options
| author | Robert Norton | 2018-03-06 11:45:27 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-06 11:45:32 +0000 |
| commit | 542093c381ec57a72b6e71c1fc452f5221082f02 (patch) | |
| tree | bd63be03354dc0380c641d2c58e25e05569c5797 /cheri/Makefile | |
| parent | f41f149d35932eaf7b0469302fd6407fed02ae21 (diff) | |
finish port of cheri128 spec. to sail2.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 26bc84ef..1ec835db 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -9,13 +9,16 @@ SAIL_LIB_HEADERS:=$(SAIL_LIB_DIR)/flow.sail CHERI_SAILS:=$(SAIL_LIB_HEADERS) $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_256.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail $(MIPS_SAIL_DIR)/main.sail -CHERI128_SAILS:=$(SAIL_LIB_HEADERS) $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_128.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail +CHERI128_SAILS:=$(SAIL_LIB_HEADERS) $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(CHERI_SAIL_DIR)/cheri_types.sail $(CHERI_SAIL_DIR)/cheri_prelude_128.sail $(CHERI_SAIL_DIR)/cheri_prelude_common.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail $(MIPS_SAIL_DIR)/main.sail cheri: $(CHERI_SAILS) - $(SAIL) -ocaml -o cheri $(CHERI_SAILS) + $(SAIL) -ocaml -o $@ $^ + +cheri128: $(CHERI128_SAILS) + $(SAIL) -ocaml -o $@ $^ clean: - rm -rf cheri _sbuild + rm -rf cheri cheri128 _sbuild EXTRACT_INST=sed -n "/START_${1}\b/,/END_${1}\b/p" cheri_insts.sail | sed 's/^ //;1d;$$d' > inst_$1.sail extract: cheri_insts.sail |