diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-06-30 00:24:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-30 00:24:07 -0700 |
commit | 6303c25fc375f33b27398f9b8c4b70901785a5f1 (patch) | |
tree | c3a964050a3e805666e986d35bfe67467270bd0c /contrib | |
parent | 8c794ae1009bf8515b965c1023de188f50b35d60 (diff) |
contrib: Update to GMP 6.2.0, compile static and shared libraries. (#4671)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-gmp-dev | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev index f8a301a89..c844db93c 100755 --- a/contrib/get-gmp-dev +++ b/contrib/get-gmp-dev @@ -13,7 +13,7 @@ source "$(dirname "$0")/get-script-header.sh" [ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--disable-shared --enable-static" [ -n "$HOST" ] && HOST="--host=$HOST" -[ -z "$GMPVERSION" ] && GMPVERSION=6.1.2 +[ -z "$GMPVERSION" ] && GMPVERSION=6.2.0 GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION" @@ -36,7 +36,7 @@ echo "Setting up GMP $GMPVERSION..." echo setup_dep "https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2" "$GMP_DIR" cd "$GMP_DIR" -./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE} +./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE} --enable-shared --enable-static make \ CFLAGS="${MAKE_CFLAGS}" \ CXXFLAGS="${MAKE_CXXFLAGS}" \ |