diff options
Diffstat (limited to 'compiler/Makefile')
| -rw-r--r-- | compiler/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index aaecaf14b1..7618f680a1 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -26,3 +26,12 @@ include $(TOP)/mk/sub-makefile.mk 3: +$(TOPMAKE) stage=3 all_ghc_stage3 compiler_stage3_NO_BUILD_DEPS=YES OMIT_PHASE_1=YES OMIT_PHASE_2=YES OMIT_PHASE_3=YES +.PHONY: extra-help +help : extra-help +extra-help : + @echo " make 1" + @echo " make 2" + @echo " make 3" + @echo + @echo " Build the stage 1, 2 or 3 GHC respectively, omitting dependencies" + @echo " and initial phases for speed." |