diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:29:24 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | 1eddf2d847d609df991859625571e2abf96fe580 (patch) | |
| tree | f77c234412c990a56d815558621428d8fd7082ad /CMakeLists.txt | |
| parent | 2e8d6aed747a988871b6836012301708950a74ef (diff) | |
| download | klee-1eddf2d847d609df991859625571e2abf96fe580.tar.gz | |
Add patch support for libcxx
Building older LLVM/libcxx versions under Ubuntu 18.04 requirer patches
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions