.gitlab-ci.yml 613 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
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
image: coq:8.5

stages:
  - iris
  - iris-atomic

iris:
  stage: iris
  tags:
  - coq
  script:
  - coqc -v
  # see if the Iris submodule needs cleaning, then build it
  - 'git submodule status iris | egrep "^ " || (git submodule update --init iris && cd iris && git clean -xfd)'
  - 'cd iris && make -j8'
  only:
  - master
  - ci

iris-atomic:
  stage: iris-atomic
  tags:
  - coq
  script:
  - coqc -v
  # prepare the environment, safeguard against outdated submodule
  - 'git submodule status iris | egrep "^ "'
  - 'ln -s iris iris-enabled'
  # build local repo
  - 'time make -j8'
  only:
  - master
  - ci