.gitlab-ci.yml

default:
  image: framac/frama-c:dev-stripped

variables:
  GIT_CLEAN_FLAGS: none #each use case cleans its own directory

.make_job: &make_job
  tags:
    - docker
  script:
    - make -C $TARGET/.frama-c clean
    - make $TARGET
    # note: the command below is needed due to recent git releases, which
    #       enforce stricter permission controls w.r.t to ownership of '.git'.
    - git config --global --add safe.directory $PWD
    - git diff --exit-code $TARGET
    - make $TARGET.sarif
  artifacts:
    paths:
    - "$TARGET/.frama-c/*.sarif"

_2048:
  variables:
    TARGET: 2048
  <<: *make_job

basic-cwe-examples:
  variables:
    TARGET: basic-cwe-examples
  <<: *make_job

bench-moerman2018:
  variables:
    TARGET: bench-moerman2018
  <<: *make_job

cerberus:
  variables:
    TARGET: cerberus
  <<: *make_job

chrony:
  variables:
    TARGET: chrony
  <<: *make_job

c-testsuite:
  variables:
    TARGET: c-testsuite
  <<: *make_job

debie1:
  variables:
    TARGET: debie1
  <<: *make_job

genann:
  variables:
    TARGET: genann
  <<: *make_job

gzip124:
  variables:
    TARGET: gzip124
  <<: *make_job

hiredis:
  variables:
    TARGET: hiredis
  <<: *make_job