From 51f5a00224624b0fa972a090555779a5960e97dd Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 5 Nov 2014 21:19:28 +0100
Subject: [PATCH] sat_solve is now build in 'all', test replacfes test-full in
 Makefile targets.

---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 69a61af2..5000c118 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ NAME=msat
 
 LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
 
-all:$(LIB)
+all:$(LIB) $(TEST)
 
 $(LIB):
 	$(COMP) $(FLAGS) $(DIRS) $(LIB)
@@ -20,8 +20,6 @@ doc:
 	$(COMP) $(FLAGS) $(DIRS) $(DOC)
 
 test: $(TEST)
-
-test-full: $(TEST)
 	./tests/run
 
 $(TEST): $(LIB)