diff --git a/.travis.yml b/.travis.yml index c3fffd58..394a7896 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,26 +1,15 @@ language: c +install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh +script: bash -ex .travis-docker.sh +services: +- docker env: - - RUN_TEST=true OCAML_VERSION=4.03.0 - - RUN_TEST=true OCAML_VERSION=4.03.0+flambda - - RUN_TEST=true OCAML_VERSION=4.04.0 - - RUN_TEST=true OCAML_VERSION=4.04.0+flambda - - RUN_TEST=true OCAML_VERSION=4.06.0 -addons: - apt: - sources: - - avsm - packages: - - opam - - time -before_install: - - export OPAMYES=1 - - export OPAMVERBOSE=1 - - opam init - - opam switch ${OCAML_VERSION} - - eval `opam config env` - - opam install ocamlfind jbuilder - - if ${RUN_TEST}; then opam pin add dolmen https://github.com/Gbury/dolmen.git; fi -install: - - make build -script: - - if ${RUN_TEST}; then make test; fi + global: + - PINS="sidekick:." + - DISTRO="ubuntu-16.04" + matrix: + - PACKAGE="sidekick" OCAML_VERSION="4.02.3" + - PACKAGE="sidekick" OCAML_VERSION="4.03.0" + - PACKAGE="sidekick" OCAML_VERSION="4.04.2" + - PACKAGE="sidekick" OCAML_VERSION="4.05.0" + - PACKAGE="sidekick" OCAML_VERSION="4.06.0"