.travis.yml

dist: bionic
sudo: required
language: c

cache:
  apt: true

addons:
  apt:
    packages:
    - linux-tools-generic     # /usr/bin/perf
    - time                    # /usr/bin/time
    - ca-certificates
    - ca-cacert               # iris repo is signed by cacert
    - lua5.1                  # timelog2html

env:
  global:
  - WORKSPACE="${TRAVIS_BUILD_DIR}/_workspace"
  - BUILD_ID="travis"
  - number_of_processors="2"
  - num_of_iterations="2"
  - coq_opam_packages="coq-bignums coq-mathcomp-ssreflect"
  - new_ocaml_switch="ocaml-base-compiler.4.07.1"
  - new_coq_repository="https://github.com/coq/coq.git"
  - new_coq_commit="79f9e907fa4cc0e8862c4b678d60d8409a6cc88e"
  - old_ocaml_switch="ocaml-base-compiler.4.06.1"
  - old_coq_repository="https://github.com/ejgallego/coq.git"
  - old_coq_commit="0fa2d49c6fe110a61811c8305c735342dc717213"
  - new_coq_opam_archive_git_uri="https://github.com/coq/opam-coq-archive.git"
  - new_coq_opam_archive_git_branch="master"
  - old_coq_opam_archive_git_uri="https://github.com/coq/opam-coq-archive.git"
  - old_coq_opam_archive_git_branch="master"
  matrix:
  - BENCH_DEBUG=
  - BENCH_DEBUG=true

# linux-tools on Travis is a complicated issue
install:
- sudo apt-get install -y -qq linux-tools-`uname -r`
- sudo curl -sL https://github.com/ocaml/opam/releases/download/2.0.5/opam-2.0.5-x86_64-linux -o /usr/bin/opam
- sudo chmod +x /usr/bin/opam
# - opam init -c "$COMPILER" --disable-sandboxing
# - opam switch set "$COMPILER"
# - eval $(opam env)
# - opam install $BASE_OPAM
# - opam list

script:
- set -e
- mkdir -p _workspace

- echo -e "travis_fold:start:printenv\033[33;1mprintenv\033[0m"
- printenv -0 | sort -z | tr '\0' '\n'
- echo -e 'travis_fold:end:printenv\\r'

- echo -e "travis_fold:start:bench\033[33;1mbench\033[0m"
- ./two_points_on_the_same_branch.sh
- echo -e 'travis_fold:end:coq-bench\\r'
- set +e