.gitlab-ci.yml 2.3 KB
Newer Older
1
stages:
2 3
  - build
  - test
4
  - nightly
5
  - deploy
6

7 8
.build_template: &build_definition
  stage: build
9
  script:
10
    - misc/ci-docker.sh misc/ci-local.sh
11

12
build-system:
13 14 15
  variables:
    COMPILER: system
  <<: *build_definition
16

17 18 19 20 21
build-4.02.3:
  variables:
    COMPILER: 4.02.3
  <<: *build_definition

22 23 24 25 26
build-4.03.0:
  variables:
    COMPILER: 4.03.0
  <<: *build_definition

27
build-4.04.2:
28
  variables:
29
    COMPILER: 4.04.2
30 31 32 33 34 35 36
  <<: *build_definition

build-4.05.0:
  variables:
    COMPILER: 4.05.0
  <<: *build_definition

37
build-4.06.1:
38
  variables:
39 40 41
    COMPILER: 4.06.1
  <<: *build_definition

42
build-4.07.1:
43
  variables:
44
    COMPILER: 4.07.1
45 46
  <<: *build_definition

47
.bench_template1: &bench_definition_always
48 49
  stage: test
  script:
50
    - misc/ci-docker.sh misc/ci-local.sh bench ide
51

52 53
.bench_template2: &bench_definition
  <<: *bench_definition_always
54 55 56 57
  only:
    - tags
    - schedules

58 59 60 61 62 63 64 65
bench-system:
  <<: *bench_definition_always

bench-4.02.3:
  variables:
    COMPILER: 4.02.3
  <<: *bench_definition

66 67 68 69 70
bench-4.03.0:
  variables:
    COMPILER: 4.03.0
  <<: *bench_definition

71
bench-4.04.2:
72
  variables:
73
    COMPILER: 4.04.2
74 75 76 77 78 79 80
  <<: *bench_definition

bench-4.05.0:
  variables:
    COMPILER: 4.05.0
  <<: *bench_definition

81 82 83 84 85
bench-4.06.1:
  variables:
    COMPILER: 4.06.1
  <<: *bench_definition

86
bench-4.07.1:
87
  variables:
88
    COMPILER: 4.07.1
89
  <<: *bench_definition_always
90

91
full-4.07.1:
92 93
  stage: test
  variables:
94
    COMPILER: 4.07.1
95
    DEBIAN_PACKAGES: hevea rubber texlive-latex-extra lmodern texlive-fonts-recommended
96
    OPAM_PACKAGES: coq-flocq.3.1.0 js_of_ocaml-ppx alt-ergo.2.0.0
97
  script:
98
    - misc/ci-docker.sh misc/ci-local.sh bench ide doc
99

100 101 102
nightly-bench:
  stage: nightly
  variables:
103
    COMPILER: 4.05.0
104
    DEBIAN_PACKAGES: cvc3 spass
105
    OPAM_PACKAGES: alt-ergo.2.0.0 zenon.0.8.0 coq.8.7.2 coq-flocq.3.1.0
106 107 108
  script:
    - misc/ci-docker.sh misc/ci-local.sh nightly-bench-reduced

Guillaume Melquiond's avatar
Guillaume Melquiond committed
109 110 111
ce-bench:
  stage: nightly
  variables:
112
    COMPILER: 4.05.0
Guillaume Melquiond's avatar
Guillaume Melquiond committed
113
    DEBIAN_PACKAGES: cvc3 spass
114
    OPAM_PACKAGES: alt-ergo.2.0.0 zenon.0.8.0 coq.8.7.2 coq-flocq.3.1.0
Guillaume Melquiond's avatar
Guillaume Melquiond committed
115 116 117
  script:
    - misc/ci-docker.sh misc/ci-local.sh ce-bench

118 119
opam:
  stage: build
120 121
  variables:
    COMPILER: system
122
  script:
123
    - misc/ci-docker.sh misc/ci-opam.sh
124

125 126
deploy:
  stage: deploy
127
  script:
128
    - misc/ci-deploy.sh
129
  only:
130
    - master
131 132
    - /^bugfix[/]v[0-9.]*$/
    - tags