about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Collapse)Author
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-17Update objdump script to support python3Martin Nowack
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.
2019-10-29Travis: double timeout for MetaSMT testsFrank Busse
2019-10-16Add missing file utility in docker imageMartin Nowack
2019-09-09fix minor build script issues and inconsistenciesJulian Büning
mostly following shellcheck
2019-09-05build: additional patches for LLVM 3.8-5.0Julian Büning
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-08Use newer versions of solver components used by MetaSMTMartin Nowack
Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined
2019-04-08Propagate correct version of metasmt to build scriptMartin Nowack
2019-04-08Add LD_LIBRARY_PATH to docker imageGerben Oolbekkink
Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 08:51:49 +0000