diff options
| -rw-r--r-- | unittests/KDAlloc/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unittests/KDAlloc/CMakeLists.txt b/unittests/KDAlloc/CMakeLists.txt index 2bb2ebe8..87d016d7 100644 --- a/unittests/KDAlloc/CMakeLists.txt +++ b/unittests/KDAlloc/CMakeLists.txt @@ -5,6 +5,7 @@ add_klee_unit_test(KDAllocTest rusage.cpp sample.cpp stacktest.cpp) -target_compile_definitions(KDAllocTest PUBLIC "-DKDALLOC_CHECKED" "-DUSE_KDALLOC" "-DUSE_GTEST_INSTEAD_OF_MAIN") +target_compile_definitions(KDAllocTest PRIVATE KDALLOC_CHECKED USE_KDALLOC USE_GTEST_INSTEAD_OF_MAIN) target_compile_definitions(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) target_compile_options(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) +target_include_directories(KDAllocTest PRIVATE ${KLEE_INCLUDE_DIRS}) \ No newline at end of file |