summaryrefslogtreecommitdiff
path: root/configure.ac
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 /configure.ac
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 'configure.ac')
-rw-r--r--configure.ac14
1 files changed, 13 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index c399974..4eb8ae7 100644
--- a/configure.ac
+++ b/configure.ac
@@ -82,7 +82,19 @@ AC_ARG_ENABLE([logging],
esac
]
)
-gl_VALGRIND_TESTS
+AC_ARG_ENABLE([valgrind-tests],
+ [AC_HELP_STRING([--enable-valgrind-tests],
+ [run checks through valgrind for static library (default = no)])],
+ [case $enableval in
+ yes) AS_IF([test "x$enable_shared" != "xno"],
+ [AC_MSG_ERROR([Valgrind checks do not work with shared libraries; use --enable-valgrind-tests only with --disable-shared])],
+ [gl_VALGRIND_TESTS]
+ ) ;;
+ no) ;;
+ *) AC_MSG_ERROR([Bad value for --enable-valgrind-tests: Use yes or no]) ;;
+ esac
+ ]
+ )
# Setup CC and CFLAGS
AC_PROG_CC