diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:49:45 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:49:45 +0100 |
| commit | cef775c724e819c01d25cc1d461112c7a12a3227 (patch) | |
| tree | 525ea6cde6d8b8486b4a88328a73cd415a6ae771 /.gitlab-ci.yml | |
| parent | 9536534a099fb95ae8eeef37b3ba10e03e31e823 (diff) | |
| download | compcert-kvx-cef775c724e819c01d25cc1d461112c7a12a3227.tar.gz compcert-kvx-cef775c724e819c01d25cc1d461112c7a12a3227.zip | |
disable testing on ppc64
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2dd70e21..9ee14292 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -113,14 +113,12 @@ build_ppc64: 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-powerpc64-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir script: - ./config_ppc64.sh - make -j "$NJOBS" - - cd test && make CCOMPOPTS=-static SIMU='qemu-ppc64' EXECUTE='qemu-ppc64' all test rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |