diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-04 20:39:47 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 20:22:12 +0000 |
| commit | 62e27ff8cad97c12f3051a5fdcf8cd4aade96894 (patch) | |
| tree | e718b5182beaf2887d06fba00f2f8be9bd265ec4 /unittests/CMakeLists.txt | |
| parent | acb90dc2d8cdf104740099a2d8773f5022194622 (diff) | |
| download | klee-62e27ff8cad97c12f3051a5fdcf8cd4aade96894.tar.gz | |
unittests/TestMain: show stack trace on error
Diffstat (limited to 'unittests/CMakeLists.txt')
| -rw-r--r-- | unittests/CMakeLists.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index d21e6ad2..faf43a44 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -174,11 +174,21 @@ message(STATUS "GTEST_INCLUDE_DIR: ${GTEST_INCLUDE_DIR}") add_library(unittest_main) target_sources(unittest_main PRIVATE "${CMAKE_CURRENT_SOURCE_DIR}/TestMain.cpp") -target_link_libraries(unittest_main PUBLIC gtest) +klee_get_llvm_libs(UNITTEST_MAIN_LIBS Support) +target_link_libraries(unittest_main + PUBLIC + gtest + + PRIVATE + ${UNITTEST_MAIN_LIBS} +) target_include_directories(unittest_main PUBLIC ${GTEST_INCLUDE_DIR} ${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS} + + PRIVATE + ${LLVM_INCLUDE_DIRS} ) target_compile_definitions(unittest_main PUBLIC ${KLEE_COMPONENT_CXX_DEFINES}) target_compile_options(unittest_main PUBLIC ${KLEE_COMPONENT_CXX_FLAGS}) |