diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-08 19:05:59 +0100 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-08 12:05:59 -0600 |
commit | e72f41bb9d64724d62894989f3369f97877d6782 (patch) | |
tree | 59a08f655726e3a534c6a01e4fa73fed2c723a19 /contrib | |
parent | e2aa4e37c93749bd186071e38874a7ba5a70b97e (diff) |
Fix broken GMP URL in get-win-dependencies script (#1493)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-win-dependencies | 4 |
1 files 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} && |