diff options
-rw-r--r-- | compiler/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index cde254ae78..f2c31e8067 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -10,11 +10,19 @@ # # ----------------------------------------------------------------------------- +# If the user says 'make' or 'make stage=2' here, we behave as if they were +# in the ghc directory instead, so that the executable GHC gets built. +.PHONY: default_to_ghc all_ghc +default_to_ghc : all_ghc + dir = compiler TOP = .. SPEC_TARGETS = 1 2 3 include $(TOP)/mk/sub-makefile.mk +all_ghc : + +$(TOPMAKE) all_ghc $(EXTRA_MAKE_OPTS) + 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 |