From 352bde43bc677bc34eb9c5c4ccf945ffef40e283 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 25 Jul 2014 14:48:12 +0100
Subject: Update make file to make clean from top level directory, and to not
 build all tests on all. Instead there is a make full command to make all the
 tests as well as everything.

---
 src/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index ce31ca6c..4e6257d6 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,6 +1,8 @@
 .PHONY: all sail test clean doc lib power test_power test_idempotence
 
-all: sail lib power doc test
+all: sail lib doc
+
+full: sail lib power doc test
 
 sail:
 	ocamlbuild sail.native sail_lib.cma sail_lib.cmxa
-- 
cgit v1.2.3