about summary refs log tree commit diff homepage
path: root/scripts/build
AgeCommit message (Expand)Author
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
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
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 17:50:57 +0000