.gitlab-ci.yml 592 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
  before_script:
    - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
11
    - opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
12 13 14 15
    - opam update -y
    - opam config list
    - opam repo list
    - opam list
16
    - opam install -y coq-stdpp
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
17 18
  script:
    - sudo chown -R coq:coq "$CI_PROJECT_DIR"
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
19
    - make -j
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
20
    - coqwc theories/*.v
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
21 22 23 24 25 26 27

coq:8.8:
  extends: .build

coq:8.9:
  extends: .build

28 29 30
coq:8.10:
  extends: .build

31 32
coq:dev:
  extends: .build