diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:47:15 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:47:15 +0100 |
commit | 3a81fb827a35577f13bcc6594a503449a1d180f8 (patch) | |
tree | 44141fa8af5c9f89ef1ac500ade13a92ba1f2f31 /.gitlab-ci.yml | |
parent | 210541294da0f718be67a427426f2ee4c353e858 (diff) | |
download | compcert-kvx-3a81fb827a35577f13bcc6594a503449a1d180f8.tar.gz compcert-kvx-3a81fb827a35577f13bcc6594a503449a1d180f8.zip |
do not use binfmt
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0d07db41..2bcd99ca 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -44,14 +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 qemu-user-binfmt + - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user - 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 + - cd test && make CCOMPOPTS=-static SIMU='/opt/qemu/4.2.0/bin/qemu-aarch64' EXECUTE='/opt/qemu/4.2.0/bin/qemu-aarch64' all test rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |