From 8b0ac06e13ee67b983bbb2491102971cc52d5391 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 9 Dec 2016 18:40:00 +0000
Subject: [CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC` and
 then re-configured with `ENABLE_TCMALLOC` set to OFF then
 `klee/Config/config.h` was not correctly re-generated.

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 68e83733..2dc2cc2f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -432,6 +432,8 @@ if (ENABLE_TCMALLOC)
     message(FATAL_ERROR "Can't find \"${TCMALLOC_HEADER}\"")
   endif()
 else()
+  unset(HAVE_GPERFTOOLS_MALLOC_EXTENSION_H)
+  unset(HAVE_GPERFTOOLS_MALLOC_EXTENSION_H CACHE)
   message(STATUS "TCMalloc support disabled")
 endif()
 
-- 
cgit 1.4.1