diff options
| author | Vladislav Vaintroub <wlad@sun.com> | 2010-06-21 13:39:30 +0200 |
|---|---|---|
| committer | Vladislav Vaintroub <wlad@sun.com> | 2010-06-21 13:39:30 +0200 |
| commit | 97d36ef532d4f0e9cd64eeb314167ff45a00ac6d (patch) | |
| tree | 58ae60fc53279f63640fbfdbe29ce6e6b60ab3c8 /configure.cmake | |
| parent | e475440f1b2e8cee42b8594b4f957c0cc96bb118 (diff) | |
| download | mariadb-git-97d36ef532d4f0e9cd64eeb314167ff45a00ac6d.tar.gz | |
Bug#53593: Add some instrumentation to improve Valgrind sensitivity.
Implement WITH_VALGRIND for the CMake build.
Diffstat (limited to 'configure.cmake')
| -rw-r--r-- | configure.cmake | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/configure.cmake b/configure.cmake index 1727e2b2c10..246133f1fbe 100644 --- a/configure.cmake +++ b/configure.cmake @@ -777,7 +777,7 @@ ENDIF(NOT HAVE_POSIX_SIGNALS) # Assume regular sprintf SET(SPRINTFS_RETURNS_INT 1) -IF(CMAKE_COMPILER_IS_GNUXX) +IF(CMAKE_COMPILER_IS_GNUCXX) CHECK_CXX_SOURCE_COMPILES(" #include <cxxabi.h> int main(int argc, char **argv) @@ -969,6 +969,14 @@ configuration. By default gcc built-in sync functions are used, if available and 'smp' configuration otherwise.") MARK_AS_ADVANCED(WITH_ATOMIC_LOCKS MY_ATOMIC_MODE_RWLOCK MY_ATOMIC_MODE_DUMMY) +IF(WITH_VALGRIND) + CHECK_INCLUDE_FILES("valgrind/memcheck.h;valgrind/valgrind.h" + HAVE_VALGRIND_HEADERS) + IF(HAVE_VALGRIND_HEADERS) + SET(HAVE_VALGRIND 1) + ENDIF() +ENDIF() + #-------------------------------------------------------------------- # Check for IPv6 support #-------------------------------------------------------------------- |