diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2018-01-08 04:01:00 -0800 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2018-01-08 04:01:00 -0800 |
| commit | ccbd5c531bec4024b6b9cb51a3cc879e4b070250 (patch) | |
| tree | 9ba3ca2ec7d54d43bc47cc7b62ae8107410d716a | |
| parent | 4ca2baa6299115f0ef46f8580534a73d17a52b66 (diff) | |
Fix broken GMP URL in get-win-dependencies script
The FTP server that the get-win-dependencies script was using does not
seem to exist anymore. This commit changes to the server that
https://gmplib.org links to and updates the GMP version to 6.1.2.
| -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} && |