From 0ccc7f57bee2867f05a2926a305977003dd15d1b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:58:26 +0200
Subject: Adds messages to follow the framework's flow.

---
 instr-to-kodkod/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 0f51838..dd80198 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -19,6 +19,7 @@ REQUIRED_JARS = kodkod.jar org.sat4j.core.jar antlr-4.7-complete.jar
 ## Makefile Magic ##############################################################
 INPUT_FILES = $(MODEL_FILES) $(LEVEL_DIR) $(PROPERTY_FILE)
 SOURCES = $(wildcard src/*.java parser/*.java)
+GRAMMARS = $(wildcard parser/*.g4)
 CLASSES = $(SOURCES:.java=.class)
 
 ## Makefile Rules ##############################################################
@@ -39,5 +40,5 @@ run: parser/PropertyParser.java $(CLASSES) $(REQUIRED_JARS)
 	echo "Attempting to download missing jar '$@'"
 	$(DOWNLOADER) "$(JAR_SOURCE)/$@"
 
-parser/PropertyParser.java: antlr-4.7-complete.jar
+parser/PropertyParser.java: antlr-4.7-complete.jar $(GRAMMAR)
 	$(MAKE) -C parser
-- 
cgit v1.2.3-70-g09d2