klee/klee
CMakeLists.txt
:278
check_include_file_CXX("${TCMALLOC_HEADER}" HAVE_GPERFTOOLS_MALLOC_EXTENSION_H)
check_include_file_CXX("${TCMALLOC_HEADER}" HAVE_GPERFTOOLS_MALLOC_EXTENSION_H)
unset(HAVE_GPERFTOOLS_MALLOC_EXTENSION_H)
unset(HAVE_GPERFTOOLS_MALLOC_EXTENSION_H CACHE)