From c73749c2195a9b322c0617e7412d83904c8abc93 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Wed, 3 Oct 2018 13:35:53 +0200
Subject: kleeModule: always link irreader (required since llvm 3.3)

---
 lib/Module/CMakeLists.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'lib/Module')

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
-- 
cgit 1.4.1