diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:17:20 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:17:20 +0000 |
commit | 4a1085df3a3c3fb8855a07aecab236a953ca34af (patch) | |
tree | 155c859f5eba3f44f3aa241d7c02e55cd0792f7d /NEWS | |
parent | 773ef9605b0700a63d975476b9212cadcbf16586 (diff) | |
download | mpfr-4a1085df3a3c3fb8855a07aecab236a953ca34af.tar.gz |
Removed --enable-mini-gmp configure option.
* NEWS: say that it is replaced by --with-mini-gmp.
* configure.ac: --enable-mini-gmp removed.
* doc/mini-gmp: update.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13227 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -37,7 +37,8 @@ Changes from versions 4.0.* to version 4.1.0: - New: optional "make check-exported-symbols", mainly for the MPFR developers and binary distributions, to check that MPFR does not define symbols with a GMP reserved prefix (experimental). -- Mini-gmp support via the --with-mini-gmp configure option (experimental). +- Mini-gmp support: replaced --enable-mini-gmp configure option by + --with-mini-gmp (still experimental, read doc/mini-gmp). Changes from versions 3.1.* to version 4.0.0: - The "dinde aux marrons" release. |