summaryrefslogtreecommitdiff
path: root/hadrian
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-02-07 18:12:55 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-02-14 05:30:39 -0500
commit9f2c3677b3a08d8ea6c0d1f5fd51e43b7fcfe75b (patch)
tree865d55202521cd79be0c6864f9949b1b6c328652 /hadrian
parentcd6e786a28cc6688b45c8868a3e8a338b081ba01 (diff)
downloadhaskell-9f2c3677b3a08d8ea6c0d1f5fd51e43b7fcfe75b.tar.gz
GMP expects the Target platform as --host parameter
Diffstat (limited to 'hadrian')
-rw-r--r--hadrian/src/Settings/Builders/Configure.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/hadrian/src/Settings/Builders/Configure.hs b/hadrian/src/Settings/Builders/Configure.hs
index 498aa6d158..e8384e28d9 100644
--- a/hadrian/src/Settings/Builders/Configure.hs
+++ b/hadrian/src/Settings/Builders/Configure.hs
@@ -10,11 +10,11 @@ configureBuilderArgs = do
stage <- getStage
libffiPath <- expr (libffiBuildPath stage)
mconcat [ builder (Configure gmpPath) ? do
- hostPlatform <- getSetting HostPlatform
+ targetPlatform <- getSetting TargetPlatform
buildPlatform <- getSetting BuildPlatform
pure [ "--enable-shared=no"
, "--with-pic=yes"
- , "--host=" ++ hostPlatform
+ , "--host=" ++ targetPlatform -- GMP's host is our target
, "--build=" ++ buildPlatform ]
, builder (Configure libffiPath) ? do