From 10e7fc528c0a767da2f7b8447b6c62d017adaf54 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 16 Aug 2017 11:17:59 +0200
Subject: Fixes Makefiles so they can run parallel jobs.

---
 instr-to-kodkod/cfg-to-paths/Makefile | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'instr-to-kodkod/cfg-to-paths')

diff --git a/instr-to-kodkod/cfg-to-paths/Makefile b/instr-to-kodkod/cfg-to-paths/Makefile
index 7971c84..1f6d6e2 100644
--- a/instr-to-kodkod/cfg-to-paths/Makefile
+++ b/instr-to-kodkod/cfg-to-paths/Makefile
@@ -49,10 +49,17 @@ PATH_MODEL_FILES = $(addprefix $(PATH_MODEL_DIR)/,$(notdir $(CFG_MODEL_FILES)))
 
 
 ## Makefile Rules ##############################################################
-all: $(PATH_MODEL_DIR) $(PATH_MODEL_FILES) $(CLASSES)
+compile: $(CLASSES)
 
-build: $(CLASSES)
+model: $(CLASSES)  $(PATH_MODEL_DIR) $(PATH_MODEL_FILES)
 
+clean:
+	rm -f $(CLASSES)
+	rm -f $(PATH_MODEL_DIR)/*.mod
+
+clean_model:
+	rm -f $(PATH_MODEL_DIR)/*.mod
+########
 %.class: %.java
 	$(JAVAC) -cp $(CLASSPATH) $<
 
@@ -63,6 +70,3 @@ $(PATH_MODEL_DIR)/%: $(MODEL_DIR)/% $(CLASSES)
 $(PATH_MODEL_DIR):
 	mkdir -p $(PATH_MODEL_DIR)
 
-clean:
-	rm -f $(CLASSES)
-	rm -f $(PATH_MODEL_DIR)/*.mod
-- 
cgit v1.2.3-70-g09d2