diff options
| author | Robert Norton | 2016-04-21 13:47:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-21 13:47:10 +0100 |
| commit | af4841d5fa173e2d9639afe737d9cdfab733c935 (patch) | |
| tree | 148dc14e5615cc6ce362758c01ab38345e81a20d /src | |
| parent | 6e53e8ea9e2824b157b2ccbd81a150e59905d788 (diff) | |
Introduce wrapper function around MEMw* so that we can clear tags on non-capability writes on cheri.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 12535ace..cd21ed1a 100644 --- a/src/Makefile +++ b/src/Makefile @@ -25,7 +25,7 @@ LEMLIBOCAML = $(BITBUCKET_ROOT)/lem/ocaml-lib ELFDIR= $(BITBUCKET_ROOT)/linksem MIPS_SAIL_DIR:=$(BITBUCKET_ROOT)/l2/mips -MIPS_SAILS:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail +MIPS_SAILS:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail CHERI_SAIL_DIR:=$(BITBUCKET_ROOT)/l2/cheri CHERI_SAILS:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(CHERI_SAIL_DIR)/cheri_prelude.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(CHERI_SAIL_DIR)/cheri_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail |