summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL8
-rw-r--r--VERSION2
-rw-r--r--configure.ac2
-rw-r--r--doc/mpfr.texi6
-rw-r--r--src/mpfr.h4
-rw-r--r--src/version.c2
6 files changed, 12 insertions, 12 deletions
diff --git a/INSTALL b/INSTALL
index fdabebd24..37fe7cd2a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -37,17 +37,17 @@ MPFR).
not been done yet and if patches are available. You can check
on the release page:
- http://www.mpfr.org/mpfr-4.1.0/
+ http://www.mpfr.org/mpfr-4.0.0/
which may have additional information. The patches can be applied
with commands like:
- wget http://www.mpfr.org/mpfr-4.1.0/allpatches
+ wget http://www.mpfr.org/mpfr-4.0.0/allpatches
patch -N -Z -p1 < allpatches
or
- curl http://www.mpfr.org/mpfr-4.1.0/allpatches | patch -N -Z -p1
+ curl http://www.mpfr.org/mpfr-4.0.0/allpatches | patch -N -Z -p1
(Those instructions are for the GNU patch command, for example
/usr/bin/gpatch on Solaris.)
@@ -363,7 +363,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 <http://www.mpfr.org/faq.html>, which may be more
up-to-date);
- * the MPFR web page for this version <http://www.mpfr.org/mpfr-4.1.0/>,
+ * the MPFR web page for this version <http://www.mpfr.org/mpfr-4.0.0/>,
which lists bugs found in this version and provides some patches.
If the "configure" fails, please check that the C compiler and its
diff --git a/VERSION b/VERSION
index 4aa925d34..efe82de8e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-4.1.0-dev
+4.0.0-rc2
diff --git a/configure.ac b/configure.ac
index 97c4f96b3..06bab3db9 100644
--- a/configure.ac
+++ b/configure.ac
@@ -26,7 +26,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
])
dnl Add check-news when it checks for more than 15 lines
-AC_INIT([MPFR],[4.1.0-dev])
+AC_INIT([MPFR],[4.0.0-rc2])
dnl Older Automake versions than 1.13 may still be supported, but no longer
dnl tested, and many things have changed in 1.13. Moreover the INSTALL file
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index cf22fe464..3dccf760b 100644
--- a/doc/mpfr.texi
+++ b/doc/mpfr.texi
@@ -2,7 +2,7 @@
@c %**start of header
@setfilename mpfr.info
@documentencoding UTF-8
-@set VERSION 4.1.0-dev
+@set VERSION 4.0.0-rc2
@set UPDATED-MONTH December 2017
@settitle GNU MPFR @value{VERSION}
@synindex tp fn
@@ -476,7 +476,7 @@ specific to MPFR)@. Problems are also mentioned in the FAQ
Please report problems to the MPFR mailing-list @samp{mpfr@@inria.fr}.
@xref{Reporting Bugs}.
Some bug fixes are available on the
-MPFR 4.1.0 web page @url{http://www.mpfr.org/mpfr-4.1.0/}.
+MPFR 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/}.
@section Getting the Latest Version of MPFR
@@ -491,7 +491,7 @@ The latest version of MPFR is available from
@comment Warning! Do not split "MPFR ... @url{...}" across several lines
@comment as this needs to be updated with update-version.
If you think you have found a bug in the MPFR library, first have a look
-on the MPFR 4.1.0 web page @url{http://www.mpfr.org/mpfr-4.1.0/} and the
+on the MPFR 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/} and the
FAQ @url{http://www.mpfr.org/faq.html}:
perhaps this bug is already known, in which case you may find there
a workaround for it.
diff --git a/src/mpfr.h b/src/mpfr.h
index 3fd81c6f3..b0171a6e2 100644
--- a/src/mpfr.h
+++ b/src/mpfr.h
@@ -25,9 +25,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
/* Define MPFR version number */
#define MPFR_VERSION_MAJOR 4
-#define MPFR_VERSION_MINOR 1
+#define MPFR_VERSION_MINOR 0
#define MPFR_VERSION_PATCHLEVEL 0
-#define MPFR_VERSION_STRING "4.1.0-dev"
+#define MPFR_VERSION_STRING "4.0.0-rc2"
/* User macros:
MPFR_USE_FILE: Define it to make MPFR define functions dealing
diff --git a/src/version.c b/src/version.c
index 54706b815..94679c01e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -25,5 +25,5 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
const char *
mpfr_get_version (void)
{
- return "4.1.0-dev";
+ return "4.0.0-rc2";
}