diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-27 12:59:02 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-02 17:14:38 -0500 |
commit | 2a2f51d79f145e015cc089d97cf71c19dd27bee4 (patch) | |
tree | 24e6859abf947bc2e08072282a27539f0697b2ad /libraries | |
parent | 7c0c76fb1a11532076a0342655a9c889a2a12768 (diff) | |
download | haskell-2a2f51d79f145e015cc089d97cf71c19dd27bee4.tar.gz |
Use configure script to detect that we should use in-tree GMP on Windows
Diffstat (limited to 'libraries')
-rw-r--r-- | libraries/integer-gmp/gmp/ghc.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/libraries/integer-gmp/gmp/ghc.mk b/libraries/integer-gmp/gmp/ghc.mk index c9dd69953b..4272e86924 100644 --- a/libraries/integer-gmp/gmp/ghc.mk +++ b/libraries/integer-gmp/gmp/ghc.mk @@ -39,12 +39,6 @@ clean_gmp: $(call removeTrees,libraries/integer-gmp/gmp/gmpbuild) endif -ifeq "$(Windows_Host)" "YES" -# Apparently building on Windows fails when there is a system gmp -# available, so we never try to use the system gmp on Windows -libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp -endif - ifeq "$(GMP_PREFER_FRAMEWORK)" "YES" libraries/integer-gmp_CONFIGURE_OPTS += --with-gmp-framework-preferred endif |