aboutsummaryrefslogtreecommitdiffstats
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml78
1 files changed, 64 insertions, 14 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f854fc3..0499abc2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,6 +7,7 @@ check-admitted:
before_script:
- opam switch 4.07.1+flambda
- eval `opam config env`
+ - opam update
- opam install -y menhir
script:
- ./config_x86_64.sh
@@ -14,7 +15,7 @@ check-admitted:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -26,6 +27,7 @@ build_x86_64:
before_script:
- opam switch 4.07.1+flambda
- eval `opam config env`
+ - opam update
- opam install -y menhir
script:
- ./config_x86_64.sh
@@ -35,7 +37,7 @@ build_x86_64:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -49,6 +51,7 @@ build_ia32:
- sudo apt-get -y install gcc-multilib
- opam switch 4.07.1+flambda
- eval `opam config env`
+ - opam update
- opam install -y menhir
script:
- ./config_ia32.sh
@@ -58,7 +61,7 @@ build_ia32:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -72,6 +75,7 @@ build_aarch64:
- 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
script:
- ./config_aarch64.sh
@@ -81,7 +85,7 @@ build_aarch64:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -95,6 +99,7 @@ build_arm:
- 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
script:
- ./config_arm.sh
@@ -104,7 +109,7 @@ build_arm:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -119,6 +124,7 @@ build_armhf:
- 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
script:
- ./config_armhf.sh
@@ -128,7 +134,7 @@ build_armhf:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -142,6 +148,7 @@ build_ppc:
- 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
script:
- ./config_ppc.sh
@@ -149,7 +156,7 @@ build_ppc:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -163,6 +170,7 @@ build_ppc64:
- 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
script:
- ./config_ppc64.sh
@@ -170,7 +178,7 @@ build_ppc64:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -184,6 +192,7 @@ build_rv64:
- 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
script:
- ./config_rv64.sh
@@ -193,7 +202,7 @@ build_rv64:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -207,6 +216,7 @@ build_rv32:
- 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
script:
- ./config_rv32.sh -no-runtime-lib
@@ -214,27 +224,67 @@ build_rv32:
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
- when: manual
-build_k1c:
+build_kvx:
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 sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
+ - ./.download_from_Kalray.sh
+ - 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
script:
- - ./config_k1c.sh -no-runtime-lib
- - make -j "$NJOBS"
+ - 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'
rules:
- if: '$CI_COMMIT_BRANCH == "mppa-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+ - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
- when: manual
+
+pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?)
+ 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 sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
+ - ./.download_from_Kalray.sh
+ - 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
+ - opam repo add coq-released https://coq.inria.fr/opam/released
+ - opam install coq-coq2html
+ script:
+ - 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 documentation
+ - mkdir public
+ - cp -r doc/* public/
+ - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html
+ - rm public/index-kvx.html
+ artifacts:
+ paths:
+ - public
+ rules:
+ - if: '$CI_COMMIT_BRANCH == "master"'
+ when: always
generated by cgit (git 2.34.1) at 2024-06-12 13:27:56 +0000