diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-21 15:13:04 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-22 20:23:22 +0000 |
| commit | 7214ec6a8caf4cfd021a09527e7d17fb493729c6 (patch) | |
| tree | 7c03e1c96ca6eb6c2a45d71a99d610b023d30076 /scripts/IStatsSum.py | |
| parent | ba6963ce1e4b84bf4bdb7bb5ab7e9a683db14b63 (diff) | |
| download | klee-7214ec6a8caf4cfd021a09527e7d17fb493729c6.tar.gz | |
[CMake] Fix link order of LLVM libraries and required system libraries.
Now LLVM libraries are added as imported targets and their link dependencies are explicitly stated so CMake can get the link order correct.
Diffstat (limited to 'scripts/IStatsSum.py')
0 files changed, 0 insertions, 0 deletions