.travis.yml

dist: trusty
sudo: required
language: c
cache:
  apt: true
  directories:
  - $HOME/.opam
  - $HOME/bin

addons:
  apt:
    sources:
    - avsm

env:
  global:
  - NJOBS=2
  - COMPILER="4.06.0"
  - CAMLP5_VER="7.06"
  - FINDLIB_VER="1.8.0"
  - NATIVE_COMP="yes"
  - COQ_VER="dev"
  - HOTT_VER="dev"

install:
- curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh > install.sh
- export PATH=$HOME/bin:$PATH
- which opam || (rm -rf $HOME/.opam; echo $HOME/bin | sudo sh install.sh --no-backup; opam init --disable-sandboxing -j ${NJOBS} --compiler=${COMPILER} -n -y)
- opam --version
- opam update
- eval $(opam config env)
- opam config list
- opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev || echo "coq-core-dev registered"
- opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev || echo "coq-extra-dev registered"
- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind.${FINDLIB_VER} coq.${COQ_VER} coq-hott.${HOTT_VER}
- opam upgrade -y coq.${COQ_VER} coq-hott.${HOTT_VER}
- opam list
- coqc --version

matrix:
  include:
    - env: TARGET=coq
    - env: TARGET=HoTT
    - env: TARGET=dune

script:
 - ./configure.sh ${TARGET}
 - make ci

notifications:
  webhooks:
    urls:
      - https://webhooks.gitter.im/e/89ac14267a6cde573d95
    on_success: always  # options: [always|never|change] default: always
    on_failure: always  # options: [always|never|change] default: always
    on_start: never     # options: [always|never|change] default: always