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(-)
This commit is contained in:
Yann E. MORIN" 2008-05-19 21:41:19 +00:00
parent acf53b6d0a
commit 62c87c5adf

View File

@ -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