diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-06-03 00:34:15 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-06-03 00:34:15 +0000 |
| commit | 468dabc32cc3971ce7f17e3bf8152b2d34ad4cf2 (patch) | |
| tree | b312f8392661f37e57771dfd08f4156aae936791 /doc | |
| parent | 73cb349246e0c5f8bac25b1c98b5052cc593164e (diff) | |
| download | mpfr-468dabc32cc3971ce7f17e3bf8152b2d34ad4cf2.tar.gz | |
[doc/README.dev] Added quotes for clarity.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11577 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.dev | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/README.dev b/doc/README.dev index b1e12a188..05b92fe93 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -198,8 +198,8 @@ To make a release (for the MPFR team): Generate the release version with "make distcheck". 6) Test the release version on different machines, with --enable-assert - set to yes, no (default), none and full respectively, with and - without -DXDEBUG in $CFLAGS, with and without gmp internal files + set to "yes", "no" (default), "none" and "full" respectively, with + and without -DXDEBUG in $CFLAGS, with and without gmp internal files (--enable-gmp-internals), with and without GMP built as a shared library, with objdir equal to and different from srcdir (e.g. ../mpfr-source/configure after making mpfr-source read-only), with |