diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/find_llvm.cmake | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/cmake/find_llvm.cmake b/cmake/find_llvm.cmake index 8ceed19f..02c99960 100644 --- a/cmake/find_llvm.cmake +++ b/cmake/find_llvm.cmake @@ -12,10 +12,8 @@ # * llvm-config executable. This method is portable across LLVM build systems # (i.e. works if LLVM was built with autoconf/Makefile or with CMake). # -# * find_package(LLVM CONFIG). This method only works if LLVM was built with -# CMake or with LLVM >= 3.5 when built with the autoconf/Makefile build system -# This method relies on the `LLVMConfig.cmake` file generated to be generated -# by LLVM's build system. +# * find_package(LLVM CONFIG). This method relies on the `LLVMConfig.cmake` file +# generated by LLVM's build system. # #===------------------------------------------------------------------------===# @@ -26,11 +24,7 @@ if (USE_CMAKE_FIND_PACKAGE_LLVM) # Provide function to map LLVM components to libraries. function(klee_get_llvm_libs output_var) - if (${LLVM_PACKAGE_VERSION} VERSION_LESS "3.5") - llvm_map_components_to_libraries(${output_var} ${ARGN}) - else() - llvm_map_components_to_libnames(${output_var} ${ARGN}) - endif() + llvm_map_components_to_libnames(${output_var} ${ARGN}) set(${output_var} ${${output_var}} PARENT_SCOPE) endfunction() # HACK: This information is not exported so just pretend its OFF for now. @@ -154,14 +148,7 @@ else() string_to_list("${_llvm_libs}" _llvm_libs_list) # Now find the system libs that are needed. - if (${LLVM_PACKAGE_VERSION} VERSION_LESS "3.5") - # For LLVM 3.4 and older system libraries - # appeared in the output of `--ldflags`. - _run_llvm_config(_system_libs "--ldflags") - # TODO: Filter out `-L<path>` flag. - else() - _run_llvm_config(_system_libs "--system-libs") - endif() + _run_llvm_config(_system_libs "--system-libs") string_to_list("${_system_libs}" _system_libs_list) # Create an imported target for each LLVM library |