about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--tools/klee/CMakeLists.txt9
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/klee/CMakeLists.txt b/tools/klee/CMakeLists.txt
index b6e907ab..1f9fe63f 100644
--- a/tools/klee/CMakeLists.txt
+++ b/tools/klee/CMakeLists.txt
@@ -15,13 +15,18 @@ add_executable(klee
 set(LLVM_COMPONENTS
 	bitreader
 	bitwriter
-	engine
 	ipo
-	jit
 	linker
 	support
 )
 
+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)