From 71c623be9ef67fef62e8bff6ef78af7696bfedc7 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 16 Oct 2018 12:24:12 -0700
Subject: [PATCH] cmake: Add CxxTest include directory to unit test includes.
 (#2642)

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

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 7c8e3d766..4ba7205a5 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -49,6 +49,7 @@ macro(cvc4_add_unit_test is_white name output_dir)
   # As a consequence, all build target names must be globally unique.
   add_executable(${name} ${test_src} ${test_header})
   target_link_libraries(${name} main-test)
+  target_include_directories(${name} PRIVATE ${CxxTest_INCLUDE_DIR})
   target_compile_definitions(${name} PRIVATE ${CVC4_CXXTEST_FLAGS_BLACK})
   if(${is_white})
     target_compile_options(${name} PRIVATE -fno-access-control)
-- 
2.30.2