| Age | Commit message (Collapse) | Author |
|---|
|
In commit 2b07721, support was added to p-libcxx.inc & p-llvm.inc
for LLVM versions 14+ (in which, apparently, certain build flags
were changed). To detect these recent versions, the variable
LLVM_VERSION_SHORT was compared numerically to "14"-- the intent
obviously being to express "LLVM version 14 or later".
However, in both v-clang.inc & v-llvm.inc, LLVM_VERSION_SHORT
is defined as the concatenation of LLVM_VERSION_MAJOR and
LLVM_VERSION_MINOR. Therefore, on a machine with, say, LLVM
13.0 installed, LLVM_VERSION_SHORT will be "130" which compares
as larger than "14".
This patch changes the comparison to be against "140".
|
|
`-DLLVM_ENABLE_PROJECTS` does not include runtimes anymore,
instead a `-DLLVM_ENABLE_RUNTIMES` should be used in addition
|
|
* 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
|
|
All three can be different but also provided by the same package.
By separating the different use-cases, it allows to set them
independently.
|
|
|
|
* Just target x86 as architecture
* do not build tests for clang
* use optimized tablegen
* only build required tools and libraries that are needed by KLEE
|
|
|
|
LLVM changed from svn to github. Use the github mirror to have faster build times.
Patches were updated to follow the new structure.
Patches also support building underr Ubuntu 18.04
|
|
mostly following shellcheck
|
|
|
|
Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.
|
