diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:29:34 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:29:34 +0100 |
| commit | f939375d5074fc9af004a4c3a3f51a7cb2b26caf (patch) | |
| tree | 82a04309f065fa33ce4d9b19d5525a670aff99d5 | |
| parent | 7eb27df1b3f682bef18e58783f4ed866183d4303 (diff) | |
| download | compcert-kvx-f939375d5074fc9af004a4c3a3f51a7cb2b26caf.tar.gz compcert-kvx-f939375d5074fc9af004a4c3a3f51a7cb2b26caf.zip | |
more config
| -rw-r--r-- | .gitlab-ci.yml | 25 | ||||
| -rw-r--r-- | config_ppc64.sh | 1 |
2 files changed, 24 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6aca7a8c..e67a7508 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -92,14 +92,35 @@ build_ppc: 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-multilib-powerpc-linux-gnu qemu-user + - sudo apt-get -y install gcc-powerpc-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir script: - ./config_ppc.sh - make -j "$NJOBS" - - cd test && make CCOMPOPTS=-static SIMU='qemu-ppc' EXECUTE='qemu-ppc' all test + rules: + - if: '$CI_COMMIT_BRANCH == "mppa-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "mppa-k1c"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always + - when: manual + +build_ppc64: + stage: build + 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 diff --git a/config_ppc64.sh b/config_ppc64.sh new file mode 100644 index 00000000..df31c18f --- /dev/null +++ b/config_ppc64.sh @@ -0,0 +1 @@ +exec ./config_simple.sh ppc64-linux --toolprefix powerpc64-linux-gnu- "$@" |