diff options
Diffstat (limited to 'lib/Expr/CMakeLists.txt')
| -rw-r--r-- | lib/Expr/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Expr/CMakeLists.txt b/lib/Expr/CMakeLists.txt index 6ea77544..c7dbb8b7 100644 --- a/lib/Expr/CMakeLists.txt +++ b/lib/Expr/CMakeLists.txt @@ -21,3 +21,9 @@ klee_add_component(kleaverExpr Parser.cpp Updates.cpp ) + +set(LLVM_COMPONENTS + support +) +klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS}) +target_link_libraries(kleaverExpr PUBLIC ${LLVM_LIBS}) |