.travis.yml

# ocaml is not a recognized language by travis, and using it
# make travis default to ruby, whose setup is a bit time-consuming.
# Hence, we currently use c given it's the most lightweight
# in terms of language setup for the VMs.
language: c
# Cache the opam directory to avoid re-compiling the compiler
cache:
  directories:
    - $HOME/.opam
# System dependencies
addons:
  apt:
    sources:
      - avsm
    packages:
      - opam>=2
      - asciidoc
      - libgmp-dev
      - libgtksourceview2.0-dev
      - zlib1g-dev
      - libgtk2.0-dev
      - libexpat1-dev

# Global environment variables
env:
  global:
    - LOCAL_INSTALL_DIR=${HOME}/local

# Prepare the opam switch and pin some needed repos
before_install:
  - git status
  # Create local install dir and add it to path
  - mkdir -p ${LOCAL_INSTALL_DIR}
  - export PATH=$PATH:${LOCAL_INSTALL_DIR}/bin
  # Some opam boilerplate
  - export OPAMYES=1
  - export OPAMJOBS=2
  # Init opam, and the default switch with the right ocaml version
  - opam init --disable-sandboxing --compiler=${OCAML_VERSION}
  - eval `opam config env`
  # Install odoc & ocp-indent
  - opam install odoc ocp-indent.1.8.1
  # Set the verbose option *after* compiling the compiler
  # and installing odoc, else the log oveflows
  - export OPAMVERBOSE=1

# Install dependencies
install:
  - opam pin add --no-action .
  - opam install --deps-only alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo ||
    ( opam update && opam install --deps-only alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo )

# Remove source pins before the cache is updated, to avoid
# having the alt-ergo sources in the cache
before_cache:
  - opam uninstall alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo
  - opam pin remove alt-ergo-lib alt-ergo-parsers alt-ergo altgr-ergo


# Order stages to test style and indent first,
# then run non-regression tests, and finally,
# build the doc and push it to gh-pages
stages:
  - pre-check
  - test
  - documentation

jobs:
  include:
    # === Pre-check stage ===
    - stage: "pre-check"
    # style check
      name: "Style check"
      script: rsc/extra/check_style.sh
      env: OPAMBUILDTEST=false OCAML_VERSION=4.04.2
    # indentation check
    - stage: "pre-check"
      name: "Indent check"
      script: rsc/extra/check_indentation.sh
      env: OPAMBUILDTEST=false OCAML_VERSION=4.04.2

    # === Build Tests ===
    # Installation (no tests)
    - stage: "test"
      name: "install (no tests)"
      script: rsc/extra/travis_install_test.sh
      env: OPAMBUILDTEST=false OCAML_VERSION=4.04.2
    # Installation (with tests)
    - stage: "test"
      name: "install (with tests)"
      script: rsc/extra/travis_install_test.sh
      env: OPAMBUILDTEST=true OCAML_VERSION=4.04.2
    # Non-regression tests
    - stage: "test"
      name: "non-regression (4.04.2)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.04.2
    - stage: "test"
      name: "non-regression (4.04.2+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.04.2+flambda
    - stage: "test"
      name: "non-regression (4.05.0)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.05.0
    - stage: "test"
      name: "non-regression (4.05.0+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.05.0+flambda
    - stage: "test"
      name: "non-regression (4.06.1)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.06.1
    - stage: "test"
      name: "non-regression (4.06.1+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.06.1+flambda
    - stage: "test"
      name: "non-regression (4.07.1)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.07.1
    - stage: "test"
      name: "non-regression (4.07.1+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.07.1+flambda
    - stage: "test"
      name: "non-regression (4.08.1)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.08.1
    - stage: "test"
      name: "non-regression (4.08.1+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.08.1+flambda
    - stage: "test"
      name: "non-regression (4.09.1)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.09.1
    - stage: "test"
      name: "non-regression (4.09.1+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.09.1+flambda
    - stage: "test"
      name: "non-regression (4.10.0)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.10.0
    - stage: "test"
      name: "non-regression (4.10.0+flambda)"
      script: rsc/extra/travis_local_test.sh ${LOCAL_INSTALL_DIR}
      env: OPAMBUILDTEST=true OCAML_VERSION=4.10.0+flambda

    # === Doc stage ===
    # Next branch (upload doc in gh-pages)
    - stage: "documentation"
      name: "doc build && dev upload"
      script: rsc/extra/travis_doc_test.sh
      before_deploy: ./rsc/extra/deploy_doc.sh dev
      env: OPAMBUILDTEST=false OCAML_VERSION=4.04.2
      deploy:
        provider: pages
        skip-cleanup: true
        github-token: $GITHUB_TOKEN
        keep-history: true
        on:
          branch: next