summaryrefslogtreecommitdiff
path: root/scripts/build/companion_libs/100-gmp.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/build/companion_libs/100-gmp.sh')
-rw-r--r--scripts/build/companion_libs/100-gmp.sh9
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/100-gmp.sh b/scripts/build/companion_libs/100-gmp.sh
index beb75ea..f0c96a2 100644
--- a/scripts/build/companion_libs/100-gmp.sh
+++ b/scripts/build/companion_libs/100-gmp.sh
@@ -76,6 +76,7 @@ do_gmp_backend() {
local cflags
local ldflags
local arg
+ local -a extra_config
for arg in "$@"; do
eval "${arg// /\\ }"
@@ -83,6 +84,10 @@ do_gmp_backend() {
CT_DoLog EXTRA "Configuring GMP"
+ if [ ! "${CT_GMP_5_0_2_or_later}" = "y" ]; then
+ extra_config+=("--enable-mpbsd")
+ fi
+
CT_DoExecLog CFG \
CFLAGS="${cflags} -fexceptions" \
LDFLAGS="${ldflags}" \
@@ -91,10 +96,10 @@ do_gmp_backend() {
--host=${host} \
--prefix="${prefix}" \
--enable-fft \
- --enable-mpbsd \
--enable-cxx \
--disable-shared \
- --enable-static
+ --enable-static \
+ "${extra_config}"
CT_DoLog EXTRA "Building GMP"
CT_DoExecLog ALL make ${JOBSFLAGS}