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

addons:
  apt:
    sources:
    - avsm
    packages:
    - opam
    - aspcud
    - gcc-multilib

env:
  global:
  - NJOBS=2
  # system is == 4.02.3
  - COMPILER="system"
  - CAMLP5_VER="7.05"
  - FINDLIB_VER="1.8.0"
  - NATIVE_COMP="yes"
  - COQ_VER="8.8.0"

install:
- opam init -j ${NJOBS} --switch=${COMPILER} -n -y
- eval $(opam config env)
- opam config list
- opam update
- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind.${FINDLIB_VER} coq.${COQ_VER}
- opam list

script:
 - make -j ${NJOBS}
 - make -j ${NJOBS} test-suite

notifications:
  webhooks:
    urls:
      - https://webhooks.gitter.im/e/1d832177d55504ef1fba
    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