diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-09-13 14:48:20 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-09-13 14:48:20 +0000 |
| commit | 9f7e3b78b164735203d5c14be860217322c1a401 (patch) | |
| tree | 940f0e2cc0bc42cae13a9b6d787f4635b2be0e54 /compiler/Makefile | |
| parent | 04df48cc4b8d5a55a43dde865aa4a7545fbae348 (diff) | |
| download | haskell-9f7e3b78b164735203d5c14be860217322c1a401.tar.gz | |
If we're profiling GHC, don't bother building the GHC package the vanilla way
Diffstat (limited to 'compiler/Makefile')
| -rw-r--r-- | compiler/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index 6b8f300fb4..85b8cfae1d 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -144,9 +144,13 @@ endif # profiling enabled (GhcProfiled = YES). ifneq "$(GhcLibProfiled) $(GhcProfiled)" "NO NO" CONFIGURE_FLAGS_STAGE2 += --enable-library-profiling -# And if we're profiling GHC then we want lots of SCCs +# And if we're profiling GHC then we want lots of SCCs. +# We also don't want to waste time building the non-profiling library, +# either normally or for ghci. ifeq "$(GhcProfiled)" "YES" CONFIGURE_FLAGS_STAGE2 += --ghc-option=-auto-all +CONFIGURE_FLAGS_STAGE2 += --disable-library-vanilla +CONFIGURE_FLAGS_STAGE2 += --disable-library-for-ghci endif endif |