.gitlab-ci.yml 891 Bytes
Newer Older
Patrick Baudin's avatar
Patrick Baudin committed
1
stages:
2
 - git-update
Patrick Baudin's avatar
Patrick Baudin committed
3
4
5
 - build
 - tests

6
7
variables:
    CURRENT: $CI_COMMIT_REF_NAME
François Bobot's avatar
François Bobot committed
8
    DEFAULT: "master"
9
10
11
    OCAML: "4_05"
    FRAMA_CI_OPT: "--override e-acsl:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"

12
13
14
15
16
17
18
19
20

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

Patrick Baudin's avatar
Patrick Baudin committed
21
22
23
24
25
26
27
E-ACSL:
  stage: build
  script:
   - nix/frama-ci.sh build -A e-acsl.installed
  tags:
   - nix

Patrick Baudin's avatar
Patrick Baudin committed
28
29
30
31
32
33
34
CheckHeaders:
  stage: build
  script:
   - nix/frama-ci.sh build -A genassigns.checkHeaders
  tags:
   - nix

Kostyantyn Vorobyov's avatar
Kostyantyn Vorobyov committed
35
Tests:
Patrick Baudin's avatar
Patrick Baudin committed
36
  stage: tests
Kostyantyn Vorobyov's avatar
Kostyantyn Vorobyov committed
37
  script:
Patrick Baudin's avatar
Patrick Baudin committed
38
   - nix/frama-ci.sh build -A e-acsl.tests
39
  tags:
Patrick Baudin's avatar
Patrick Baudin committed
40
   - nix
41

Patrick Baudin's avatar
Patrick Baudin committed
42
43
Cfp:
  stage: tests
44
  script:
Patrick Baudin's avatar
Patrick Baudin committed
45
   - nix/frama-ci.sh build -A context-from-precondition.tests
46
  tags:
Patrick Baudin's avatar
Patrick Baudin committed
47
   - nix
48
49

Security:
Patrick Baudin's avatar
Patrick Baudin committed
50
  stage: tests
51
  script:
Patrick Baudin's avatar
Patrick Baudin committed
52
   - nix/frama-ci.sh build -A security.tests
53
  tags:
Patrick Baudin's avatar
Patrick Baudin committed
54
   - nix