From 4669bdf7046c03200a28de4188075bee69571eb8 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 25 Sep 2017 12:48:44 +0200 Subject: Updates Tests, fixes 2 properties & inferred/*.mod --- instr-to-kodkod/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'instr-to-kodkod') diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 0523a46..cac9ffe 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -108,6 +108,7 @@ clean: $(MAKE) -C cfg-to-paths clean rm -f $(CLASSES) rm -f $(SOL_DIR)/*.sol + rm -f $(SOL_DIR)/*.sol.ready rm -f $(DEPENDENCY_FILES) rm -f $(wildcard $(MODEL_INFERRED_DIR)/*.mod) @@ -117,6 +118,7 @@ clean_model: clean_solutions: rm -f $(SOL_DIR)/*.sol + rm -f $(SOL_DIR)/*.sol.ready rm -f $(DEPENDENCY_FILES) ######## @@ -136,7 +138,7 @@ $(SOLUTION_FILES): $(SOL_DIR)/%.sol: $(PROPERTIES_DIR)/%.pro \ $< \ $(LEVEL_FILES) \ $(MODEL_FILES) \ - $(MODEL_INFERRED_DIR)/*.mod \ + `ls $(MODEL_INFERRED_DIR)/*.mod 2>/dev/null`\ $(wildcard $(PATH_MODEL_DIR)/*.mod) echo "" >> $@ $(MAKE) -C .. \ -- cgit v1.2.3-70-g09d2