diff options
Diffstat (limited to 'unittests/Ref/CMakeLists.txt')
| -rw-r--r-- | unittests/Ref/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/unittests/Ref/CMakeLists.txt b/unittests/Ref/CMakeLists.txt new file mode 100644 index 00000000..d678930c --- /dev/null +++ b/unittests/Ref/CMakeLists.txt @@ -0,0 +1,6 @@ +add_klee_unit_test(RefTest + RefTest.cpp) +# FIXME: KLEE's libraries should just declare what libraries +# they depend on so we don't need to manually link. +klee_get_llvm_libs(LLVM_LIBS Support) +target_link_libraries(RefTest PRIVATE kleaverExpr ${LLVM_LIBS}) |