diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 23:49:56 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 23:49:56 +0200 |
commit | f5e95c5647e2c5d3012c613de1c072ca2cbead8d (patch) | |
tree | ca388daba5323d8aba6b9dd9d67d6eb707d3f2b3 /.gitlab-ci.yml | |
parent | 293455988549527895a5a79a5d862cb54b217d53 (diff) | |
download | compcert-kvx-f5e95c5647e2c5d3012c613de1c072ca2cbead8d.tar.gz compcert-kvx-f5e95c5647e2c5d3012c613de1c072ca2cbead8d.zip |
show qemu version
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 11d7ab58..8ebca587 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -158,6 +158,7 @@ build_ppc: script: - ./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 - 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: |