From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 13 Sep 2017 21:13:35 +0000 (-0700)
Subject: Make ccache work with Clang on Travis (#1097)
X-Git-Tag: cvc5-1.0.0~5642
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f11ea2b651aa6627f90d5be2afa225d07f56089;p=cvc5.git

Make ccache work with Clang on Travis (#1097)

This commit uses a workaround [0] to get ccache to work
with Clang on Travis.

[0] https://github.com/travis-ci/travis-ci/issues/5383#issuecomment-224630584
---

diff --git a/.travis.yml b/.travis.yml
index 56c1e3765..e543141c0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -43,6 +43,16 @@ addons:
   - libreadline-dev
 before_install:
  - eval "${MATRIX_EVAL}"
+ # Clang does not play nice with ccache (at least the versions offered by
+ # Travis), use a workaround:
+ # https://github.com/travis-ci/travis-ci/issues/5383#issuecomment-224630584
+ - |
+   if [ "$TRAVIS_OS_NAME" == "linux" ] && [ "$CXX" == "clang++" ]; then
+     export CFLAGS="-Qunused-arguments"
+     export CXXFLAGS="-Qunused-arguments"
+     sudo ln -s $(which ccache) /usr/lib/ccache/clang
+     sudo ln -s $(which ccache) /usr/lib/ccache/clang++
+   fi
 before_script:
  - export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
  - export PATH=$PATH:$JAVA_HOME/bin