diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kleaver/CMakeLists.txt | 7 | ||||
| -rw-r--r-- | tools/klee/CMakeLists.txt | 28 |
2 files changed, 7 insertions, 28 deletions
diff --git a/tools/kleaver/CMakeLists.txt b/tools/kleaver/CMakeLists.txt index befbcc6e..54452fff 100644 --- a/tools/kleaver/CMakeLists.txt +++ b/tools/kleaver/CMakeLists.txt @@ -10,9 +10,10 @@ add_executable(kleaver main.cpp ) -klee_get_llvm_libs(LLVM_LIBS support) -set(KLEE_LIBS kleeBasic kleaverSolver kleaverExpr kleeSupport) +set(KLEE_LIBS + kleaverSolver +) -target_link_libraries(kleaver ${KLEE_LIBS} ${LLVM_LIBS}) +target_link_libraries(kleaver ${KLEE_LIBS}) install(TARGETS kleaver RUNTIME DESTINATION bin) diff --git a/tools/klee/CMakeLists.txt b/tools/klee/CMakeLists.txt index 1f9fe63f..9c8c2192 100644 --- a/tools/klee/CMakeLists.txt +++ b/tools/klee/CMakeLists.txt @@ -10,33 +10,11 @@ add_executable(klee main.cpp ) -# FIXME: This shouldn't be done here. Instead the KLEE libraries -# should declare their LLVM dependencies. -set(LLVM_COMPONENTS - bitreader - bitwriter - ipo - linker - support +set(KLEE_LIBS + kleeCore ) -if ("${LLVM_PACKAGE_VERSION}" VERSION_EQUAL "3.6" OR - "${LLVM_PACKAGE_VERSION}" VERSION_GREATER "3.6") - list(APPEND LLVM_COMPONENTS mcjit executionengine native) -else() - list(APPEND LLVM_COMPONENTS jit engine) -endif() - -if ("${LLVM_PACKAGE_VERSION}" VERSION_EQUAL "3.3" OR - "${LLVM_PACKAGE_VERSION}" VERSION_GREATER "3.3") - list(APPEND LLVM_COMPONENTS irreader) -endif() - -klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS}) - -set(KLEE_LIBS kleeCore kleeBasic kleeModule kleaverSolver kleaverExpr kleeSupport) - -target_link_libraries(klee ${KLEE_LIBS} ${LLVM_LIBS}) +target_link_libraries(klee ${KLEE_LIBS}) install(TARGETS klee RUNTIME DESTINATION bin) |