diff options
Diffstat (limited to 'hadrian/src/Rules/Gmp.hs')
| -rw-r--r-- | hadrian/src/Rules/Gmp.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hadrian/src/Rules/Gmp.hs b/hadrian/src/Rules/Gmp.hs index 2bf41d99e2..405c251b8b 100644 --- a/hadrian/src/Rules/Gmp.hs +++ b/hadrian/src/Rules/Gmp.hs @@ -66,14 +66,14 @@ gmpRules = do isInTree <- flag GmpInTree - if windowsHost || isInTree -- TODO: We don't use system GMP on Windows. Fix? + if isInTree then do - putBuild "| No GMP library/framework detected; in tree GMP will be built" + putBuild "| In tree GMP will be built" let intreeHeader = stageP -/- "gmp/gmp.h" need [intreeHeader] copyFile intreeHeader header else do - putBuild "| GMP library/framework detected and will be used" + putBuild "| System GMP library/framework will be used" copyFile (gmpBase -/- "ghc-gmp.h") header -- Build in-tree GMP library for the current stage, prioritised so that it |