diff options
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/INSTALL')
-rw-r--r-- | Build/source/libs/mpfr/mpfr-src/INSTALL | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/INSTALL b/Build/source/libs/mpfr/mpfr-src/INSTALL index 64e5e5784ba..a483f78c9e5 100644 --- a/Build/source/libs/mpfr/mpfr-src/INSTALL +++ b/Build/source/libs/mpfr/mpfr-src/INSTALL @@ -42,17 +42,17 @@ MPFR). not been done yet and if patches are available. You can check on the release page: - https://www.mpfr.org/mpfr-4.2.0/ + https://www.mpfr.org/mpfr-4.2.1/ which may have additional information. The patches can be applied with commands like: - wget --no-config https://www.mpfr.org/mpfr-4.2.0/allpatches + wget --no-config https://www.mpfr.org/mpfr-4.2.1/allpatches patch -N -Z -p1 < allpatches or - curl https://www.mpfr.org/mpfr-4.2.0/allpatches | patch -N -Z -p1 + curl https://www.mpfr.org/mpfr-4.2.1/allpatches | patch -N -Z -p1 (Those instructions are for the GNU patch command, for example /usr/bin/gpatch on Solaris.) @@ -392,7 +392,7 @@ Several documents may help you to solve the problem: * the FAQ (either the FAQ.html file distributed with MPFR, or the on-line version <https://www.mpfr.org/faq.html>, which may be more up-to-date); - * the MPFR web page for this version <https://www.mpfr.org/mpfr-4.2.0/>, + * the MPFR web page for this version <https://www.mpfr.org/mpfr-4.2.1/>, which lists bugs found in this version and provides some patches. If the "configure" fails, please check that the C compiler and its |