on master help sign in
Upgrade travis to docker-engine 1.12
f6d529bDeni Bertovic
.travis.yml+7−3
@@ -1,6 +1,4 @@
1−# Use new container infrastructure to enable caching
2−sudo:
1+sudo: required
3− false
4
2
5# Choose a lightweight base image; we provide our own build tools.
3# Choose a lightweight base image; we provide our own build tools.
6language:
4language:
@@ -25,6 +23,12 @@ addons:
25 - libgmp-dev
23 - libgmp-dev
26
24
27before_install:
25before_install:
26+ # Upgrade docker to 1.12
27+ - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-precise main" > /etc/apt/sources.list.d/docker.list'
28+ - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
29+ - sudo apt-get update
30+ - sudo apt-key update
31+ - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.0-0~precise
28 - mkdir -p "$HOME"/.local/bin
32 - mkdir -p "$HOME"/.local/bin
29 - export PATH=$HOME/.local/bin:$PATH
33 - export PATH=$HOME/.local/bin:$PATH
30
34