language: c
sudo: required
dist: trusty
install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-opam.sh
script: bash -ex .travis-opam.sh
env:
    global:
        - TESTS=false
    matrix:
        - OCAML_VERSION=4.08 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.08 EXTRA_DEPS="solo5-bindings-virtio"
        - OCAML_VERSION=4.08 EXTRA_DEPS="solo5-bindings-muen"
        - OCAML_VERSION=4.07 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.07 EXTRA_DEPS="solo5-bindings-virtio"
        - OCAML_VERSION=4.07 EXTRA_DEPS="solo5-bindings-muen"
        - OCAML_VERSION=4.06 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.06 EXTRA_DEPS="solo5-bindings-virtio"
        - OCAML_VERSION=4.06 EXTRA_DEPS="solo5-bindings-muen"
        - OCAML_VERSION=4.05 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.05 EXTRA_DEPS="solo5-bindings-virtio"
        - OCAML_VERSION=4.05 EXTRA_DEPS="solo5-bindings-muen"

language: c
dist: xenial
install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-opam.sh
script: bash -ex .travis-opam.sh
env:
    global:
        - TESTS=false
    matrix:
        - OCAML_VERSION=4.09 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.09 EXTRA_DEPS="solo5-bindings-spt"
        - OCAML_VERSION=4.09 EXTRA_DEPS="solo5-bindings-virtio"
        - OCAML_VERSION=4.09 EXTRA_DEPS="solo5-bindings-muen"
        - OCAML_VERSION=4.09 EXTRA_DEPS="solo5-bindings-genode"
        - OCAML_VERSION=4.08 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.07 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.06 EXTRA_DEPS="solo5-bindings-hvt"
        - OCAML_VERSION=4.05 EXTRA_DEPS="solo5-bindings-hvt"

Bump to Ubuntu Xenial, rationalize build matrix, update CI scripts
Travis: Bump to Ubuntu Xenial, rationalize build matrix, update CI scripts

Bump to Ubuntu Xenial as Solo5 now requires a newer GCC.

Rationalize the build matrix: Test all bindings variants against
the latest compiler (OCaml 4.09.0), only test older compilers against hvt.

Update Travis CI scripts to use the correct repository
(ocaml/ocaml-ci-scripts).
