diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-25 14:00:43 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-06-11 11:10:52 +0100 |
| commit | c75e42a6bdf38e8dff13fd34f6cf160b437f2c84 (patch) | |
| tree | 853d1872523ef6ecabe106d265d6bd00e250fc59 /cmake/find_llvm.cmake | |
| parent | d4787aa0d8e41a886004ab195a49bfcfce30cede (diff) | |
| download | klee-c75e42a6bdf38e8dff13fd34f6cf160b437f2c84.tar.gz | |
cmake: find_llvm, handle libLLVM-version.so properly
Some builds of llvm contain a lib like this: /usr/lib64/libLLVM-3.9.so Extend the regular expression, so that we really return what we are supposed to. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'cmake/find_llvm.cmake')
| -rw-r--r-- | cmake/find_llvm.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/find_llvm.cmake b/cmake/find_llvm.cmake index 49ca51d4..adf68c4f 100644 --- a/cmake/find_llvm.cmake +++ b/cmake/find_llvm.cmake @@ -173,7 +173,7 @@ else() set(created_targets "") foreach (llvm_lib ${_llvm_libs_list}) get_filename_component(llvm_lib_file_name "${llvm_lib}" NAME) - string(REGEX REPLACE "^(lib)?(LLVM[a-zA-Z0-9]+)\\..+$" "\\2" target_name "${llvm_lib_file_name}") + string(REGEX REPLACE "^(lib)?(LLVM[-.a-zA-Z0-9]+)\\..+$" "\\2" target_name "${llvm_lib_file_name}") list(APPEND targets_to_return "${target_name}") if (NOT TARGET "${target_name}") # DEBUG: message(STATUS "Creating imported target \"${target_name}\"" " for \"${llvm_lib}\"") |