diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-05-19 08:33:50 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-05-19 08:33:50 +0000 |
| commit | cbc627e356049cb73206c7afeca57c410a69bfe4 (patch) | |
| tree | 79485f52af7f5a8f3128611fd887908ec392dfda /Makefile | |
| parent | 2e0498a39e1c573c128ef95df10ddb4f562b95a7 (diff) | |
| download | haskell-cbc627e356049cb73206c7afeca57c410a69bfe4.tar.gz | |
allow phases to be omitted by setting OMIT_PHASE_[123]=YES
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 $@ |