diff options
Diffstat (limited to 'scripts/build/companion_libs')
-rw-r--r-- | scripts/build/companion_libs/100-gmp.sh | 4 | ||||
-rw-r--r-- | scripts/build/companion_libs/110-mpfr.sh | 5 | ||||
-rw-r--r-- | scripts/build/companion_libs/120-ppl.sh | 5 | ||||
-rw-r--r-- | scripts/build/companion_libs/121-isl.sh | 5 | ||||
-rw-r--r-- | scripts/build/companion_libs/130-cloog.sh | 3 | ||||
-rw-r--r-- | scripts/build/companion_libs/140-mpc.sh | 2 |
6 files changed, 13 insertions, 11 deletions
diff --git a/scripts/build/companion_libs/100-gmp.sh b/scripts/build/companion_libs/100-gmp.sh index 8674f16..beb75ea 100644 --- a/scripts/build/companion_libs/100-gmp.sh +++ b/scripts/build/companion_libs/100-gmp.sh @@ -12,7 +12,9 @@ if [ "${CT_GMP}" = "y" ]; then # Download GMP do_gmp_get() { - CT_GetFile "gmp-${CT_GMP_VERSION}" {ftp,http}://{ftp.sunet.se/pub,ftp.gnu.org}/gnu/gmp + CT_GetFile "gmp-${CT_GMP_VERSION}" \ + https://gmplib.org/download/gmp \ + {http,ftp,https}://ftp.gnu.org/gnu/gmp } # Extract GMP diff --git a/scripts/build/companion_libs/110-mpfr.sh b/scripts/build/companion_libs/110-mpfr.sh index 1a917c2..2fb03aa 100644 --- a/scripts/build/companion_libs/110-mpfr.sh +++ b/scripts/build/companion_libs/110-mpfr.sh @@ -12,8 +12,9 @@ if [ "${CT_MPFR}" = "y" ]; then # Download MPFR do_mpfr_get() { - CT_GetFile "mpfr-${CT_MPFR_VERSION}" http://www.mpfr.org/mpfr-current/ \ - http://www.mpfr.org/mpfr-${CT_MPFR_VERSION}/ + CT_GetFile "mpfr-${CT_MPFR_VERSION}" \ + http://www.mpfr.org/mpfr-${CT_MPFR_VERSION} \ + {http,ftp,https}://ftp.gnu.org/gnu/mpfr } # Extract MPFR diff --git a/scripts/build/companion_libs/120-ppl.sh b/scripts/build/companion_libs/120-ppl.sh index 87d1512..c95ea56 100644 --- a/scripts/build/companion_libs/120-ppl.sh +++ b/scripts/build/companion_libs/120-ppl.sh @@ -12,8 +12,9 @@ if [ "${CT_PPL}" = "y" ]; then # Download PPL do_ppl_get() { - CT_GetFile "ppl-${CT_PPL_VERSION}" \ - http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION} + CT_GetFile "ppl-${CT_PPL_VERSION}" \ + http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION} \ + ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} } # Extract PPL diff --git a/scripts/build/companion_libs/121-isl.sh b/scripts/build/companion_libs/121-isl.sh index 48b15df..6c06ab0 100644 --- a/scripts/build/companion_libs/121-isl.sh +++ b/scripts/build/companion_libs/121-isl.sh @@ -12,9 +12,8 @@ if [ "${CT_ISL}" = "y" ]; then # Download ISL do_isl_get() { - CT_GetFile "isl-${CT_ISL_VERSION}" \ - ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/ \ - http://mirrors.kernel.org/sources.redhat.com/gcc/infrastructure + CT_GetFile "isl-${CT_ISL_VERSION}" \ + http://isl.gforge.inria.fr } # Extract ISL diff --git a/scripts/build/companion_libs/130-cloog.sh b/scripts/build/companion_libs/130-cloog.sh index fe5ba13..1a3b91a 100644 --- a/scripts/build/companion_libs/130-cloog.sh +++ b/scripts/build/companion_libs/130-cloog.sh @@ -24,8 +24,7 @@ if [ "${CT_CLOOG}" = "y" ]; then # Download CLooG do_cloog_get() { CT_GetFile "$(cloog_basename_version)" \ - http://www.bastoul.net/cloog/pages/download \ - ftp://gcc.gnu.org/pub/gcc/infrastructure + http://www.bastoul.net/cloog/pages/download } # Extract CLooG diff --git a/scripts/build/companion_libs/140-mpc.sh b/scripts/build/companion_libs/140-mpc.sh index 9ceb7e5..03071d3 100644 --- a/scripts/build/companion_libs/140-mpc.sh +++ b/scripts/build/companion_libs/140-mpc.sh @@ -13,7 +13,7 @@ if [ "${CT_MPC}" = "y" ]; then # Download MPC do_mpc_get() { CT_GetFile "mpc-${CT_MPC_VERSION}" .tar.gz \ - http://www.multiprecision.org/mpc/download + {http,ftp,https}://ftp.gnu.org/gnu/mpc } # Extract MPC |