projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51cab64) | patch
Enable ccache on Travis, disable debug symbols (#1094)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 13 Sep 2017 03:52:10 +0000 (20:52 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Wed, 13 Sep 2017 03:52:10 +0000 (20:52 -0700)
commite87c898707f609f636318a2489dd1dd3afda4d8e
treed44e179aff3d53861cc0f23844dd97977c25ebdftree
parent51cab64a53daee8e6f2693f12911c71827013f15commit | diff
Enable ccache on Travis, disable debug symbols (#1094)

Enable ccache on Travis for faster compile times. Also
disable debug symbols for the debug builds on Travis to
use the available cache more efficiently. Note: this
change only works on GCC, support for Clang will require
additional changes but the time savings should already be
pretty significant.
.travis.yml diff | blob | history