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