.travis.yml

dist: focal
sudo: required
language: generic

before_cache:
  - rm -rf $HOME/.opam/log
cache:
  apt: true
  directories:
  - $HOME/.opam
addons:
  apt:
    packages:
    - opam
    - aspcud
    - libipc-system-simple-perl
    - libstring-shellquote-perl
env:
  global:
  - NJOBS=1
  - OCAML_VERSION="4.11.1+flambda"
  matrix:
  - TEST_TARGET="8.13.2"

before_script:
  -  ./ci/keep_alive.sh &

install:
  - opam init -n -y -c ${OCAML_VERSION}
  - eval $(opam config env)
  - opam config var root
  # this somehow fails the second time...
  - opam repo add coq-released http://coq.inria.fr/opam/released || true
  - opam install -y --verbose -j ${NJOBS} coq.${TEST_TARGET} && opam pin add coq ${TEST_TARGET} -y
  - opam install -y --verbose -j ${NJOBS} ocamlfind camlp5 ${EXTRA_OPAM} 
  - opam install -y --verbose -j ${NJOBS} ocamlbuild
  - opam install -y --verbose -j ${NJOBS} coq-ext-lib
  - opam pin -y --verbose -j ${NJOBS} add coq-flocq 3.2.1
  - opam install -y --verbose -j ${NJOBS} coq-paco
  - opam install -y --verbose -j ${NJOBS} coq-ceres
  - opam install -y --verbose -j ${NJOBS} coq-simple-io
  - opam install -y --verbose -j ${NJOBS} coq-mathcomp-ssreflect
  - opam install -y --verbose -j ${NJOBS} coq-itree
  - opam install -y --verbose -j ${NJOBS} dune
  - opam install -y --verbose -j ${NJOBS} menhir
  - opam install -y --verbose -j ${NJOBS} qcheck
  - opam upgrade -y --verbose -j ${NJOBS}

script:
  - eval $(opam config env)
  - opam config var root
  - make -j${NJOBS} -C src/
  - cd src && ./vellvm --test