diff options
author | nulltoken <emeric.fermas@gmail.com> | 2015-02-06 13:54:12 +0300 |
---|---|---|
committer | nulltoken <emeric.fermas@gmail.com> | 2015-02-06 14:49:34 +0300 |
commit | e137a8eb37b52c56ee81828af553f9c2d845ef00 (patch) | |
tree | cf78da027b75b84cfea984b08df2351e9ac471c3 /CI | |
parent | bd06dac2db9947808a933d217e21816f05a77dc9 (diff) |
Change source location of Mono packages
Diffstat (limited to 'CI')
-rwxr-xr-x | CI/travis.linux.install.deps.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/CI/travis.linux.install.deps.sh b/CI/travis.linux.install.deps.sh index 1a820d07..271c3909 100755 --- a/CI/travis.linux.install.deps.sh +++ b/CI/travis.linux.install.deps.sh @@ -1,9 +1,10 @@ #!/bin/bash set -ev -sudo sh -c "echo 'deb http://download.opensuse.org/repositories/home:/tpokorra:/mono/xUbuntu_12.04/ /' >> /etc/apt/sources.list.d/mono-opt.list" +sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF -curl http://download.opensuse.org/repositories/home:/tpokorra:/mono/xUbuntu_12.04/Release.key | sudo apt-key add - +echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list +echo "deb http://download.mono-project.com/repo/debian wheezy-libtiff-compat main" | sudo tee -a /etc/apt/sources.list.d/mono-xamarin.list sudo apt-get update -sudo apt-get install mono-opt cmake +sudo apt-get install mono-devel cmake |