From 770350a0e14d0e13d5f5b9050c60eb3a449575f3 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 30 Jun 2020 12:12:25 -0700
Subject: [PATCH] Fix GMP compilation for win64. (#4675)

---
 contrib/get-gmp-dev          | 4 ++--
 contrib/get-win-dependencies | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev
index c844db93c..ef2023d04 100755
--- 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 02b1e4054..47acc7c08 100755
--- 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
 
-- 
2.30.2