From: Ian Lynagh <igloo@earth.li>
Date: Sat, 13 Sep 2008 14:48:20 +0000 (+0000)
Subject: If we're profiling GHC, don't bother building the GHC package the vanilla way
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9f7e3b78b164735203d5c14be860217322c1a401;p=ghc-hetmet.git

If we're profiling GHC, don't bother building the GHC package the vanilla way
---

diff --git a/compiler/Makefile b/compiler/Makefile
index 6b8f300..85b8cfa 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