From bc74969ead5e1f683a547535fdf52a08c7c38b63 Mon Sep 17 00:00:00 2001 From: Ricardo Martins Date: Tue, 3 Feb 2015 17:33:43 +0000 Subject: [PATCH] gmp: updated URL. --- rules/gmp/host.bash | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/rules/gmp/host.bash b/rules/gmp/host.bash index ab3e6e4..cd8fa30 100644 --- a/rules/gmp/host.bash +++ b/rules/gmp/host.bash @@ -1,27 +1,27 @@ version=\ ( - "5.0.4" + '5.0.4' ) url=\ ( - "ftp://ftp.gmplib.org/pub/gmp-$version/gmp-$version.tar.bz2" + "http://ftp.gnu.org/pub/gnu/gmp/gmp-$version.tar.bz2" ) md5=\ ( - "50c3edcb7c9438e04377ee9a1a061b79" + '50c3edcb7c9438e04377ee9a1a061b79' ) maintainer=\ ( - "Ricardo Martins " + 'Ricardo Martins ' ) configure() { ./configure \ - --prefix="${cfg_dir_toolchain}" \ + --prefix="$cfg_dir_toolchain" \ --disable-shared \ --enable-static }