[Travis-CI] Install nlopt-2.4.2 from github when mit server is down

dartsim · Jul 9, 2015 · 33fa399 · 33fa399
1 parent 36ec220
commit 33fa399
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/ci/before_install_linux.sh b/ci/before_install_linux.sh
@@ -2,9 +2,10 @@ before_install() {
   cd /tmp
 
   # Install nlopt from source since Ubuntu 12.04 does not provide debian package for nlopt
-  curl -o nlopt-2.4.1.tar.gz http://ab-initio.mit.edu/nlopt/nlopt-2.4.1.tar.gz
-  tar -xf nlopt-2.4.1.tar.gz
-  cd nlopt-2.4.1/
+  (curl -o nlopt-2.4.2.tar.gz http://ab-initio.mit.edu/nlopt/nlopt-2.4.2.tar.gz) ||
+  (curl -o nlopt-2.4.2.tar.gz https://github.com/stevengj/nlopt/archive/nlopt-2.4.2.tar.gz)
+  tar -xf nlopt-2.4.2.tar.gz
+  cd nlopt-2.4.2/
   sh autogen.sh &>/dev/null  # mute the output
   make CPPFLAGS='-fPIC' && sudo make install &>/dev/null  # mute the output
 }