| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'sol-pretty-printer/Makefile')
| -rw-r--r-- | sol-pretty-printer/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sol-pretty-printer/Makefile b/sol-pretty-printer/Makefile index 5390e28..f5c6e7a 100644 --- a/sol-pretty-printer/Makefile +++ b/sol-pretty-printer/Makefile @@ -8,6 +8,8 @@ MODEL_DIR ?= #### Where to find the properties' pretty-print files TEMPLATE_DIR ?= +NICE_MESSAGE_FILE ?= + #### Binaries ###### JRE binary JAVA ?= java @@ -53,8 +55,13 @@ compile: $(CLASSES) model: +ifeq ($(strip $(NICE_MESSAGE)),) solutions: $(SOLUTION_PP_PAIRS) $(MODEL_DIR)/structural.mod $(MODEL_DIR)/string_to_instr.map $(CLASSES) $(JAVA) -cp $(CLASSPATH) Main $(MODEL_DIR)/structural.mod $(MODEL_DIR)/string_to_instr.map $(SOLUTION_PP_PAIRS) +else +solutions: $(SOLUTION_PP_PAIRS) $(MODEL_DIR)/structural.mod $(MODEL_DIR)/string_to_instr.map $(CLASSES) + $(JAVA) -cp $(CLASSPATH) Main $(MODEL_DIR)/structural.mod $(MODEL_DIR)/string_to_instr.map $(SOLUTION_PP_PAIRS) > $(NICE_MESSAGE) +endif clean: rm -f $(CLASSES) |