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.

---
 Makefile     | 5 ++++-
 src/Makefile | 4 +++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 88800c3a..340a782b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all src language
+.PHONY: all src language clean
 
 all: src language
 
@@ -7,3 +7,6 @@ src: language
 
 language:
 	$(MAKE) -C $@
+
+clean:
+	$(MAKE) -C src clean
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