From e54283931d4586e5001c8bb99ea90cdbc82e5746 Mon Sep 17 00:00:00 2001 From: Moritz Angermann Date: Wed, 8 Jul 2020 05:29:41 +0000 Subject: fix gmp selection --- libraries/ghc-bignum/gmp/ghc.mk | 2 ++ 1 file changed, 2 insertions(+) diff --git a/libraries/ghc-bignum/gmp/ghc.mk b/libraries/ghc-bignum/gmp/ghc.mk index fe8ba7c171..5f04e22b1d 100644 --- a/libraries/ghc-bignum/gmp/ghc.mk +++ b/libraries/ghc-bignum/gmp/ghc.mk @@ -77,11 +77,13 @@ endif endif UseIntreeGmp = NO +ifeq "$(GMP_ENABLED)" "YES" ifneq "$(HaveLibGmp)" "YES" ifneq "$(HaveFrameworkGMP)" "YES" UseIntreeGmp = YES endif endif +endif # gmp_wrappers.c includes "ghc-gmp.h" libraries/ghc-bignum/cbits/gmp_wrappers.c: libraries/ghc-bignum/include/ghc-gmp.h -- cgit v1.2.1