From dd71a3c7703d35b196f0a85edbf25c3f0f668559 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 8 Aug 2013 13:56:55 -0700
Subject: [PATCH] Update travis.yml to retry package installations when they
 fail

---
 .travis.yml | 21 ++++++++++-----------
 1 file changed, 10 insertions(+), 11 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index c8c4b3d0a..aa2123094 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -42,21 +42,20 @@ after_success:
   - if [[ $BUILD_DOXYGEN == TRUE ]]; then ./script/update_doxygen.sh; fi
 
 install:
-  - sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test
-  - sudo add-apt-repository --yes ppa:h-rayflood/llvm
-  - sudo apt-get -qq update
-  - 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
-  - sudo apt-get -qq install libgmp-dev libmpfr-dev
-  - sudo apt-get -qq install cmake
-  - sudo apt-get -qq install flex bison++
-  - sudo apt-get -qq install libstdc++-4.8-dev
-  - if [[ $CMAKE_CXX_COMPILER == g++-4.8 ]]; then sudo apt-get -qq install g++-4.8; fi
-  - if [[ $CMAKE_CXX_COMPILER == clang++-3.3 ]]; then sudo apt-get -qq install clang-3.3; fi
+  - until sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test; do echo "retry: add-apt-repository"; done
+  - until sudo add-apt-repository --yes ppa:h-rayflood/llvm; do echo "retry: add-apt-repository"; done
+  - until sudo apt-get -qq update; do echo "retry apt-get update"; done
+  - 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
+  - until sudo apt-get -qq install libgmp-dev libmpfr-dev; do echo "retry: install libgmp"; done
+  - until sudo apt-get -qq install cmake; do echo "retry: install cmake"; done
+  - until sudo apt-get -qq install flex bison++; do echo "retry: install flex & bison"; done
+  - 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 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 until sudo apt-get -qq install clang-3.3; do echo "retry: install clang-3.3"; done fi
 
 notifications:
   email:
     recipients:
-    - soonho.kong@gmail.com
     - leansmt-dev@googlegroups.com
     on_success: always
     on_failure: always