diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:29:41 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:29:41 +0100 |
commit | 210541294da0f718be67a427426f2ee4c353e858 (patch) | |
tree | 9a5dc10fcd22957c4514c744fd18452c4e9fa06c /.gitlab-ci.yml | |
parent | e0a48d116d222425bf40d1fc5f79b68c7ce9a37f (diff) | |
download | compcert-kvx-210541294da0f718be67a427426f2ee4c353e858.tar.gz compcert-kvx-210541294da0f718be67a427426f2ee4c353e858.zip |
run tests on aarch64
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ad684229..0d07db41 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -44,13 +44,14 @@ build_aarch64: image: "coqorg/coq" 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 + - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user-binfmt - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir script: - ./config_aarch64.sh - make -j "$NJOBS" + - cd test && make CCOMPOPTS=-static all test rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |