From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 24 Jul 2008 08:17:28 +0000 (+0000)
Subject: allow EXTRA_HC_OPTS to be used from the command-line
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8d53c9ac7ea19388bc2b400b99d33a231d944765

allow EXTRA_HC_OPTS to be used from the command-line
---

diff --git a/ghc/Makefile b/ghc/Makefile
index 88b4dc0..8c4e2c9 100644
--- a/ghc/Makefile
+++ b/ghc/Makefile
@@ -67,6 +67,10 @@ CONFIGURE_FLAGS_STAGE1 += $(USE_BOOT_CONFIGURE_FLAGS)
 CONFIGURE_FLAGS_STAGE2 += $(USE_STAGE1_CONFIGURE_FLAGS)
 CONFIGURE_FLAGS_STAGE3 += $(USE_STAGE2_CONFIGURE_FLAGS)
 
+# Allow EXTRA_HC_OPTS to be used from the command line to add options 
+# when building (e.g. -v)
+BUILD_FLAGS=$(patsubst %, --ghc-option=%, $(EXTRA_HC_OPTS))
+
 # XXX In stage2+ we should really use the inplace ghc-pkg
 # It works because installPackage doesn't actually use ghc-pkg, as there's
 # no library to register