From ea11fdc81ed7a8df14868476c04bf2fe7c7b6393 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 29 Aug 2017 16:51:09 +0200
Subject: Most of the program's logic seems to be there...

---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 19a69d8..ecaee82 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,7 @@ SOL_DIR = $(TMP_DIR)/sol
 
 ## Sub-programs ################################################################
 AST_TO_INSTR = ast-to-instr
+INST_CALC = instance-calculator
 SOLVER = instr-to-kodkod
 PRETTY_PRINTER = sol-pretty-printer
 
@@ -24,31 +25,37 @@ all: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR)
 
 compile:
 	$(MAKE) -C $(AST_TO_INSTR) compile
+	$(MAKE) -C $(INST_CALC) compile
 	$(MAKE) -C $(SOLVER) compile
 	$(MAKE) -C $(PRETTY_PRINTER) compile
 
 model:
 	$(MAKE) -C $(AST_TO_INSTR) model
+	$(MAKE) -C $(INST_CALC) model
 	$(MAKE) -C $(SOLVER) model
 	$(MAKE) -C $(PRETTY_PRINTER) model
 
 solutions: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR)
 	$(MAKE) -C $(AST_TO_INSTR) solutions
+	$(MAKE) -C $(INST_CALC) solutions
 	$(MAKE) -C $(SOLVER) solutions
 	$(MAKE) -C $(PRETTY_PRINTER) solutions
 
 clean:
 	$(MAKE) -C $(AST_TO_INSTR) clean
+	$(MAKE) -C $(INST_CALC) clean
 	$(MAKE) -C $(SOLVER) clean
 	$(MAKE) -C $(PRETTY_PRINTER) clean
 
 clean_model:
 	$(MAKE) -C $(AST_TO_INSTR) clean_model
+	$(MAKE) -C $(INST_CALC) clean_model
 	$(MAKE) -C $(SOLVER) clean_model
 	$(MAKE) -C $(PRETTY_PRINTER) clean_model
 
 clean_solutions:
 	$(MAKE) -C $(AST_TO_INSTR) clean_solutions
+	$(MAKE) -C $(INST_CALC) clean_solutions
 	$(MAKE) -C $(SOLVER) clean_solutions
 	$(MAKE) -C $(PRETTY_PRINTER) clean_solutions
 
-- 
cgit v1.2.3-70-g09d2