diff options
| author | Martin Nowack <martin_nowack@tu-dresden.de> | 2018-01-27 22:04:46 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-01-30 22:09:00 +0000 |
| commit | c4a8b2901160568fba95b33d73a7792e0ba32c50 (patch) | |
| tree | 895b08c9d65717d5ed5703a2e3f4175e3b19e26b /.travis.yml | |
| parent | e432297c3e43a476a6d97b6f1bf39bb2859816ce (diff) | |
| download | klee-c4a8b2901160568fba95b33d73a7792e0ba32c50.tar.gz | |
Enable caching for travis-ci
* Use ccache for building * Implement caching of locally build brew packages
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 01bac7a1..7f7d236c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -100,6 +100,7 @@ addons: - lcov cache: + ccache: true apt: true directories: - $HOME/Library/Caches/Homebrew @@ -110,7 +111,7 @@ before_install: ########################################################################### # Update package information - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update; fi - - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap klee/klee; fi + - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap klee/klee && brew install ccache && export PATH="/usr/local/opt/ccache/libexec:$PATH" ; fi ########################################################################### # Set up out of source build directory ########################################################################### |