X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FMakefile;h=69b290340c55ea1eaed97412a6032327a1173123;hb=36104d7a0d66df895c8275e3aa7cfe35a322ff04;hp=85b8cfae1da68b88af7f0d446bddf8e67a35e422;hpb=9f7e3b78b164735203d5c14be860217322c1a401;p=ghc-hetmet.git

diff --git a/compiler/Makefile b/compiler/Makefile
index 85b8cfa..69b2903 100644
--- a/compiler/Makefile
+++ b/compiler/Makefile
@@ -71,9 +71,18 @@ else
 clean distclean:: clean.stage.$(stage)
 endif
 
+ifeq "$(CLEAN_ALL_STAGES)" "YES"
+distclean::
+	$(RM) -f ghc.cabal
+endif
+
 clean.stage.%:
-	-$(CABAL) clean --distpref dist-stage$*
 	$(RM) -f Makefile-stage$*
+# This is a bit naughty. We ought to use:
+#	-$(CABAL) clean --distpref dist-stage$*
+# but that won't work if the Cabal file (a generated file) doesn't
+# exist. So we do this instead:
+	$(RM) -rf dist-stage$*
 
 CONFIGURE_FLAGS_STAGE1 += --flags=stage1
 CONFIGURE_FLAGS_STAGE2 += --flags=-stage1
@@ -146,11 +155,14 @@ ifneq "$(GhcLibProfiled) $(GhcProfiled)" "NO NO"
 CONFIGURE_FLAGS_STAGE2 += --enable-library-profiling
 # 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.
+# either normally or for ghci. Unfortunately this means that we have to
+# tell ghc-pkg --force as it gets upset when libHSghc-6.9.a doesn't
+# exist.
 ifeq "$(GhcProfiled)" "YES"
 CONFIGURE_FLAGS_STAGE2 += --ghc-option=-auto-all
 CONFIGURE_FLAGS_STAGE2 += --disable-library-vanilla
 CONFIGURE_FLAGS_STAGE2 += --disable-library-for-ghci
+CONFIGURE_FLAGS_STAGE2 += --ghc-pkg-option=--force
 endif
 endif