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 /runtime | |
| 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 'runtime')
0 files changed, 0 insertions, 0 deletions