diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 11:16:45 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 11:16:45 +0200 |
commit | 3f1e14c6a2ad8403dcaf55ba3b060e99fb7d8bdd (patch) | |
tree | 87874d58e557bca7ba313fb63642fb92eec00884 /.gitlab-ci.yml | |
parent | 7f6ae07f5b399ee1ca736f2d64201b2313439415 (diff) | |
parent | fccfa9b6ac74953af188a2538eb9cd7258544c1a (diff) | |
download | compcert-kvx-3f1e14c6a2ad8403dcaf55ba3b060e99fb7d8bdd.tar.gz compcert-kvx-3f1e14c6a2ad8403dcaf55ba3b060e99fb7d8bdd.zip |
Merge remote-tracking branch 'origin/kvx-work' into csmith
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7519377a..1ecdafdf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -287,7 +287,7 @@ build_kvx: pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?) stage: build - image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda + image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace @@ -314,4 +314,26 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil rules: - if: '$CI_COMMIT_BRANCH == "master"' when: always -
\ No newline at end of file + +build_aarch64_coq13: + stage: build + image: coqorg/coq:8.13.2-ocaml-4.11.2-flambda + before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user + - eval `opam config env` + - opam update + - opam install -y menhir + script: + - ./config_aarch64.sh + - make -j "$NJOBS" + rules: + - if: '$CI_COMMIT_BRANCH == "kvx-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always + - when: manual |