diff options
| author | zimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-08-30 13:56:36 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-08-30 13:56:36 +0000 |
| commit | 2c2ddc68d3722117a294ab6d0e7fa130de99a12e (patch) | |
| tree | 215020dc028fa42ce9edd4b6af7c5a72060a49b7 /README.dev | |
| parent | 3c920b658404007e1be19814e6709f2f0982a4a0 (diff) | |
| download | mpc-2c2ddc68d3722117a294ab6d0e7fa130de99a12e.tar.gz | |
[README.dev] point to --enable-valgrind-tests for a release
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1041 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'README.dev')
| -rw-r--r-- | README.dev | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -14,7 +14,8 @@ Required versions: Creating a new release ---------------------- - 1) Check compilation with gmp 4.3.2 and mpfr 2.4.2. + 1) Check compilation with gmp 4.3.2 and mpfr 2.4.2, with and without + --enable-valgrind-tests. 2) Check the version number in configure.ac ("AC_INIT (mpc, _version_...)"), INSTALL, src/get_version.c, src/mpc.h (remove suffix "-dev" in MPC_VERSION_STRING) and Makefile.vc. |