From 84b77074f6eee2713c0adaf0bfe3c0bcbe0134a3 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 1 Mar 2016 14:15:02 +0000
Subject: Split mips.sail into three file and make use of the new -o option in
 preparation for adding cheri support in separate files.

---
 src/Makefile | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 1e9ca694..4a73d658 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -24,6 +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_SAILS:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail
+
 elf:
 	make -C $(ELFDIR)
 
@@ -31,18 +34,14 @@ _build/mips_extras.lem: ../mips/mips_extras.lem
 	mkdir -p _build
 	cp $< $@
 
-_build/mips.sail: ../mips/mips.sail
-	mkdir -p _build
-	cp $< $@
-
 _build/run_with_elf.ml: lem_interp/run_with_elf.ml
 	mkdir -p _build
 	cp $< $@
 
-_build/mips.lem: _build/mips.sail ./sail.native
+_build/mips.lem: $(MIPS_SAILS) ./sail.native
 	mkdir -p _build
 	cd _build ;\
-	../sail.native -lem_ast $(notdir $<)
+	../sail.native -lem_ast -o mips $(MIPS_SAILS)
 
 %.ml: %.lem
 	$(LEM) -only_changed_output -ocaml -lib lem_interp/ $<
-- 
cgit v1.2.3