# HG changeset patch # User "Yann E. MORIN" # Date 1211233279 0 # Node ID 0ebb814eb9f8f7a008c2c9a73567baa11611cfa7 # Parent 859941cfbb0d60c5dc9739ce74ed2c224727b94f 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 -r 859941cfbb0d -r 0ebb814eb9f8 scripts/build/mpfr.sh --- a/scripts/build/mpfr.sh Mon May 19 21:40:41 2008 +0000 +++ b/scripts/build/mpfr.sh Mon May 19 21:41:19 2008 +0000 @@ -11,7 +11,8 @@ # 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