diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-22 09:50:41 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2016-11-22 20:23:22 +0000 |
commit | c003a21a8fc1849e3661d6b7b996a26ae8edaea8 (patch) | |
tree | 75b5ffb3bd85e413d6ec5d9952c489be1562d772 /.dockerignore | |
parent | 699ad8c143983097cb24fac45c37f3246c7fab7b (diff) | |
download | klee-c003a21a8fc1849e3661d6b7b996a26ae8edaea8.tar.gz |
[CMake] Fix determining the system libraries needed by LLVM from
`llvm-config` when using LLVM 3.5 and newer. In newer versions of `llvm-config`, `--ldflags` doesn't give the system libraries anymore. Instead we need to use `--system-libs`. Issue reported by @ryosa .
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions