aboutsummaryrefslogtreecommitdiffstats
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml60
1 files changed, 24 insertions, 36 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0499abc2..10008017 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,9 +3,8 @@ stages:
check-admitted:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -13,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
@@ -23,9 +22,8 @@ check-admitted:
build_x86_64:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -35,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
@@ -45,11 +43,10 @@ build_x86_64:
build_ia32:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-multilib
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -59,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
@@ -69,11 +66,10 @@ build_ia32:
build_aarch64:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -83,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
@@ -93,11 +89,10 @@ build_aarch64:
build_arm:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-arm-linux-gnueabi qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -107,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
@@ -118,11 +113,10 @@ build_arm:
build_armhf:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -132,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
@@ -142,11 +136,10 @@ build_armhf:
build_ppc:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-powerpc-linux-gnu qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -154,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
@@ -164,11 +157,10 @@ build_ppc:
build_ppc64:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
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
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -176,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
@@ -186,11 +178,10 @@ build_ppc64:
build_rv64:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -200,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
@@ -210,11 +201,10 @@ build_rv64:
build_rv32:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -222,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
@@ -232,7 +222,7 @@ build_rv32:
build_kvx:
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
@@ -240,7 +230,6 @@ build_kvx:
- rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb download/*board-mgmt* download/*oce-host* download/*pocl*
- sudo dpkg -i download/*.deb
- rm -rf download
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
@@ -248,9 +237,9 @@ build_kvx:
- source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
- source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
- 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'
+ - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && 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
@@ -260,7 +249,7 @@ build_kvx:
pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?)
stage: build
- image: "coqorg/coq"
+ image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda
before_script:
- sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
- sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
@@ -268,7 +257,6 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil
- rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb download/*board-mgmt* download/*oce-host* download/*pocl*
- sudo dpkg -i download/*.deb
- rm -rf download
- - opam switch 4.07.1+flambda
- eval `opam config env`
- opam update
- opam install -y menhir
generated by cgit (git 2.34.1) at 2024-07-14 10:35:25 +0000