diff options
Diffstat (limited to 'ghc')
| -rw-r--r-- | ghc/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index 7e6b416cf3..669c938dd7 100644 --- a/ghc/Makefile +++ b/ghc/Makefile @@ -15,16 +15,18 @@ TOP = .. SPEC_TARGETS = 1 2 3 include $(TOP)/mk/sub-makefile.mk +FAST_MAKE_OPTS += compiler_stage1_NO_BUILD_DEPS=YES compiler_stage2_NO_BUILD_DEPS=YES compiler_stage3_NO_BUILD_DEPS=YES + .PHONY: 1 2 3 1: - +$(TOPMAKE) stage=1 all_ghc_stage1 compiler_stage1_NO_BUILD_DEPS=YES + +$(TOPMAKE) stage=1 all_ghc_stage1 $(FAST_MAKE_OPTS) 2: - +$(TOPMAKE) stage=2 all_ghc_stage2 compiler_stage2_NO_BUILD_DEPS=YES + +$(TOPMAKE) stage=2 all_ghc_stage2 $(FAST_MAKE_OPTS) 3: - +$(TOPMAKE) stage=3 all_ghc_stage3 compiler_stage3_NO_BUILD_DEPS=YES + +$(TOPMAKE) stage=3 all_ghc_stage3 $(FAST_MAKE_OPTS) .PHONY: extra-help help : extra-help |