diff options
| -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 aca5039d..bd1b2b64 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 |