From fe28d6a93686eca649c3a8db7eb3c4b6e363e511 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 23 Apr 2014 14:58:34 +0100
Subject: Rename main to sail, build pretty_printer lib

---
 src/Makefile | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index e6849b07..a1ce3583 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,14 +1,14 @@
-.PHONY: all test clean doc update_lem_lib test_power
+.PHONY: all test clean doc lib test_power
 
-all:
-	ocamlbuild -classic-display main.native test/run_tests.native
+all: lib doc
+	ocamlbuild -classic-display sail.native test/run_tests.native
 
 test: all
 	./run_tests.native
 
 test_power:
 	#../../../rsem/idl/power/binary/run.sh
-	SAIL_OPTS=-skip_constraints ocamlbuild -classic-display main.native test/run_power.native
+	SAIL_OPTS=-skip_constraints ocamlbuild -classic-display sail.native test/run_power.native
 	./run_power.native --file ../../../rsem/idl/power/binary/main.bin
 
 clean:
@@ -21,3 +21,6 @@ clean:
 
 doc:
 	ocamlbuild sail.docdir/index.html
+
+lib:
+	ocamlbuild pretty_print.cmxa pretty_print.cma
-- 
cgit v1.2.3