diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-06-16 20:30:00 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-02 17:30:55 +0100 |
| commit | 95cad2afcb5a25eec9774c30bc7f5deb77fa387b (patch) | |
| tree | 4ee56db0518c28a6c4ee6a61b8ec921505f8f77c /CMakeLists.txt | |
| parent | 418184ca8e35d6ced451d97fdcdda5b42ad14194 (diff) | |
| download | klee-95cad2afcb5a25eec9774c30bc7f5deb77fa387b.tar.gz | |
CMake: use cmake_{push,pop}_check_state
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 041e4143..99508bb2 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -186,6 +186,7 @@ include(CheckCXXSymbolExists) include(CheckIncludeFile) include(CheckIncludeFileCXX) include(CheckPrototypeDefinition) +include(CMakePushCheckState) include("${CMAKE_SOURCE_DIR}/cmake/string_to_list.cmake") include("${CMAKE_SOURCE_DIR}/cmake/klee_component_add_cxx_flag.cmake") include("${CMAKE_SOURCE_DIR}/cmake/add_global_flag.cmake") @@ -371,8 +372,10 @@ if (ENABLE_TCMALLOC) message(STATUS "TCMalloc support enabled") set(TCMALLOC_HEADER "gperftools/malloc_extension.h") find_path(TCMALLOC_INCLUDE_DIR "${TCMALLOC_HEADER}") + cmake_push_check_state() set(CMAKE_REQUIRED_INCLUDES "${TCMALLOC_INCLUDE_DIR}") check_include_file_cxx("${TCMALLOC_HEADER}" HAVE_GPERFTOOLS_MALLOC_EXTENSION_H) + cmake_pop_check_state() if (${HAVE_GPERFTOOLS_MALLOC_EXTENSION_H}) find_library(TCMALLOC_LIBRARIES NAMES tcmalloc tcmalloc_minimal |