Revision b4c8c4460ddaa9615c02097e252bc037b126bca4 authored by Matthieu Sozeau on 25 July 2019, 06:14:10 UTC, committed by Matthieu Sozeau on 25 July 2019, 06:14:10 UTC
1 parent 5174c8f
.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
- COMPILER="4.06.1"
- CAMLP5_VER="7.05"
- FINDLIB_VER="1.8.0"
- COQ_VER="8.8.2"
- EQUATIONS_VER="1.2~beta2+8.8"
install:
- opam init -j ${NJOBS} -n -y --compiler=$COMPILER
- opam switch set ${COMPILER}
- eval $(opam config env)
- opam config list
- opam update
- opam repo add coq-released https://coq.inria.fr/opam/released || echo "coq-released registered"
- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind.${FINDLIB_VER} coq.${COQ_VER} coq-equations.${EQUATIONS_VER}
- opam list
script:
- ./configure.sh local
- make -j ${NJOBS} all 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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...