summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-30 09:19:01 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-01-30 09:19:01 +0000
commitab2279a252b70a62d3a9a26498df4799838f646f (patch)
tree4cb850a968f77c68aac7b54f7f6430a32db67a80 /NEWS
parenteac341fa573f6d0b775681a015333459227ca0fc (diff)
downloadmpfr-ab2279a252b70a62d3a9a26498df4799838f646f.tar.gz
Update about CC / CFLAGS settings from GMP (__GMP_CC / __GMP_CFLAGS).
* configure.ac: remove -pedantic unconditionally; since r7044, it was removed only when logging was enabled, as at that time only logging was using C extensions. * NEWS: added a line about this change. * INSTALL: updated the note about CC / CFLAGS, removing the obsolete reference to GMP 4.3.0 at the same time. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13421 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS1
1 files changed, 1 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 56f5bc23e..31f75f8a4 100644
--- a/NEWS
+++ b/NEWS
@@ -25,6 +25,7 @@ Changes from versions 4.0.* to version 4.1.0:
- New --enable-formally-proven code configure option, to use (when available)
formally proven code.
- Improved __GMP_CC and __GMP_CFLAGS retrieval (in particular for MS Windows).
+- Option -pedantic is now always removed from __GMP_CFLAGS (see INSTALL).
- Changed __float128 to the type _Float128 specified in ISO/IEC TS 18661.
__float128 is used as a fallback if _Float128 is not supported.
FIXME: To be confirmed before the release.