.travis.yml

dist: trusty
sudo: required
language: c
cache:
  apt: true
  directories:
  - $HOME/opam
addons:
  apt:
    sources:
    - avsm
    packages:
    - opam
    - aspcud
env:
  global:
  - NJOBS=2
  # system is == 4.02.3
  matrix:
  - COMPILER="system" MC_VERSION="1.7.0" COQ_VERSION="8.8.0"

jobs:
  include:
    - stage: opam
      script:
      - mkdir -p ~/opam/
      - opam init -j ${NJOBS} --root=~/opam/${COMPILER}-{$MC_VERSION} --compiler=${COMPILER} -n -y
      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
      - opam repo add coq-released http://coq.inria.fr/opam/released
    - stage: coq
      script:
      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
      - opam install -j ${NJOBS} -v -y coq.${COQ_VERSION}
      - opam pin add coq ${COQ_VERSION}
    - stage: math-comp
      script:
      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
      - opam install -j ${NJOBS} -v -y coq-mathcomp-field.${MC_VERSION}
      - opam pin add coq-mathcomp-field ${MC_VERSION}
    - stage: real-closed
      script:
      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
      - make -j ${NJOBS}