carl/.gitlab-ci.yml at master · ths-rwth/carl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
image: registry.git.rwth-aachen.de/ths/smt/carl/ci:latest

cache:
  key: ${CI_JOB_NAME}-$CI_COMMIT_REF_SLUG" #OVERRIDE
  paths:
    - build/resources/
  policy: pull-push
  #key: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG" #Verschieden für alle Branches und alle Jobs
  #paths:
  #  - build/*.so*
  #  - build/*.a*
  #policy: pull-push

stages:
  - build
  - test
  - documentation

build-gcc12:
  dependencies: []
  stage: build
  script:
    - export CC=/usr/bin/gcc-12 && export CXX=/usr/bin/g++-12
    - MAKE_PARALLEL=-j8 TASK=all source .ci/build.sh
  artifacts:
    name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"
    paths:
      - build/
      - cmake/
      - src/
    expire_in: 1 week

.build-gcc11:
  dependencies: []
  stage: build
  script:
    - export CC=/usr/bin/gcc-11 && export CXX=/usr/bin/g++-11
    - MAKE_PARALLEL=-j8 TASK=all source .ci/build.sh
  artifacts:
    name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"
    paths:
      - build/
      - cmake/
      - src/
    expire_in: 1 week
  only:
     - development

build-clang14:
  dependencies: []
  stage: build
  script:
     - export CC=/usr/bin/clang-14 && export CXX=/usr/bin/clang++-14
     - MAKE_PARALLEL=-j8 TASK=all source .ci/build.sh
  artifacts:
    name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"
    paths:
      - build/
      - cmake/
      - src/
    expire_in: 1 week

.build-clang13:
  dependencies: []
  stage: build
  script:
     - export CC=/usr/bin/clang-13 && export CXX=/usr/bin/clang++-13
     - MAKE_PARALLEL=-j8 TASK=all source .ci/build.sh
  artifacts:
    name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"
    paths:
      - build/
      - cmake/
      - src/
    expire_in: 1 week
  only:
     - development

.test-clang:
  dependencies: [build-clang14]
  stage: test
  script:
    - cd build && make test

test-gcc:
  dependencies: [build-gcc12]
  stage: test
  script:
    - cd build && make test

docs:
  stage: documentation
  cache: {}
  script:
    - MAKE_PARALLEL=-j4 TASK=documentation source .ci/build.sh
  only:
    - master


#### UNUSED ##
#make_tidy:
#  stage: tidy
#  script:
#    - MAKE_PARALLEL=-j8 TASK=tidy source .ci/build.sh