From 2c70d527fa52f8dc629e82323e2d2a4c22ad7e2e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 25 Nov 2015 15:36:57 +0000
Subject: non-working sail/mips interpreter integration for kathy to look at
 and example mips elf file.

---
 src/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 3888d0c6..54453e31 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -75,6 +75,15 @@ power: sail interpreter elf
 	env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package num -package bitstring -package batteries -package uint -I $(LEMLIBOCAML) -I ../lem_interp/ -I ../elf_model/ -linkpkg $(LEMLIBOCAML)extract.cmxa ../pprint/src/PPrintLib.cmxa ../lem_interp/extract.cmxa elf_extract.cmxa power.ml run_power.ml -o run_power.native
 	ln -fs _build/test/run_power.native run_power.native
 
+#	env OCAMLRUNPARAM=l=100M ocamlfind ocamlopt -package num -package bitstring -package batteries -package uint -I $(LEMLIBOCAML) -I ../lem_interp/ -I ../elf_model/ -linkpkg $(LEMLIBOCAML)extract.cmxa ../pprint/src/PPrintLib.cmxa ../lem_interp/extract.cmxa elf_extract.cmxa power.ml run_power.ml -o run_power.native
+mips: sail interpreter elf
+	mkdir -p _build/test
+	cp -p test/* _build/test/
+	cd _build/test ;\
+	../../sail.native -lem_ast mips.sail ;\
+	$(LEM) -ocaml -only_changed_output -lib ../lem_interp/ power.lem;\
+	ln -fs _build/test/run_power.native run_power.native
+
 test_power: power
 	./run_power.native --file ../../../rsem/idl/power/binary/main.bin
 
-- 
cgit v1.2.3