From b5f8c7ddf9e2b1713d7212ae458a295a3b1dc5e0 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Sat, 23 Jul 2016 14:35:23 +0200 Subject: [PATCH] Use travis apt addon to install opam --- .travis.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index b3d2a560..29a942d7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,10 +6,13 @@ env: - OCAML_VERSION=4.02.3 - OCAML_VERSION=4.03.0 - OCAML_VERSION=4.03.0+flambda +addons: + apt: + sources: + - sourceline 'ppa:avsm/ocaml42+opam12' + packages: + - opam before_install: - - echo "yes" | sudo add-apt-repository ppa:avsm/ocaml42+opam12 - - sudo apt-get update -qq - - sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam - export OPAMYES=1 - export OPAMVERBOSE=1 - opam init