From a038e4b651434dc57ef355625e7bf7364ded0b5d Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Sun, 27 May 2018 14:44:05 +0100
Subject: Add missing out-of-tree include files directory for TCMalloc

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1beaa30e..6019e428 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -386,6 +386,7 @@ if (ENABLE_TCMALLOC)
         "Found \"${TCMALLOC_HEADER}\" but could not find library")
     endif()
     list(APPEND KLEE_COMPONENT_EXTRA_LIBRARIES ${TCMALLOC_LIBRARIES})
+    list(APPEND KLEE_COMPONENT_EXTRA_INCLUDE_DIRS ${TCMALLOC_INCLUDE_DIR})
     if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU"))
       # TCMalloc's documentation says its safest to pass these flags when
       # building with gcc because gcc can optimize assuming its using its own
-- 
cgit 1.4.1