about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Collapse)Author
2021-09-10llvm12: Add LLVM 12 to Travis CI and GitHub ActionsLukas Zaoral
2020-12-04llvm11: Add LLVM 11 to GitHub Actions and Travis CILukas Zaoral
2020-11-23Use a more recent version of macOSCristian Cadar
2020-10-30Use the default version of LLVM for the macOS Travis targetCristian Cadar
2020-10-12Add `ENABLE_DOXYGEN=0` to default config in .travis.ymljiseongg
Since `ENABLE_DOXYGEN=1` is deafult in Dockerfile, it'll be tested in the job `Docker`
2020-09-30Use LLVM 6.0 for now on macOSMartin Nowack
C++ static destructors are currently not supported for newer LLVM version. Keep older LLVM version until issue is fixed.
2020-09-30Disable libc++ for LLVM 3.8 Travis CI targetMartin Nowack
The build support for libc++ for LLVM 3.8 is broken. It's not worth fixing.
2020-09-30Set default LLVM version to 9.0Martin Nowack
Use newer LLVM version 9.0 instead of 6.0. Update to newer Ubuntu base image.
2020-09-05Remove secure varsCristian Cadar
2020-09-04Update homebrew cacheMartin Nowack
2020-09-04Remove caching of homebrew-built packagesMartin Nowack
The new build script doesn't use that facility anymore. Remove it to avoid interfirence with ccache.
2020-09-04Use homebrew packages provided by TravisMartin Nowack
Recently, Homebrew packages can be installed via `.travis.yml`. Use this functionality instead of calling brew directly. Hopefully works around the build issue.
2020-09-03Change the way bash is upgraded on macOS.Cristian Cadar
2020-04-20Consistently define variable using notation VAR=value; fixed comment placementCristian Cadar
2020-04-20Named jobs in Travis CI for better visualization of resultsCristian Cadar
2020-03-02travis: add LLVM 10.0Julian Büning
2020-02-13Use a newer Ubuntu 18.04 from the year 2020 to build KLEEMartin Nowack
2019-11-04Use default travis OS X version instead of outdated old oneMartin Nowack
2019-10-31enable testing for LLVM 9.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-06-04Fixed incorrect comment in Travis file, we now use STP 2.3.3Cristian Cadar
2019-04-08Use newer version of metaSMT in travis buildMartin Nowack
2019-04-05Add docker build as target.Martin Nowack
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-18Update dependenciesMartin Nowack
2019-03-17Use newer uclibc version: libc++ requires locale support activatedMartin Nowack
2019-03-17Add travis support to build with libc++Martin Nowack
Enable libc++ support by default but disable for LLVM < 3.7 as not supported. Disable support for Mac OSX: wllvm is not working well with dylib but Mac OSX currently requires dynamic version compiled. In general it should be possible, maybe later version.
2019-03-12Enable MSan Travis CI jobMartin Nowack
2019-03-11Add LLVM 8.0 targetMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
2018-11-11Use LLVM 4 for Mac BuildMartin Nowack
2018-10-26travis: enable LLVM 7 testingJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-10-26travis: enable LLVM 6 testingJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-10-26travis: enable LLVM 5 testingJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-18travis: enable LLVM 4 testingJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-14travis CI: add LLVM 3.9 build testsJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-06Build on trusty without sudo - uses faster Docker infrastructure from TravisCIMartin Nowack
2018-07-12travis CI: add LLVM 3.8 build testsJiri Slaby
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-07-12Fix uploading of coverage information from inside of dockerMartin 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-24llvm37: enable travis testingJiri Slaby
Suggested by @MartinNowack in #681. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-04-17Change llvm apt repository to enable llvm 3.7+Timotej Kapus
2018-01-30Enable caching for travis-ciMartin Nowack
* Use ccache for building * Implement caching of locally build brew packages
2018-01-16[Travis-CI] Added codecov.io supportAndrea Mattavelli
2017-12-05Move Homebrew tap from personal repository to the KLEE organizationAndrea Mattavelli
2017-12-05Updated TravisCI to use pip2 instead of pipAndrea Mattavelli
2017-12-05Bumped xcode version for TravisCIAndrea Mattavelli
2017-10-17[travis] update scripts to additionally test CVC4 and Yices2Hoang M. Le
2017-10-04Fix TravisCI `METASMT_DEFAULT` setting.Dan Liew
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
configuration, TravisCI scripts and Dockerfile build appropriately. There are a bunch of clean ups this enables but this commit doesn't attempt them. We can do that in future commits.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 16:14:14 +0000