diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-05 22:36:18 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
| commit | fcb5641d29b2e22bbd4034e51a1fe675b69bbf81 (patch) | |
| tree | 6c76c73d55da287aa08d5e2a27ea702864b9d8c8 /cmake | |
| parent | 3ab1012ba416dfc6932f6cfa09042c2897a301a5 (diff) | |
| download | klee-fcb5641d29b2e22bbd4034e51a1fe675b69bbf81.tar.gz | |
LLVM < 6 leftovers
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/find_llvm.cmake | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/cmake/find_llvm.cmake b/cmake/find_llvm.cmake index c3acf112..0f80a28b 100644 --- a/cmake/find_llvm.cmake +++ b/cmake/find_llvm.cmake @@ -175,9 +175,6 @@ else() set(targets_to_return "") set(created_targets "") foreach (llvm_lib ${_llvm_libs_list}) - # a bug in llvm-config from LLVM 3.9 - string(REGEX REPLACE "lib(libLLVM[-.a-zA-Z0-9]+\\.so)\\.so$" "\\1" llvm_lib "${llvm_lib}") - 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}") |