about summary refs log tree commit diff homepage
path: root/scripts/build
AgeCommit message (Collapse)Author
2022-03-30Avoid installing Python 2Martin Nowack
2022-03-30Remove support for old UbuntuMartin Nowack
2022-03-30Add support to `sudo` if necessaryMartin Nowack
Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
2022-03-22Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵Cristian Cadar
ENABLE_DOXYGEN=ON
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-09CI: add `-fno-sanitize-recover=undefined` to UBSAN flagsLukáš Zaoral
By default, UBSAN does not fail when it reports an error. Thus, the UBSAN CI was green even though there were some errors reported.
2022-03-09CI: drop `-fsanitize=integer` from UBSAN flagsLukáš Zaoral
When combined with `-fsanitize=undefined`, this flag only enables extra checks for unsigned integer overflow and (possibly bug-prone) implicit conversions between integer types. It was generating way too much noise (both for KLEE and its dependencies) and the reported problems do not lead to an undefined behaviour according to the C++ standard.
2022-03-09build: fix missing target for grepFrank Busse
2021-09-15Install git as a requirement for codecovMartin Nowack
Codecov depends on git to detect the SHA sum of the repository. Install as a dependency.
2021-09-10CI: Use the latest release of CMakeLukas Zaoral
2021-04-18tests: Do not add klee tools to PATH in litLukas Zaoral
It may happen that some older instance of klee is already present in PATH. All tests that call plain klee instead of %klee may use it and then unexpectedly fail. This commit will make all tests that rely on klee tools being explicitly in PATH fail in our CI. From now on, only LLVM tools, FileCheck and not will be in lit's PATH.
2020-12-02Use Github Actions as default CIMartin Nowack
2020-12-02Remove artificial timeouts as current timeout for build jobs is 6h.Martin Nowack
2020-12-02Rename `build-travis-container.py` into `build-ci-container.py`Martin Nowack
Update container build script to utilize Github Actions job description instead of Travis CI's.
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack
Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script.
2020-12-02Handle LLVM version selection more robustMartin Nowack
2020-12-02Use non-interactive inputMartin Nowack
2020-11-20p-klee.inc: libc++abi only needed for c++ exception supportJulian Büning
2020-11-04[build] Add multilib package to build 32bit on ubuntuMartin Nowack
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12fix building klee-cxxabiJulian Büning
Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
2020-10-12Add doxygen support in docker imagejiseongg
CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation
2020-10-12Remove unused cmake arguments when building dockerjiseongg
CMake Warning: Manually-specified variables were not used by the project: LLVM_DIR
2020-09-30Add check if KLEE is installedMartin Nowack
2020-09-30Remove shebang from includeMartin Nowack
2020-09-30Fix LLVM 4.0 build patchMartin Nowack
2020-09-30Fix docker ID handling for sqliteMartin Nowack
2020-09-30Fix check if sqlite is installed under ubuntu as a systems packageMartin Nowack
2020-09-30Fix check if LLVM is installedMartin Nowack
2020-09-30Reduce compile time and size for LLVM buildMartin Nowack
* 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
2020-09-30Reduce the size of the libcxx imageMartin Nowack
* re-use an existing LLVM directory if possible * only export the bitcode files
2020-09-30Remove explicit dependency on llvm and sanitizerMartin Nowack
Clang is just a compiler and can be provided by system-specific packages.
2020-09-30Fix detection of installed clangMartin Nowack
Any clang is fine as long as it is the right version. The current assumption is that it is suffixed with version.
2020-09-30Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linkingMartin Nowack
These arguments are not required and let the link process fail. Instead, clang(++) should be used as a linker and it will take care of linking with the correct libraries.
2020-09-30Delete Docker instance after system detection ranMartin Nowack
Don't keep the docker instance for detecting the system around to avoid stale terminated containers.
2020-09-30Replace travis container build script with python-based versionMartin Nowack
2020-09-05Fix codecov uploadMartin Nowack
Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported
2020-06-26Switch to a more recent version of SQLite in the CICristian Cadar
2020-03-31Don't search for CryptoMiniSAT when configuring STPCristian Cadar
2020-02-24fix p-llvm.inc: invocation for monorepo directory layoutJulian Büning
2020-02-13Update Docker image template for KLEE.Martin Nowack
* Port changes from .Dockerfile to this * install emacs-nox and vim-nox instead of pulling all X dependencies * Clean apt cache
2020-02-13Use system's boost when building metasmt and user newer boolector versionMartin Nowack
2020-02-13Do not wait if SANITIZER_BUILD is emptyMartin Nowack
2020-02-13Add llvm as build dependency of clang in case no system packages are availableMartin Nowack
2020-02-13Add patch support for libcxxMartin Nowack
Building older LLVM/libcxx versions under Ubuntu 18.04 requirer patches
2020-02-13Use git repository to build LLVMMartin Nowack
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
2020-02-13Update ubuntu build dependencies for KLEEMartin Nowack
Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up.
2020-01-28updatecomet
2020-01-08Link python3 on macOSCristian Cadar
2019-11-26remove python2 from osx CIFelix Rath
Python 2 should not be needed anymore, so we remove it from osx CI.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-28 03:40:30 +0000