summaryrefslogtreecommitdiff
path: root/README.dev
diff options
context:
space:
mode:
authorenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2011-08-30 16:00:19 +0000
committerenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2011-08-30 16:00:19 +0000
commitd89b568c461e5be457dc5f0006b6e74807007951 (patch)
treef7cee11fd04ff234f73847a915273b98557139d2 /README.dev
parent882fc984ed9c96fe5fc37baca12a831e59059e87 (diff)
downloadmpc-d89b568c461e5be457dc5f0006b6e74807007951.tar.gz
configure.ac: correct default for --enable-valgrind-tests to "no",
enable only with --disable-shared mpc.texi, README.dev: documentation of change git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1043 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'README.dev')
-rw-r--r--README.dev4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.dev b/README.dev
index 92413a9..66db2a1 100644
--- a/README.dev
+++ b/README.dev
@@ -14,8 +14,8 @@ Required versions:
Creating a new release
----------------------
- 1) Check compilation with gmp 4.3.2 and mpfr 2.4.2, with and without
- --enable-valgrind-tests.
+ 1) Check compilation with latest gmp and mpfr, with gmp 4.3.2 and mpfr 2.4.2;
+ with and without "--enable-valgrind-tests --disable-shared".
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.