diff options
| author | jackpoz <giacomopoz@gmail.com> | 2015-06-20 22:54:53 +0200 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2015-06-20 23:01:53 +0200 |
| commit | 60a29f761467c0ac76129f2f761ca0de9e7d237d (patch) | |
| tree | d6c1fffbd0d645d8a675f3f4c5c4788b4d24db78 | |
| parent | d5c84d5aaafdb3960e0f497168bcf87c0ae93702 (diff) | |
Core/Misc: Add valgrind support for jemalloc
Set CMake option VALGRIND to add valgrind support to jemalloc. Set CMake parameter VALGRIND_INCLUDE_DIR to the valgrind include directory.
| -rw-r--r-- | cmake/showoptions.cmake | 7 | ||||
| -rw-r--r-- | dep/jemalloc/CMakeLists.txt | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/cmake/showoptions.cmake b/cmake/showoptions.cmake index bb848a2a9c0..3136730a6b4 100644 --- a/cmake/showoptions.cmake +++ b/cmake/showoptions.cmake @@ -106,6 +106,13 @@ if ( NOJEM ) message(" *** jemalloc linking has been disabled!") message(" *** Please note that this is for DEBUGGING WITH VALGRIND only!") message(" *** DO NOT DISABLE IT UNLESS YOU KNOW WHAT YOU'RE DOING!") +elseif ( VALGRIND ) + message("") + message(" *** VALGRIND - WARNING!") + message(" *** jemalloc will be configured to support Valgrind") + message(" *** Please specify the valgrind include directory in VALGRIND_INCLUDE_DIR option if you get build errors") + message(" *** Please note that this is for DEBUGGING WITH VALGRIND only!") + add_definitions(-DJEMALLOC_VALGRIND) endif() if ( HELGRIND ) diff --git a/dep/jemalloc/CMakeLists.txt b/dep/jemalloc/CMakeLists.txt index db3c18dbb02..8f0692fc82c 100644 --- a/dep/jemalloc/CMakeLists.txt +++ b/dep/jemalloc/CMakeLists.txt @@ -53,6 +53,7 @@ set(jemalloc_STAT_SRC include_directories( ${BUILDDIR}/ ${CMAKE_CURRENT_SOURCE_DIR}/include + ${VALGRIND_INCLUDE_DIR} ) add_definitions(-D_GNU_SOURCE -D_REENTRANT) |