From 33fa399d179fc37ff77dc20f38e9b09dbdc2011e Mon Sep 17 00:00:00 2001 From: Jeongseok Lee Date: Fri, 10 Jul 2015 05:58:56 +0900 Subject: [PATCH] [Travis-CI] Install nlopt-2.4.2 from github when mit server is down --- ci/before_install_linux.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/ci/before_install_linux.sh b/ci/before_install_linux.sh index ca3e5cc0ded83..df7cd7d94bf21 100755 --- 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 }