From 1dc63a105ad26d0af320a191aef341567e28135f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 3 Jun 2016 17:12:15 +0100
Subject: Change path inside sail Makefile to look for sail directory instead
 of l2

---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Makefile')

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:
-- 
cgit v1.2.3