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(-)
1.1 --- a/scripts/build/mpfr.sh Mon May 19 21:40:41 2008 +0000
1.2 +++ b/scripts/build/mpfr.sh Mon May 19 21:41:19 2008 +0000
1.3 @@ -11,7 +11,8 @@
1.4
1.5 # Download MPFR
1.6 do_mpfr_get() {
1.7 - CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/
1.8 + CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/ \
1.9 + http://www.mpfr.org/mpfr-${CT_MPFR_VERSION}/
1.10 }
1.11
1.12 # Extract MPFR