From 4669bdf7046c03200a28de4188075bee69571eb8 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 25 Sep 2017 12:48:44 +0200
Subject: Updates Tests, fixes 2 properties & inferred/*.mod

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1f72ef0..e8242d7 100644
--- a/Makefile
+++ b/Makefile
@@ -42,21 +42,21 @@ all: $(ALL_DIRS)
 	$(MAKE) model
 	$(MAKE) solutions
 
-compile:
+compile: $(ALL_DIRS)
 	$(MAKE) -C $(AST_TO_INSTR) compile
 	$(MAKE) -C $(INST_CALC) compile
 	$(MAKE) -C $(SOLVER) compile
 	$(MAKE) -C $(PRETTY_PRINTER) compile
 	$(MAKE) -C $(PROP_TO_PRED) compile
 
-model:
+model: $(ALL_DIRS)
 	$(MAKE) -C $(AST_TO_INSTR) model
 	$(MAKE) -C $(INST_CALC) model
 	$(MAKE) -C $(SOLVER) model
 	$(MAKE) -C $(PRETTY_PRINTER) model
 	$(MAKE) -C $(PROP_TO_PRED) model
 
-solutions: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR)
+solutions: $(ALL_DIRS)
 	$(MAKE) -C $(AST_TO_INSTR) solutions
 	$(MAKE) -C $(INST_CALC) solutions
 	$(MAKE) -C $(SOLVER) solutions
-- 
cgit v1.2.3-70-g09d2