.travis.yml

language: c
addons:
  apt:
    sources:
      - avsm
    packages:
      - ocaml
      - opam
      - aspcud
env:
  matrix:
    - MODE=build COQ_VERSION=8.6.1
    - MODE=build COQ_VERSION=8.7.0
    - MODE=lockserv COQ_VERSION=8.6.1 OPAMBUILDTEST=1
    - MODE=lockserv-seqnum COQ_VERSION=8.6.1
    - MODE=lockserv-serialized COQ_VERSION=8.6.1
script: bash -ex .travis-ci.sh
sudo: false
notifications:
  email: false