From d426514ad1fc917183e6d432e8ba658e7ef4a641 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 10 Jun 2014 12:25:32 +0100
Subject: More robust build system

---
 src/Makefile | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 92ca2246..22f3beb2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,17 +1,22 @@
-.PHONY: all test clean doc lib test_power test_idempotence
+.PHONY: all sail test clean doc lib power test_power test_idempotence
 
-all: lib doc
-	ocamlbuild -classic-display sail.native test/run_tests.native
+all: sail test lib power doc
 
-test: all
+sail:
+	ocamlbuild sail.native
+
+test: sail
+	ocamlbuild test/run_tests.native
 	./run_tests.native
 
-test_power:
+power: sail
+	ocamlbuild test/run_power.native
+
+test_power: power
 	#../../../rsem/idl/power/binary/run.sh
-	ocamlbuild -classic-display sail.native test/run_power.native
 	./run_power.native --file ../../../rsem/idl/power/binary/main.bin
 
-test_idempotence:
+test_idempotence: sail
 	@cd test; for file in *.sail; do \
 		./idempotence.sh $$file; echo ;\
 	done
-- 
cgit v1.2.3