diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-07-24 08:17:28 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-07-24 08:17:28 +0000 |
| commit | 8d53c9ac7ea19388bc2b400b99d33a231d944765 (patch) | |
| tree | 893f292c91b5f8c19819d839a7153b626bb1bbb6 /ghc/Makefile | |
| parent | 592766aac81d0889b56d4957382bbc6b7dad2d4b (diff) | |
| download | haskell-8d53c9ac7ea19388bc2b400b99d33a231d944765.tar.gz | |
allow EXTRA_HC_OPTS to be used from the command-line
Diffstat (limited to 'ghc/Makefile')
| -rw-r--r-- | ghc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index 88b4dc082f..8c4e2c9608 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 |