diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-12 10:23:34 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | 2b07721933d82f09c026134e0da52587f49d5df6 (patch) | |
| tree | 57f1cc4e2fb43933587b20e57b3425524f3307eb /tools | |
| parent | 3ca81c2dc3881aec0bbf94646c73a148d706c76d (diff) | |
| download | klee-2b07721933d82f09c026134e0da52587f49d5df6.tar.gz | |
Add support to build newer LLVM versions
`-DLLVM_ENABLE_PROJECTS` does not include runtimes anymore, instead a `-DLLVM_ENABLE_RUNTIMES` should be used in addition
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions