.gitlab-ci.yml

default:
  image: framac/frama-c:dev

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

__update-summary:
  tags:
    - docker
  script:
    - git config --global --add safe.directory $PWD
    - ./compute-summary.sh
    - git diff --exit-code summary.md

.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

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

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

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

gnugo:
  variables:
    TARGET: gnugo
  <<: *make_job

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

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

icpc:
  variables:
    TARGET: icpc
  <<: *make_job

ioccc:
  variables:
    TARGET: ioccc
  <<: *make_job

itc-benchmarks:
  variables:
    TARGET: itc-benchmarks
  <<: *make_job

jsmn:
  variables:
    TARGET: jsmn
  <<: *make_job

kgflags:
  variables:
    TARGET: kgflags
  <<: *make_job

khash:
  variables:
    TARGET: khash
  <<: *make_job

kilo:
  variables:
    TARGET: kilo
  <<: *make_job

libmodbus:
  variables:
    TARGET: libmodbus
  <<: *make_job

libspng:
  variables:
    TARGET: libspng
  <<: *make_job

libyaml:
  variables:
    TARGET: libyaml
  <<: *make_job

line-following-robot:
  variables:
    TARGET: line-following-robot
  <<: *make_job

microstrain:
  variables:
    TARGET: microstrain
  <<: *make_job

mini-gmp:
  variables:
    TARGET: mini-gmp
  <<: *make_job

miniz:
  variables:
    TARGET: miniz
  <<: *make_job

monocypher:
  variables:
    TARGET: monocypher
  <<: *make_job

papabench:
  variables:
    TARGET: papabench
  <<: *make_job

polarssl:
  variables:
    TARGET: polarssl
  <<: *make_job

powerwindow:
  variables:
    TARGET: powerwindow
  <<: *make_job

qlz:
  variables:
    TARGET: qlz
  <<: *make_job

safestringlib:
  variables:
    TARGET: safestringlib
  <<: *make_job

semver:
  variables:
    TARGET: semver
  <<: *make_job

solitaire:
  variables:
    TARGET: solitaire
  <<: *make_job

stmr:
  variables:
    TARGET: stmr
  <<: *make_job

tsvc:
  variables:
    TARGET: tsvc
  <<: *make_job

tweetnacl-usable:
  variables:
    TARGET: tweetnacl-usable
  <<: *make_job

verisec:
  variables:
    TARGET: verisec
  <<: *make_job

x509-parser:
  variables:
    TARGET: x509-parser
  <<: *make_job