about summary refs log tree commit diff homepage
path: root/scripts/build/v-klee.inc
AgeCommit message (Collapse)Author
2023-03-17Update build scriptsMartin Nowack
* Support for Ubuntu 22.04 * Remove support for Python2 * Better separation between sanitizer builds and non-sanitizer builds * Fix build of metaSMT on newer Ubuntu versions * Use ninja to build LLVM * Simplifying building arbitrary LLVM configurations, e.g. different LLVM sanitizer builds (MemSan, UBSan, ASan) * Use MemSan with origin tracking * Build sqlite3 container correctly * Add support to provide sqlite3 version number
2022-03-30Refactor cmake installation into own componentMartin Nowack
2020-10-12Add doxygen support in docker imagejiseongg
CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation
2019-07-30Provide klee runtime build type as parameterMartin Nowack
Allow to build klee runtime with different build parameters using the build script.
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-03-17Add libc++ as build dependency to KLEEMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 16:11:42 +0000