diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-05-19 21:41:19 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-05-19 21:41:19 (GMT) |
commit | 62c87c5adf144f0600cdaeedfc159376cf819c79 (patch) | |
tree | 4564e5607b35e6cb1ef70053dac73e40437a06b5 | |
parent | acf53b6d0a0640a9523b5dffae3d4de1c547ffa7 (diff) |
In the future, we'll be able to download /old/ MPFR versions.
/trunk/scripts/build/mpfr.sh | 3 2 1 0 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
-rw-r--r-- | scripts/build/mpfr.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/mpfr.sh b/scripts/build/mpfr.sh index aca5039..bd1b2b6 100644 --- a/scripts/build/mpfr.sh +++ b/scripts/build/mpfr.sh @@ -11,7 +11,8 @@ do_print_filename() { # Download MPFR do_mpfr_get() { - CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/ + CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/ \ + http://www.mpfr.org/mpfr-${CT_MPFR_VERSION}/ } # Extract MPFR |