| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..4846880 --- /dev/null +++ b/Makefile @@ -0,0 +1,34 @@ +## Makefile Parameters ######################################################### +LEVEL_FILES = $(wildcard $(PWD)/data/level/*.lvl) +PROPERTY_FILES = $(wildcard $(PWD)/data/property/*.pro) +AST_FILE = $(PWD)/data/ast/best_chronometer_ever.xml + +TMP_DIR = /tmp/tabellion +MODEL_DIR = $(TMP_DIR)/mod +SOL_DIR = $(TMP_DIR)/sol + +## Sub-programs ################################################################ +AST_TO_INSTR = ast-to-instr +SOLVER = instr-to-kodkod +PRETTY_PRINTER = sol-pretty-printer + +export + +run: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR) + $(MAKE) -C $(AST_TO_INSTR) + $(MAKE) -C $(SOLVER) + $(MAKE) -C $(PRETTY_PRINTER) + +clean: + $(MAKE) -C $(AST_TO_INSTR) clean + $(MAKE) -C $(SOLVER) clean + $(MAKE) -C $(PRETTY_PRINTER) clean + +$(TMP_DIR): + mkdir -p $@ + +$(MODEL_DIR): + mkdir -p $@ + +$(SOL_DIR): + mkdir -p $@ |