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 /scripts/IStatsSum.py | |
| 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 'scripts/IStatsSum.py')
0 files changed, 0 insertions, 0 deletions