diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-16 12:24:12 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-16 14:24:12 -0500 |
commit | 71c623be9ef67fef62e8bff6ef78af7696bfedc7 (patch) | |
tree | 8be48af5b007024dbfe679bfe715265c18e7a43c /test/unit | |
parent | fb00b860208a159d5fc57966d3ce600ba5b5346a (diff) |
cmake: Add CxxTest include directory to unit test includes. (#2642)
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
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) |