| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-25 12:48:44 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-25 12:48:44 +0200 |
| commit | 4669bdf7046c03200a28de4188075bee69571eb8 (patch) | |
| tree | 97ff430a177d257be7e11d1392f3894d27de2f63 /instr-to-kodkod/Makefile | |
| parent | 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 (diff) | |
Updates Tests, fixes 2 properties & inferred/*.mod
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
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 .. \ |