diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-27 19:47:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-27 19:47:25 -0700 |
| commit | f939b41b2710ea2020a646b2f1a018fb9c78ff8c (patch) | |
| tree | d3e11538a1783daa896b54fb102b2467b6f3f77d /test | |
| parent | 4a9e21371a5012285114126cab1dbce18fdcec6c (diff) | |
cmake: Add CxxTest finder module to allow custom paths. (#2542)
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/CMakeLists.txt | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 4bcb97c8e..d362870c1 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -1,3 +1,9 @@ +# Note: We use our custom CxxTest finder here to specify custom directories and +# fail if it is not found in the specified directory (similar to the other +# custom finder modules). +set(CxxTest_HOME ${CXXTEST_DIR}) +find_package(CxxTest REQUIRED) + include_directories(.) include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) @@ -33,9 +39,9 @@ macro(cvc4_add_unit_test is_white name output_dir) OUTPUT ${test_src} DEPENDS ${test_header} COMMAND - ${CXXTEST_TESTGEN_INTERPRETER} - ${CXXTEST_TESTGEN_EXECUTABLE} - ${CXXTEST_TESTGEN_ARGS} -o ${test_src} ${test_header} + ${CxxTest_TESTGEN_INTERPRETER} + ${CxxTest_TESTGEN_EXECUTABLE} + ${CxxTest_TESTGEN_ARGS} -o ${test_src} ${test_header} ) set_source_files_properties(${test_src} PROPERTIES GENERATED true) # The build target is created without the path prefix (not supported), |