From 62c87c5adf144f0600cdaeedfc159376cf819c79 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Mon, 19 May 2008 21:41:19 +0000
Subject: 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(-)

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
-- 
cgit v0.10.2-6-g49f6