diff options
| author | Kathy Gray | 2016-06-03 17:12:15 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-06-03 17:12:15 +0100 |
| commit | 1dc63a105ad26d0af320a191aef341567e28135f (patch) | |
| tree | 034ec19220fe383dcbd29fc73f5fe7aa204d05a4 | |
| parent | 60a1ba91ec4c26b15ba298352976c9e6b67f2b9f (diff) | |
Change path inside sail Makefile to look for sail directory instead of l2
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 45a0dcad..9f6f2ec4 100644 --- a/src/Makefile +++ b/src/Makefile @@ -24,9 +24,9 @@ LEM = $(BITBUCKET_ROOT)/lem/lem LEMLIBOCAML = $(BITBUCKET_ROOT)/lem/ocaml-lib ELFDIR= $(BITBUCKET_ROOT)/linksem -MIPS_SAIL_DIR:=$(BITBUCKET_ROOT)/l2/mips +MIPS_SAIL_DIR:=$(BITBUCKET_ROOT)/sail/mips 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_SAIL_DIR:=$(BITBUCKET_ROOT)/sail/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 elf: |