diff options
| -rw-r--r-- | lib/Module/CMakeLists.txt | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt index a549d60a..4347b67d 100644 --- a/lib/Module/CMakeLists.txt +++ b/lib/Module/CMakeLists.txt @@ -26,14 +26,11 @@ set(LLVM_COMPONENTS bitwriter codegen ipo + irreader linker support ) -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}) target_link_libraries(kleeModule PUBLIC ${LLVM_LIBS}) target_link_libraries(kleeModule PRIVATE |