From 92c4ffbfe3f1e1759a850fef4aa9ef134877385d Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Wed, 13 Aug 2014 12:27:20 +0100
Subject: Kathy, Peter tweak Makefile for interactive demo and
 src/myocamlbuild.ml to temporarily use other version of Lem

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 4e6257d6..21e821ea 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -18,6 +18,15 @@ test_power: power
 	#../../../rsem/idl/power/binary/run.sh
 	./run_power.native --file ../../../rsem/idl/power/binary/main.bin
 
+test_power_interactive: power
+	./run_power.native --interactive --file ../../../rsem/idl/power/binary/main.bin
+
+test_power_interactive_srcs:
+	ebig ~/rsem/idl/power/generated/power.sail ../../../rsem/idl/power/binary/hello.c  ../../../rsem/idl/power/binary/hello.s 
+
+# or test/power.sail for cut-down one
+
+
 test_idempotence: sail
 	@cd test; for file in *.sail; do \
 		./idempotence.sh $$file; echo ;\
-- 
cgit v1.2.3