diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-13 13:30:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-17 15:43:21 +0000 |
| commit | dccfb3d1b62f0c00e3e16547f3d9ec02de49be52 (patch) | |
| tree | 327e597d11a84fe49e76bb12d6806ffddfcbda3a /scripts/build/common-functions | |
| parent | ae6da669e546d2ac0881da2c898c01f28b7ed7e2 (diff) | |
| download | klee-dccfb3d1b62f0c00e3e16547f3d9ec02de49be52.tar.gz | |
Cmake enhance detection of C++ libraries and include files
* Use directory instead of libc++ files * support `bca` and `ba` files * Add additional checks if directories exist
Diffstat (limited to 'scripts/build/common-functions')
0 files changed, 0 insertions, 0 deletions