diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-12 01:06:34 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-12 01:06:34 +0200 |
| commit | 8c7a5100478611c8278ccef5e06951c831d07ad8 (patch) | |
| tree | a50b0d349a96bff265151e2bb81b6c46cd5f4eca /.gitlab-ci.yml | |
| parent | f5e95c5647e2c5d3012c613de1c072ca2cbead8d (diff) | |
| download | compcert-kvx-8c7a5100478611c8278ccef5e06951c831d07ad8.tar.gz compcert-kvx-8c7a5100478611c8278ccef5e06951c831d07ad8.zip | |
Use qemu-6.0.0 for PPC as the 3.1.0 version shipping with the Debian in the docker has buggy float
Squashed commit of the following:
commit 54d1983cd8d8551c28109a506a752a971897f4ed
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:48:02 2021 +0200
sudo make install
commit 49af5c63eff29a49f3cb466a6b6af44570d85352
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:43:17 2021 +0200
pixman
commit d78ab98e5751dd3ae0299a3e8c271472ebd8bb63
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:36:30 2021 +0200
libglib
commit 0808bf51be42b04c2db4ccc914633407c1309585
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:31:46 2021 +0200
don't show verbose untar
commit 972c244c72d9a30fee41dc7cbcc3698a49b6cde6
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:30:32 2021 +0200
ninja-build
commit a1c261d01abc1c62ea94d56cfc9cce90887db680
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:28:14 2021 +0200
install ninja
commit 92990598283f624d598853851c3edb2650f45b4b
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:25:17 2021 +0200
untar
commit a225a0dcea26dd8888be535aa1aec4a58007679d
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:20:32 2021 +0200
install wget first
commit 3b2c30ab6a953bde9d09034d38c5919a9425163d
Author: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat Jun 12 00:17:09 2021 +0200
install recent qemu
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8ebca587..b3bb418f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -151,7 +151,10 @@ build_ppc: image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - - sudo apt-get -y install gcc-powerpc-linux-gnu qemu-user + - sudo apt-get -y install gcc-powerpc-linux-gnu wget ninja-build libglib2.0-dev libpixman-1-dev + - wget --no-verbose https://download.qemu.org/qemu-6.0.0.tar.xz + - tar xJf qemu-6.0.0.tar.xz + - (cd qemu-6.0.0 && ./configure --target-list=ppc-linux-user && make && sudo make install) - eval `opam config env` - opam update - opam install -y menhir @@ -159,7 +162,7 @@ build_ppc: - ./config_ppc.sh - make -j "$NJOBS" - qemu-ppc --version - # problems with float on qemu on CI - make -C test SIMU='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' EXECUTE='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' all test + - make -C test SIMU='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' EXECUTE='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='powerpc-linux-gnu-gcc' EXECUTE='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' BITS=32 rules: - if: '$CI_COMMIT_BRANCH == "kvx-work"' |