From 70b40bfb6c032c0dead7069b2178a43e63a8e563 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:29:52 +0200
Subject: First shot at the framework (it does compile).

---
 instr-to-kodkod/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'instr-to-kodkod/Makefile')

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 2611f28..073fe58 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -19,12 +19,13 @@ CLASSES = $(SOURCES:.java=.class)
 
 ## Makefile Rules ##############################################################
 
-all: $(CLASSES)
+all: parser/PropertyParser.java $(CLASSES)
 
 clean:
 	rm -f $(CLASSES)
+	$(MAKE) -C parser clean
 
-run: $(CLASSES) $(REQUIRED_JARS)
+run: parser/PropertyParser.java $(CLASSES) $(REQUIRED_JARS)
 	$(JAVA) -cp $(CLASSPATH) Main $(LEVEL_DIR) $(MODEL_FILE)
 
 %.class: %.java $(REQUIRED_JARS)
@@ -34,3 +35,5 @@ run: $(CLASSES) $(REQUIRED_JARS)
 	echo "Attempting to download missing jar '$@'"
 	$(DOWNLOADER) "$(JAR_SOURCE)/$@"
 
+parser/PropertyParser.java: antlr-4.7-complete.jar
+	$(MAKE) -C parser
-- 
cgit v1.2.3-70-g09d2