diff options
Diffstat (limited to 'dep/jemalloc/CMakeLists.txt')
| -rw-r--r-- | dep/jemalloc/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dep/jemalloc/CMakeLists.txt b/dep/jemalloc/CMakeLists.txt index fb68395a40b..42bc5fd51e4 100644 --- a/dep/jemalloc/CMakeLists.txt +++ b/dep/jemalloc/CMakeLists.txt @@ -8,9 +8,11 @@ # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. +include(CheckSymbolExists) + if(CMAKE_SYSTEM_NAME MATCHES "Linux" AND NOT NOJEM) # We need to generate the jemalloc_def.h header based on platform-specific settings - CHECK_SYMBOL_EXISTS(MADV_FREE "sys/mman.h" HAVE_MADV_FREE) + check_symbol_exists(MADV_FREE "sys/mman.h" HAVE_MADV_FREE) if (PLATFORM EQUAL 32) set(JEM_SIZEDEF 2) |