Merge pull request diffblue#77 from diffblue/feature/enable-cache

Enable ccache on Travis

Author: forejtv

.travis.yml

@@ -11,20 +11,27 @@ matrix:
     - os: osx
       sudo: false
       compiler: gcc
-      before_install: brew install jq
-      env: COMPILER=g++
+      cache: ccache
+      before_install:
+        - brew install jq ccache
+        - export PATH=/usr/local/opt/ccache/libexec:$PATH
+      env: COMPILER="ccache g++"
 
     # OS X using clang++
     - os: osx
       sudo: false
       compiler: clang
-      before_install: brew install jq
-      env: COMPILER=clang++
+      cache: ccache
+      before_install:
+        - brew install jq ccache
+        - export PATH=/usr/local/opt/ccache/libexec:$PATH
+      env: COMPILER="ccache clang++ -Qunused-arguments -fcolor-diagnostics"
 
     # Ubuntu Linux with glibc using g++-5
     - os: linux
       sudo: false
       compiler: gcc
+      cache: ccache
       addons:
         apt:
           sources:
@@ -35,12 +42,13 @@ matrix:
             - libubsan0
       before_install:
         - mkdir bin ; ln -s /usr/bin/gcc-5 bin/gcc
-      env: COMPILER=g++-5
+      env: COMPILER="ccache g++-5"
 
     # Ubuntu Linux with glibc using clang++-3.7
     - os: linux
       sudo: false
       compiler: clang
+      cache: ccache
       addons:
         apt:
           sources:
@@ -53,7 +61,9 @@ matrix:
             - libubsan0
       before_install:
         - mkdir bin ; ln -s /usr/bin/clang-3.7 bin/gcc
-      env: COMPILER=clang++-3.7
+      env:
+        - COMPILER="ccache clang++-3.7 -Qunused-arguments -fcolor-diagnostics"
+        - CCACHE_CPP2=yes
 
     - env: NAME="CPP-LINT"
       addons:
@@ -71,6 +81,7 @@ matrix:
             - libwww-perl
       script:
         - git fetch origin $TRAVIS_BRANCH && git branch $TRAVIS_BRANCH FETCH_HEAD && cbmc/scripts/travis_lint.sh
+      before_cache:
 
 install:
   - if [ -L bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ;
@@ -90,11 +101,13 @@ install:
   # Run within host machine to setup CBMC remotes
   - make setup-cbmc
 
+before_cache: ccache -s
+
 script:
   - |
     # Compile in host machine/container & run tests in host machine/container
     if [ -L bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ;
-    COMMAND="make -C src CXX=$COMPILER CXXFLAGS=\"-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare -DUSE_BOOST\"" &&
+    COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare -DUSE_BOOST\"" &&
     eval ${PRE_COMMAND} ${COMMAND}
 
 notifications: