.travis.yml

dist: trusty
language: c

cache:
  directories:
  - $HOME/.opam

env:
  global:
  - OPAMJOBS="2"
  - OPAMYES="true"
  - OPAMVERBOSE="true"
  matrix:
  - OCAML_VERSION=4.07.0
  - OCAML_VERSION=4.07.1
  - OCAML_VERSION=4.08.0
  - OCAML_VERSION=4.08.1
  - OCAML_VERSION=4.09.0
  - OCAML_VERSION=4.09.1
  - OCAML_VERSION=4.10.0
  - OCAML_VERSION=4.10.1
  - OCAML_VERSION=4.11.0
  - OCAML_VERSION=4.11.1

before_install:
  # Obtain and install opam locally.
  - sudo wget https://github.com/ocaml/opam/releases/download/2.0.0/opam-2.0.0-x86_64-linux -O /usr/bin/opam
  - sudo chmod 755 /usr/bin/opam
  # Initialize the switch.
  - opam init -a --disable-sandboxing --compiler="$OCAML_VERSION"
  - opam update
  - opam switch "$OCAML_VERSION"
  - eval $(opam env)
  - opam pin add -n -k path earley .
  - opam install --deps-only -d -t earley

script:
  - make
  - make doc
  - make tests

notifications:
  email:
    - christophe@raffalli.eu
    - lepigre@mpi-sws.org

deploy:
  provider: pages
  skip_cleanup: true
  github_token: $GITHUB_TOKEN  # Set in the settings page of your repository, as a secure variable
  keep_history: true
  local_dir: _build/default/_doc/_html
  on:
    branch: master