diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-14 15:14:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-14 15:14:09 -0700 |
| commit | 2672db00c4fcc97a1a28516c031061bdcfd70bb5 (patch) | |
| tree | 9fcdeb4fdf0d25d9b3271fdbc67b2e9110a8b9cb /.travis.yml | |
| parent | ab2924e8a6cc34f29167b1ff50273d59dd7a6707 (diff) | |
Enable ccache compression, increase cache size (#1099)
This commit enables compression for ccache, increases the cache size to 1GB and
resets the ccache statistics before each run.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index e543141c0..359132fb1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -18,6 +18,7 @@ env: # via the "travis encrypt" command using the project repo's public key - secure: "fRfdzYwV10VeW5tVSvy5qpR8ZlkXepR7XWzCulzlHs9SRI2YY20BpzWRjyMBiGu2t7IeJKT7qdjq/CJOQEM8WS76ON7QJ1iymKaRDewDs3OhyPJ71fsFKEGgLky9blk7I9qZh23hnRVECj1oJAVry9IK04bc2zyIEjUYpjRkUAQ=" - TEST_GROUPS=2 + - CCACHE_COMPRESS=1 matrix: - TRAVIS_CVC4=yes TRAVIS_CVC4_CHECK_PORTFOLIO=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_JAVA_API_TEST=yes TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c --with-lfsc --with-portfolio --enable-gpl' - TRAVIS_CVC4=yes TRAVIS_CVC4_CHECK_PORTFOLIO=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_JAVA_API_TEST=yes TRAVIS_CVC4_CONFIG='debug --enable-language-bindings=java,c --with-lfsc --with-portfolio --enable-gpl --disable-debug-symbols' TEST_GROUP=0 @@ -59,6 +60,8 @@ before_script: - export JAVA_CPPFLAGS=-I$JAVA_HOME/include - ./autogen.sh script: + - ccache -M 1G + - ccache -z - ${CC} --version - ${CXX} --version - | |