projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
592766a
)
allow EXTRA_HC_OPTS to be used from the command-line
author
Simon Marlow
<marlowsd@gmail.com>
Thu, 24 Jul 2008 08:17:28 +0000
(08:17 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Thu, 24 Jul 2008 08:17:28 +0000
(08:17 +0000)
ghc/Makefile
patch
|
blob
|
history
diff --git
a/ghc/Makefile
b/ghc/Makefile
index
88b4dc0
..
8c4e2c9
100644
(file)
--- 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)
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
# 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