about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Collapse)Author
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.
2019-04-05Add missing dependency for tabulate packageMartin Nowack
2019-04-05Remove CC as requirement; automatically set by sanitizer_compilerMartin Nowack
Update build sqlite script
2019-04-04Fix SQLite OSXTimotej Kapus
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-04-04add tabulate to OSX buildFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Change the .stats format into sqlite3Timotej Kapus
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-17Fix `true` invocation in case docker image could not be pushedMartin Nowack
2019-03-17Add libc++ as build dependency to KLEEMartin Nowack
2019-03-17Add support for libc++ as part of the build.sh scriptsMartin Nowack
2019-03-17Generalise clang package detection for linux and mac osxMartin Nowack
2019-03-12Add integer sanitizer to UBSanMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
2019-03-05remove klee-clang, use wllvm/gllvm insteadFrank Busse
2018-12-19Travis OSX: install Python 3.xFrank Busse
2018-11-11Use LLVM 4 for Mac BuildMartin Nowack
2018-10-07Workaround for flaky coverageMartin Nowack
Merge unittest coverage results and system tests coverage results into one coverage report.
2018-09-27Revert lit to 0.6.0 version, as 0.7.0 misbehavesCristian Cadar
2018-09-06llvm36.patch: fix build for newer glibc/gcc versionsFrank Busse
2018-08-12llvm.sh: fix patch source pathsFrank Busse
2018-07-12Fix uploading of coverage information from inside of dockerMartin Nowack
2018-07-11Add missing curlMartin Nowack
2018-07-11Fix slow Mac Travis build: wildcard is not expanded with quotesMartin Nowack
2018-07-04Extensive updates to the build script for dependencies and dockerMartin Nowack
Building/managing dependencies of KLEE are not easy. This script should change this. Features: * script install different versions in their specific directories This allows: - to have different versions in parallel installed: llvm, solvers - to have different optimization levels installed (Debug, no-debug, assertions, optimized) - to have different versions of instrumentation enabled (address, memory, leakage, undefined behavior) * the script is kept distribution agnostic: assuming basic packages are installed (a compiler), use `scripts/build/ubuntu-dependencies.sh` to install ubuntu specific ones * the script does not install any file into system directories (sudo is not required) files are only installed into a user specified BASE directory The same scripts are used for either local setup (`scripts/build/local_install.sh`) or create a docker image based of your current source folder (`scripts/build/build_docker.sh`) Change the defaults permanently by modifying (`scripts/build/common-defaults.sh`) or change them on the fly by providing them as environment variables on the command line. The same scripts are also used for TravisCI, so we test what we are using.
2018-05-18Delete coverageServer.pyTimotej Kapus
Delete the old coverage gathering code. Unneccessary with move to codecov.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 13:11:03 +0000