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

Update travis.yml to retry package installations when they fail

Browse source
This commit is contained in:
Soonho Kong 2013-08-08 13:56:55 -07:00
parent 635407ca4a
commit dd71a3c770
1 changed files with 10 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
.travis.yml
View file

@ -42,21 +42,20 @@ after_success:
- if [[ $BUILD_DOXYGEN == TRUE ]]; then ./script/update_doxygen.sh; fi - if [[ $BUILD_DOXYGEN == TRUE ]]; then ./script/update_doxygen.sh; fi
install: install:
- sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test - until sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test; do echo "retry: add-apt-repository"; done
- sudo add-apt-repository --yes ppa:h-rayflood/llvm - until sudo add-apt-repository --yes ppa:h-rayflood/llvm; do echo "retry: add-apt-repository"; done
- sudo apt-get -qq update - until sudo apt-get -qq update; do echo "retry apt-get update"; done
- if [[ $USE_TCMALLOC == TRUE ]]; then sudo add-apt-repository --yes ppa:agent-8131/ppa && sudo apt-get -qq update && sudo apt-get -qq install libgoogle-perftools-dev; fi - if [[ $USE_TCMALLOC == TRUE ]]; then until sudo add-apt-repository --yes ppa:agent-8131/ppa && sudo apt-get -qq update && sudo apt-get -qq install libgoogle-perftools-dev; do echo "retry: install tcmalloc"; done; fi
- sudo apt-get -qq install libgmp-dev libmpfr-dev - until sudo apt-get -qq install libgmp-dev libmpfr-dev; do echo "retry: install libgmp"; done
- sudo apt-get -qq install cmake - until sudo apt-get -qq install cmake; do echo "retry: install cmake"; done
- sudo apt-get -qq install flex bison++ - until sudo apt-get -qq install flex bison++; do echo "retry: install flex & bison"; done
- sudo apt-get -qq install libstdc++-4.8-dev - until sudo apt-get -qq install libstdc++-4.8-dev; do echo "retry: install libstdc++-4.8"; done
- if [[ $CMAKE_CXX_COMPILER == g++-4.8 ]]; then sudo apt-get -qq install g++-4.8; fi - if [[ $CMAKE_CXX_COMPILER == g++-4.8 ]]; then until sudo apt-get -qq install g++-4.8; do echo "retry: install g++-4.8"; done fi
- if [[ $CMAKE_CXX_COMPILER == clang++-3.3 ]]; then sudo apt-get -qq install clang-3.3; fi - if [[ $CMAKE_CXX_COMPILER == clang++-3.3 ]]; then until sudo apt-get -qq install clang-3.3; do echo "retry: install clang-3.3"; done fi
notifications: notifications:
email: email:
recipients: recipients:
- soonho.kong@gmail.com
- leansmt-dev@googlegroups.com - leansmt-dev@googlegroups.com
on_success: always on_success: always
on_failure: always on_failure: always