From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 16 Oct 2018 19:24:12 +0000 (-0700)
Subject: cmake: Add CxxTest include directory to unit test includes. (#2642)
X-Git-Tag: cvc5-1.0.0~4415
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=71c623be9ef67fef62e8bff6ef78af7696bfedc7;p=cvc5.git

cmake: Add CxxTest include directory to unit test includes. (#2642)
---

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)