@@ -1,6 +1,4 @@
1−# Use new container infrastructure to enable caching
2−sudo:
3− false
1+sudo: required
42
53# Choose a lightweight base image; we provide our own build tools.
64language:
@@ -25,6 +23,12 @@ addons:
2523 - libgmp-dev
2624
2725before_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
2832 - mkdir -p "$HOME"/.local/bin
2933 - export PATH=$HOME/.local/bin:$PATH
3034