.gitlab-ci.yml 913 Bytes
Newer Older
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
1
2
3
4
5
6
stages:
  - build

.build:
  stage: build
  image: coqorg/${CI_JOB_NAME}
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
7
8
  tags:
    - au
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
9
10
11
12
13
14
  before_script:
    - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
    - opam update -y
    - opam config list
    - opam repo list
    - opam list
15
    - git clone --branch $COQ_CONTAINERS_BRANCH https://github.com/StekiKun/containers.git dep-coq-containers
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
16
17
18
19
20
    - cd dep-coq-containers
    - make -j
    - make -f Makefile.coq install
    - cd ..
    - rm -rf dep-coq-containers
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
21
22
  script:
    - sudo chown -R coq:coq "$CI_PROJECT_DIR"
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
23
    - make -j
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
24
25
26

coq:8.7:
  extends: .build
27
28
  variables:
    COQ_CONTAINERS_BRANCH: 'v8.7'
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
29
30
31

coq:8.8:
  extends: .build
32
33
  variables:
    COQ_CONTAINERS_BRANCH: 'v8.8'
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
34
35
36

coq:8.9:
  extends: .build
37
38
  variables:
    COQ_CONTAINERS_BRANCH: 'various-fixes'
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
39

40
41
42
43
## coq:dev:
##   extends: .build
##   variables:
##     COQ_CONTAINERS_BRANCH: 'various-fixes'