---
image: registry.gitlab.inria.fr/solverstack/docker/distrib

stages:
  - bench
  - build
  - test
  - analyse
  - sonar
  - deploy

before_script:
  - git submodule update --init --recursive
  - source .gitlab/env.sh ${VERSION}
  - unset SPM_DIR # Make sure we don't use the installed spm
  - if [ ! -z "$SPM_DIR" ]; then source $SPM_DIR/bin/spm_env.sh; fi
  - echo "VERSION=${VERSION}"
  - mkdir -p build

include:
  - .gitlab/benchmark.yml
  - .gitlab/common.yml
  - .gitlab/build.yml
  - .gitlab/test.yml
  - .gitlab/test_wrapper.yml
  - .gitlab/coverage.yml
  - .gitlab/sonarqube.yml
  - .gitlab/pages.yml
  - .gitlab/release.yml
  - .gitlab/coverity.yml