From e72f41bb9d64724d62894989f3369f97877d6782 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 8 Jan 2018 19:05:59 +0100 Subject: [PATCH] Fix broken GMP URL in get-win-dependencies script (#1493) --- contrib/get-win-dependencies | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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} && -- 2.30.2