diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 15:51:34 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 15:51:34 +0200 |
| commit | 293455988549527895a5a79a5d862cb54b217d53 (patch) | |
| tree | ffe4aed5253a28faf14affb19ea4f1d664d0c695 /.gitlab-ci.yml | |
| parent | d44976886e34a38b2ae36fd5b0dd86ff466ffaff (diff) | |
| download | compcert-kvx-293455988549527895a5a79a5d862cb54b217d53.tar.gz compcert-kvx-293455988549527895a5a79a5d862cb54b217d53.zip | |
disable ppc partially
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a52ad5fb..11d7ab58 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -158,11 +158,13 @@ build_ppc: script: - ./config_ppc.sh - make -j "$NJOBS" - - 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 + # 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: - 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"' @@ -182,10 +184,12 @@ build_ppc64: - ./config_ppc64.sh - make -j "$NJOBS" #- make -C test SIMU='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' EXECUTE='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' all test - #- ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='powerpc64-linux-gnu-gcc' EXECUTE='qemu-ppc -L /usr/powerpc64-linux-gnu -cpu 7400' BITS=32 + #- ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='powerpc64-linux-gnu-gcc' EXECUTE='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' BITS=32 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"' |