.gitlab-ci.yml

stages:
 - git-update
 - build
 - tests
 - distrib_and_compatibility
 - make_public

variables:
    CURRENT: $CI_COMMIT_REF_NAME
    DEFAULT: "master"
    FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
    OCAML: "4_08"

check-no-old-frama-c:
  stage: git-update
  script:
   - (! git merge-base --is-ancestor a1e186c68a6418a53b3dc06237f49e8dcbf75f4a HEAD)
   - git merge-base --is-ancestor a35d2118fe6999dddce9e1847eff626fae9cc37c HEAD
  tags:
   - nix

#avoid a nix error https://github.com/NixOS/nix/issues/2087
git-update:
  stage: git-update
  script:
   - nix/frama-ci.sh instantiate --eval -A frama-c.src.outPath
  tags:
   - nix

frama-c:
  stage: build
  script:
   - nix/frama-ci.sh build -A frama-c.installed
  tags:
   - nix

lint:
  stage: build
  script:
   - nix/frama-ci.sh build -A frama-c.lint
  coverage: '/lint coverage: \d+\.\d+/'
  tags:
   - nix

tests:
  stage: tests
  script:
   - nix/frama-ci.sh build -A frama-c.tests
  tags:
   - nix

wp-qualif:
  stage: tests
  script:
   - nix/frama-ci.sh build -A frama-c.wp-qualif
  tags:
   - nix
  allow_failure: true

genassigns:
  stage: tests
  script:
   - nix/frama-ci.sh build -A genassigns.tests
  tags:
   - nix

counter-examples:
  stage: tests
  script:
   - nix/frama-ci.sh build -A counter-examples.tests