From 10e7fc528c0a767da2f7b8447b6c62d017adaf54 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 16 Aug 2017 11:17:59 +0200 Subject: Fixes Makefiles so they can run parallel jobs. --- Makefile | 36 ++++++++++++++++++++++++++++-------- 1 file changed, 28 insertions(+), 8 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index dedb0e3..24f37d4 100644 --- a/Makefile +++ b/Makefile @@ -16,20 +16,40 @@ 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) +all: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR) + $(MAKE) compile + $(MAKE) model + $(MAKE) solutions + +compile: + $(MAKE) -C $(AST_TO_INSTR) compile + $(MAKE) -C $(SOLVER) compile + $(MAKE) -C $(PRETTY_PRINTER) compile + +model: + $(MAKE) -C $(AST_TO_INSTR) model + $(MAKE) -C $(SOLVER) model + $(MAKE) -C $(PRETTY_PRINTER) model + +solutions: $(TMP_DIR) $(MODEL_DIR) $(SOL_DIR) + $(MAKE) -C $(AST_TO_INSTR) solutions + $(MAKE) -C $(SOLVER) solutions + $(MAKE) -C $(PRETTY_PRINTER) solutions clean: $(MAKE) -C $(AST_TO_INSTR) clean $(MAKE) -C $(SOLVER) clean $(MAKE) -C $(PRETTY_PRINTER) clean -build: - $(MAKE) -C $(AST_TO_INSTR) build - $(MAKE) -C $(SOLVER) build - $(MAKE) -C $(PRETTY_PRINTER) build +clean_model: + $(MAKE) -C $(AST_TO_INSTR) clean_model + $(MAKE) -C $(SOLVER) clean_model + $(MAKE) -C $(PRETTY_PRINTER) clean_model + +clean_solutions: + $(MAKE) -C $(AST_TO_INSTR) clean_solutions + $(MAKE) -C $(SOLVER) clean_solutions + $(MAKE) -C $(PRETTY_PRINTER) clean_solutions $(TMP_DIR): mkdir -p $@ -- cgit v1.2.3-70-g09d2