| Age | Commit message (Collapse) | Author |
|---|
|
LLVM became more complex, use LLVM's CMake functionality directly instead
of replicating this behaviour in KLEE's build system.
Use the correct build flags provided by LLVM itself.
This is influenced by the way LLVM is built in the first place.
Remove older CMake support (< 3.0).
|
|
Linking with Z3 might fail if Z3 is built with UBSan as parts of Z3 are
written in C++.
Check explicitly with a C++ compiler.
|
|
|
|
`ENABLE_SOLVER_Z3` to be set dynamically based on whether Z3 is
available. Previously the default was always off.
|
