diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:44:06 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:44:06 +0200 |
| commit | 064e0f7b32e28d96d245e40a76f2d3045270d4ac (patch) | |
| tree | 109d84257b5db5bd5c68de800747da9061b66d20 /.gitlab-ci.yml | |
| parent | 3a4e2750897b640d9e6be7a56091872525b5c375 (diff) | |
| download | compcert-kvx-064e0f7b32e28d96d245e40a76f2d3045270d4ac.tar.gz compcert-kvx-064e0f7b32e28d96d245e40a76f2d3045270d4ac.zip | |
kvx-work now has CI automatically
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 964d6655..3b1a86fd 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,7 +12,7 @@ check-admitted: - ./config_x86_64.sh - make check-admitted rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -33,7 +33,7 @@ build_x86_64: - make -C test all test - ulimit -s65536 && make -C test/monniaux/yarpgen rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -56,7 +56,7 @@ build_ia32: - make -C test all test - ulimit -s65536 && make -C test/monniaux/yarpgen BITS=32 TARGET_CC='gcc -m32' rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -79,7 +79,7 @@ build_aarch64: - make -C test CCOMPOPTS='-static' SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -102,7 +102,7 @@ build_arm: - make -C test CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabi-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -126,7 +126,7 @@ build_armhf: - make -C test CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -147,7 +147,7 @@ build_ppc: - ./config_ppc.sh - make -j "$NJOBS" rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -168,7 +168,7 @@ build_ppc64: - ./config_ppc64.sh - make -j "$NJOBS" rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -191,7 +191,7 @@ build_rv64: - make -C test CCOMPOPTS=-static SIMU='qemu-riscv64' EXECUTE='qemu-riscv64' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='riscv64-linux-gnu-gcc' EXECUTE='qemu-riscv64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -212,7 +212,7 @@ build_rv32: - ./config_rv32.sh -no-runtime-lib - make -j "$NJOBS" rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always @@ -239,7 +239,7 @@ build_kvx: - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test - source /opt/kalray/accesscore/kalray.sh && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - - if: '$CI_COMMIT_BRANCH == "mppa-work"' + - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always - if: '$CI_COMMIT_BRANCH == "mppa-kvx"' when: always |