contrib: Update to GMP 6.2.0, compile static and shared libraries. (#4671)

diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev
index f8a301a8965eb6b65f5033f4ef3b0510cca4b2eb..c844db93cf263f0522a7b97b2400ad4b830b2bd3 100755 (executable)
--- 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}" \