michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(.travis.yml): avoid g++-4.8.1 + DEBUG + TCMALLOC

Browse source 
The combination sometimes triggers the following compiler error:

The log says:
               g++-4.8: internal compiler error: Killed (program cc1plus)

See: https://travis-ci.org/leanprover/lean/jobs/34351197

We can try this one again when travis-ci.org switches to Ubuntu 14.04 where we can use either gcc-4.8.3 or gcc-4.9.0.

See: https://github.com/travis-ci/travis-ci/issues/2046
This commit is contained in:
Soonho Kong 2014-09-04 15:41:07 -07:00
parent 8743394627
commit 2e3306dc85
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.travis.yml
View file

@ -105,7 +105,7 @@ env:
# M2-1. g++-4.8 | DEBUG | MEMCHECK | CDASH
- CMAKE_CXX_COMPILER=g++-4.8
CMAKE_BUILD_TYPE=DEBUG
TCMALLOC=ON
TCMALLOC=OFF
MEMCHECK=TRUE
MEMCHECK_RANGE=1,40
PUSH_TO_CDASH=TRUE
@ -113,7 +113,7 @@ env:
# M2-2. g++-4.8 | DEBUG | MEMCHECK | CDASH
- CMAKE_CXX_COMPILER=g++-4.8
CMAKE_BUILD_TYPE=DEBUG
TCMALLOC=ON
TCMALLOC=OFF
MEMCHECK=TRUE
MEMCHECK_RANGE=40,80
PUSH_TO_CDASH=TRUE