From cbc627e356049cb73206c7afeca57c410a69bfe4 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 19 May 2009 08:33:50 +0000 Subject: [PATCH] allow phases to be omitted by setting OMIT_PHASE_[123]=YES --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index f15677d..a80dcee 100644 --- a/Makefile +++ b/Makefile @@ -56,12 +56,18 @@ REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean $(REALGOALS) all: $(PACKAGE_MK) @echo "===--- updating makefiles phase 0" $(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles +ifneq "$(OMIT_PHASE_1)" "YES" @echo "===--- updating makefiles phase 1" $(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles +endif +ifneq "$(OMIT_PHASE_2)" "YES" @echo "===--- updating makefiles phase 2" $(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles +endif +ifneq "$(OMIT_PHASE_3)" "YES" @echo "===--- updating makefiles phase 3" $(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles +endif @echo "===--- finished updating makefiles" $(MAKE) -r --no-print-directory -f ghc.mk $@ -- 1.7.10.4