diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 13:15:43 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 13:15:43 +0000 |
| commit | 96d47d413d6f8310eeae1097697e7adeb9eeb322 (patch) | |
| tree | 93862146cc8298d9f3fa2dc61c7b95bfa064dd08 /doc/README.dev | |
| parent | 9125f228501b83fc53659ee8627722f411c4561e (diff) | |
| download | mpfr-96d47d413d6f8310eeae1097697e7adeb9eeb322.tar.gz | |
[doc/README.dev] "To make a release": mention "make check-gmp-symbols"
and "make check-exported-symbols".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12114 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
| -rw-r--r-- | doc/README.dev | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/README.dev b/doc/README.dev index 517db5c11..a50299b08 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -335,6 +335,13 @@ To make a release (for the MPFR team): --enable-debug-prediction, run "timings-mpfr 100", and check that the output contains no WARNING. + For various platforms and compilers, check that: + * [make check-gmp-symbols] + MPFR does not use GMP internal symbols (unless --with-gmp-build + or --enable-gmp-internals has been used); + * [make check-exported-symbols] + MPFR does not define symbols with a GMP reserved prefix. + 7) For the release itself (not the release candidates), if no problems have been found, create a tag with: svn cp .../mpfr/branches/x.y .../mpfr/tags/x.y.z |