From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 8 Jan 2018 18:05:59 +0000 (+0100)
Subject: Fix broken GMP URL in get-win-dependencies script (#1493)
X-Git-Tag: cvc5-1.0.0~5374
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e72f41bb9d64724d62894989f3369f97877d6782;p=cvc5.git

Fix broken GMP URL in get-win-dependencies script (#1493)
---

diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies
index 2342a09ff..964bdbff7 100755
--- a/contrib/get-win-dependencies
+++ b/contrib/get-win-dependencies
@@ -36,7 +36,7 @@ if [ -z "$HOST" ]; then
   echo "WARNING:"
 fi
 
-GMPVERSION=5.1.0
+GMPVERSION=6.1.2
 BOOSTVERSION=1.55.0
 BOOSTBASE=boost_1_55_0
 
@@ -84,7 +84,7 @@ echo
   gmpprefix=`pwd` &&
   mkdir src &&
   cd src &&
-  webget ftp://ftp.gmplib.org/pub/gmp-$GMPVERSION/gmp-$GMPVERSION.tar.bz2 gmp-$GMPVERSION.tar.bz2 &&
+  webget https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2 gmp-$GMPVERSION.tar.bz2 &&
   tar xfj gmp-$GMPVERSION.tar.bz2 &&
   cd gmp-$GMPVERSION &&
   ./configure --host=$HOST --prefix="$gmpprefix" --enable-cxx ${BUILD_TYPE} &&