diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-10-03 13:35:53 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-04 10:04:41 +0100 |
| commit | c73749c2195a9b322c0617e7412d83904c8abc93 (patch) | |
| tree | 68106956709a3d48199af09e999488d84b805b19 /lib | |
| parent | ee8234ee976cc7367f28eef658636915f56162a4 (diff) | |
| download | klee-c73749c2195a9b322c0617e7412d83904c8abc93.tar.gz | |
kleeModule: always link irreader (required since llvm 3.3)
Diffstat (limited to 'lib')
| -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 |