diff options
Diffstat (limited to 'hadrian/src/Settings/Packages.hs')
| -rw-r--r-- | hadrian/src/Settings/Packages.hs | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/hadrian/src/Settings/Packages.hs b/hadrian/src/Settings/Packages.hs index 5993723bee..4be0fba740 100644 --- a/hadrian/src/Settings/Packages.hs +++ b/hadrian/src/Settings/Packages.hs @@ -136,14 +136,10 @@ packageArgs = do [ builder Cc ? arg includeGmp , builder (Cabal Setup) ? mconcat - [ -- TODO: This should respect some settings flag "InTreeGmp". - -- Depending on @IncludeDir@ and @LibDir@ is bound to fail, since - -- these are only set if the configure script was explicilty - -- called with GMP include and lib dirs. Their absense as such - -- does not imply @in-tree-gmp@. - -- (null gmpIncludeDir && null gmpLibDir) ? - -- arg "--configure-option=--with-intree-gmp" - arg ("--configure-option=CFLAGS=" ++ includeGmp) + [ flag GmpInTree ? arg "--configure-option=--with-intree-gmp" + , flag GmpFrameworkPref ? + arg "--configure-option=--with-gmp-framework-preferred" + , arg ("--configure-option=CFLAGS=" ++ includeGmp) , arg ("--gcc-options=" ++ includeGmp) ] ] ---------------------------------- rts --------------------------------- |