diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /cmake | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
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 |