From d18ca72caf2004c7725b3de670c7397c5bf85eb4 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 4 Aug 2017 12:47:30 +0200
Subject: For some reason, CNE_01700 no longer works.

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

(limited to 'instr-to-kodkod')

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 60ad8da..1fe4535 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -100,7 +100,7 @@ PARSER_CLASSES = $(PARSER_SOURCES:.g4=.class)
 
 export
 ## Makefile Rules ##############################################################
-run: cfg-generator $(PARSER_CLASSES) $(SOLUTION_FILES) $(CLASSES)
+run: cfg-generator $(PARSER_CLASSES) $(CLASSES) $(SOLUTION_FILES)
 
 cfg-generator:
 	$(MAKE) -C cfg-to-paths
@@ -114,7 +114,8 @@ clean:
 	rm -f $(CLASSES)
 	rm -f $(SOL_DIR)/*.sol
 
-%.sol: cfg-generator $(PARSER_CLASSES) $(CLASSES) $(PROPERTY_FILES) $(MODEL_FILES) $(LEVEL_FILES)
+$(SOL_DIR)/%.sol: $(PROPERTY_FILES) $(MODEL_FILES) $(LEVEL_FILES)
+	touch $@
 	$(JAVA) -cp $(CLASSPATH) Main $@ \
 		$(filter %$(basename $(notdir $@)).pro,$(PROPERTY_FILES)) \
 		$(LEVEL_FILES) \
-- 
cgit v1.2.3-70-g09d2