From c9bbb031b95ea6af431dd930c322dc88594b51c8 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 27 Feb 2014 12:59:25 +0000
Subject: Load POWER binary into interpreter's memory

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index d36441b6..66e83fca 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,11 +1,14 @@
-.PHONY: all test clean update_lem_lib
+.PHONY: all test clean update_lem_lib power_test
 
 all:
-	ocamlbuild -classic-display main.native test/run_tests.native
+	ocamlbuild -classic-display main.native test/run_tests.native test/run_power.native
 
 test: all
 	./run_tests.native
 
+test_power: all
+	./run_power.native ../../../rsem/idl/power/binary/main.bin
+
 clean:
 	-ocamlbuild -clean
 	-rm -rf _build
-- 
cgit v1.2.3