Fix GMP compilation for win64. (#4675)

diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev
index c844db93cf263f0522a7b97b2400ad4b830b2bd3..ef2023d04faa6d05a807099e576a602b62115385 100755 (executable)
--- a/contrib/get-gmp-dev
+++ b/contrib/get-gmp-dev
@@ -11,7 +11,7 @@
 
 source "$(dirname "$0")/get-script-header.sh"
 
-[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--disable-shared --enable-static"
+[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--enable-shared --enable-static"
 [ -n "$HOST" ] && HOST="--host=$HOST"
 [ -z "$GMPVERSION" ] && GMPVERSION=6.2.0
 
@@ -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} --enable-shared --enable-static
+./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE}
 make \
   CFLAGS="${MAKE_CFLAGS}" \
   CXXFLAGS="${MAKE_CXXFLAGS}" \

diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies
index 02b1e40547516edffa0669c11486433662a4b571..47acc7c0810aa204a8d493333cbdf94c83fc8175 100755 (executable)
--- a/contrib/get-win-dependencies
+++ b/contrib/get-win-dependencies
@@ -38,7 +38,7 @@ if [ -z "$HOST" ]; then
   echo "WARNING:"
 fi
 
-GMPVERSION=6.1.2
+GMPVERSION=6.2.0
 BOOSTVERSION=1.55.0
 BOOSTBASE=boost_1_55_0