diff options
| -rwxr-xr-x | script/install-deps-linux.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/script/install-deps-linux.sh b/script/install-deps-linux.sh index 7be13c3aa..15bac4d08 100755 --- a/script/install-deps-linux.sh +++ b/script/install-deps-linux.sh @@ -2,4 +2,11 @@ set -x +if [ -z "$PRECISE" ]; then + echo "deb http://libgit2deps.edwardthomson.com trusty libgit2deps" | sudo tee -a /etc/apt/sources.list + sudo apt-key adv --keyserver pgp.mit.edu --recv 99131CD5 + sudo apt-get update -qq + sudo apt-get install -y curl libcurl3 libcurl3-gnutls libcurl4-gnutls-dev +fi + sudo apt-get install -y cmake libssh2-1-dev openssh-client openssh-server valgrind |