| 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 /Makefile | |
| parent | 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 (diff) | |
Updates Tests, fixes 2 properties & inferred/*.mod
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -42,21 +42,21 @@ all: $(ALL_DIRS) $(MAKE) model $(MAKE) solutions -compile: +compile: $(ALL_DIRS) $(MAKE) -C $(AST_TO_INSTR) compile $(MAKE) -C $(INST_CALC) compile $(MAKE) -C $(SOLVER) compile $(MAKE) -C $(PRETTY_PRINTER) compile $(MAKE) -C $(PROP_TO_PRED) compile -model: +model: $(ALL_DIRS) $(MAKE) -C $(AST_TO_INSTR) model $(MAKE) -C $(INST_CALC) model $(MAKE) -C $(SOLVER) model $(MAKE) -C $(PRETTY_PRINTER) model $(MAKE) -C $(PROP_TO_PRED) model -solutions: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR) +solutions: $(ALL_DIRS) $(MAKE) -C $(AST_TO_INSTR) solutions $(MAKE) -C $(INST_CALC) solutions $(MAKE) -C $(SOLVER) solutions |