aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-05 10:03:12 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-05 10:03:12 +0200
commita2baff0fd7b88052403cc661253c229acde5e011 (patch)
tree865b75cfdfa4cdfc17420e5acdab2b0088f64635
parent58355e0256b075f9ae74e04e52f9ff3b4c191572 (diff)
downloadtabellion-instance-calculator.zip
tabellion-instance-calculator.tar.bz2
Enables verbose mode.instance-calculator
Apparently, Kodkod gets stuck on the "translating to booleans" part.
-rw-r--r--instr-to-kodkod/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 08af039..0aaf4ae 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -135,7 +135,7 @@ $(SOL_DIR)/%.sol: $(PROPERTY_FILES) $(MODEL_FILES) $(LEVEL_FILES)
$(filter %$(basename $(notdir $@)).pro,$(PROPERTY_FILES)) \
$(LEVEL_FILES) \
$(MODEL_FILES) \
- $(wildcard $(PATH_MODEL_DIR)/*.mod)
+ $(wildcard $(PATH_MODEL_DIR)/*.mod) -v
src/%.class: src/%.java $(PARSER_CLASSES) $(REQUIRED_JARS)
$(JAVAC) -cp $(CLASSPATH) $<