From fb493dabbf060a2a00084f3e9ed44a12937a0d30 Mon Sep 17 00:00:00 2001
From: Chris Ryder <chris.ryder@diffblue.com>
Date: Fri, 17 Nov 2017 12:24:12 +0000
Subject: [PATCH] Fixups for ccache configuration in travis

* Clear the cache stats before starting a build to get more accurate
stats at the end of the build.
* Ensure ccache is installed on OS X hosts
---
 .travis.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 47296a8b5e3..8b1e9c98a0f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -177,6 +177,8 @@ jobs:
           packages:
             - g++-5
       install:
+        - ccache -z
+        - ccache --max-size=1G
         - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_CXX_COMPILER=g++-5'
         - cmake --build build -- -j4
       script: (cd build; ctest -V -L CORE)
@@ -184,10 +186,15 @@ jobs:
     - stage: Test different OS/CXX/Flags
       os: osx
       cache: ccache
+      before_install:
+        - HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache
+        - export PATH=/usr/local/opt/ccache/libexec:$PATH
       env:
         - BUILD_SYSTEM=cmake
         - CCACHE_CPP2=yes
       install:
+        - ccache -z
+        - ccache --max-size=1G
         - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_OSX_ARCHITECTURES=x86_64'
         - cmake --build build -- -j4
       script: (cd build; ctest -V -L CORE)
@@ -235,6 +242,7 @@ jobs:
     - <<: *linter-stage
 
 install:
+  - ccache -z
   - ccache --max-size=1G
   - make -C src minisat2-download
   - make -C src/ansi-c library_check