Skip to content
Snippets Groups Projects
Commit 31c4b6df authored by François Bobot's avatar François Bobot
Browse files

[CI] Factorize variables definition

parent 2463ed66
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 69 deletions
.gitlab-ci.yml
+ 5
− 69
View file @ 31c4b6df
...@@ -4,14 +4,16 @@ stages: ...@@ -4,14 +4,16 @@ stages:
- tests - tests
- distrib_and_compatibility - distrib_and_compatibility
variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
#avoid a nix error https://github.com/NixOS/nix/issues/2087 #avoid a nix error https://github.com/NixOS/nix/issues/2087
git-update: git-update:
stage: git-update stage: git-update
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh instantiate --eval -A frama-c.src.outPath - nix/frama-ci.sh instantiate --eval -A frama-c.src.outPath
tags: tags:
...@@ -20,10 +22,7 @@ git-update: ...@@ -20,10 +22,7 @@ git-update:
frama-c: frama-c:
stage: build stage: build
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.installed - nix/frama-ci.sh build -A frama-c.installed
tags: tags:
...@@ -32,10 +31,7 @@ frama-c: ...@@ -32,10 +31,7 @@ frama-c:
lint: lint:
stage: build stage: build
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.lint - nix/frama-ci.sh build -A frama-c.lint
coverage: '/lint coverage: \d+\.\d+/' coverage: '/lint coverage: \d+\.\d+/'
...@@ -45,10 +41,7 @@ lint: ...@@ -45,10 +41,7 @@ lint:
tests: tests:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.tests - nix/frama-ci.sh build -A frama-c.tests
tags: tags:
...@@ -57,10 +50,7 @@ tests: ...@@ -57,10 +50,7 @@ tests:
wp-qualif: wp-qualif:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.wp-qualif - nix/frama-ci.sh build -A frama-c.wp-qualif
tags: tags:
...@@ -70,10 +60,7 @@ wp-qualif: ...@@ -70,10 +60,7 @@ wp-qualif:
genassigns: genassigns:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A genassigns.tests - nix/frama-ci.sh build -A genassigns.tests
tags: tags:
...@@ -82,10 +69,7 @@ genassigns: ...@@ -82,10 +69,7 @@ genassigns:
counter-examples: counter-examples:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A counter-examples.tests - nix/frama-ci.sh build -A counter-examples.tests
tags: tags:
...@@ -94,10 +78,7 @@ counter-examples: ...@@ -94,10 +78,7 @@ counter-examples:
acsl-importer: acsl-importer:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A acsl-importer.tests - nix/frama-ci.sh build -A acsl-importer.tests
tags: tags:
...@@ -106,10 +87,7 @@ acsl-importer: ...@@ -106,10 +87,7 @@ acsl-importer:
volatile: volatile:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A volatile.tests - nix/frama-ci.sh build -A volatile.tests
tags: tags:
...@@ -118,10 +96,7 @@ volatile: ...@@ -118,10 +96,7 @@ volatile:
E-ACSL: E-ACSL:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A e-acsl.tests - nix/frama-ci.sh build -A e-acsl.tests
tags: tags:
...@@ -130,10 +105,7 @@ E-ACSL: ...@@ -130,10 +105,7 @@ E-ACSL:
Security: Security:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A security.tests - nix/frama-ci.sh build -A security.tests
tags: tags:
...@@ -142,10 +114,7 @@ Security: ...@@ -142,10 +114,7 @@ Security:
CFP: CFP:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A context-from-precondition.tests - nix/frama-ci.sh build -A context-from-precondition.tests
tags: tags:
...@@ -154,10 +123,7 @@ CFP: ...@@ -154,10 +123,7 @@ CFP:
build-distrib-tarball: build-distrib-tarball:
stage: build stage: build
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.build-distrib-tarball - nix/frama-ci.sh build -A frama-c.build-distrib-tarball
tags: tags:
...@@ -166,10 +132,7 @@ build-distrib-tarball: ...@@ -166,10 +132,7 @@ build-distrib-tarball:
build-from-distrib-tarball: build-from-distrib-tarball:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.build-from-distrib-tarball - nix/frama-ci.sh build -A frama-c.build-from-distrib-tarball
tags: tags:
...@@ -178,10 +141,7 @@ build-from-distrib-tarball: ...@@ -178,10 +141,7 @@ build-from-distrib-tarball:
internal: internal:
stage: distrib_and_compatibility stage: distrib_and_compatibility
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A frama-c.internal - nix/frama-ci.sh build -A frama-c.internal
tags: tags:
...@@ -197,51 +157,33 @@ internal: ...@@ -197,51 +157,33 @@ internal:
frama-c-ocaml-4.02: frama-c-ocaml-4.02:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_02" OCAML: "4_02"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
<<: *frama-c-ocaml <<: *frama-c-ocaml
frama-c-ocaml-4.03: frama-c-ocaml-4.03:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_03" OCAML: "4_03"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
<<: *frama-c-ocaml <<: *frama-c-ocaml
frama-c-ocaml-4.04: frama-c-ocaml-4.04:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_04" OCAML: "4_04"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
<<: *frama-c-ocaml <<: *frama-c-ocaml
frama-c-ocaml-4.06: frama-c-ocaml-4.06:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_06" OCAML: "4_06"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
<<: *frama-c-ocaml <<: *frama-c-ocaml
frama-c-ocaml-4.07: frama-c-ocaml-4.07:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_07" OCAML: "4_07"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
<<: *frama-c-ocaml <<: *frama-c-ocaml
caveat-importer: caveat-importer:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A caveat-importer.tests - nix/frama-ci.sh build -A caveat-importer.tests
tags: tags:
...@@ -250,10 +192,7 @@ caveat-importer: ...@@ -250,10 +192,7 @@ caveat-importer:
mthread: mthread:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A mthread.tests - nix/frama-ci.sh build -A mthread.tests
tags: tags:
...@@ -262,10 +201,7 @@ mthread: ...@@ -262,10 +201,7 @@ mthread:
pathcrawler: pathcrawler:
stage: tests stage: tests
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
OCAML: "4_05" OCAML: "4_05"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script: script:
- nix/frama-ci.sh build -A pathcrawler.tests - nix/frama-ci.sh build -A pathcrawler.tests
tags: tags:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment