aboutsummaryrefslogtreecommitdiffstats
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml118
1 files changed, 67 insertions, 51 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f992502..9f407912 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ check-admitted:
rules:
- if: '$CI_COMMIT_BRANCH == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -35,7 +35,7 @@ build_x86_64:
rules:
- if: '$CI_COMMIT_BRANCH == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -58,7 +58,7 @@ build_ia32:
rules:
- if: '$CI_COMMIT_BRANCH == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -76,12 +76,14 @@ build_aarch64:
script:
- ./config_aarch64.sh
- make -j "$NJOBS"
+ - export LD_LIBRARY_PATH=/usr/aarch64-linux-gnu/lib
+ - sudo ln -s /usr/aarch64-linux-gnu/lib/ld-linux-aarch64.so.1 /lib
- 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 == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -92,19 +94,23 @@ build_arm:
image: coqorg/coq:8.12.2-ocaml-4.11.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
+ - sudo apt-get -y install gcc-arm-linux-gnueabi libc6-dev-armel-cross qemu-user
- eval `opam config env`
- opam update
- opam install -y menhir
script:
- ./config_arm.sh
- make -j "$NJOBS"
+ - export LD_LIBRARY_PATH=/usr/arm-linux-gnueabi/lib
+ - sudo ln -s /usr/arm-linux-gnueabi/lib/ld-linux.so.3 /lib # FIXME: UGLY !
- 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 == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
+ when: always
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -116,65 +122,69 @@ build_armhf:
image: coqorg/coq:8.12.2-ocaml-4.11.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
+ - sudo apt-get -y install gcc-arm-linux-gnueabihf libc6-dev-armhf-cross qemu-user
- eval `opam config env`
- opam update
- opam install -y menhir
script:
- ./config_armhf.sh
- make -j "$NJOBS"
+ - export LD_LIBRARY_PATH=/usr/arm-linux-gnueabihf/lib
+ - sudo ln -s /usr/arm-linux-gnueabihf/lib/ld-linux-armhf.so.3 /lib # FIXME: UGLY !
- 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 == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
- when: always
- - if: '$CI_COMMIT_BRANCH == "master"'
- when: always
- - when: manual
-
-build_ppc:
- stage: build
- image: coqorg/coq:8.12.2-ocaml-4.11.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
- - eval `opam config env`
- - opam update
- - opam install -y menhir
- script:
- - ./config_ppc.sh
- - make -j "$NJOBS"
- rules:
- - if: '$CI_COMMIT_BRANCH == "kvx-work"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
- when: manual
-build_ppc64:
- stage: build
- image: coqorg/coq:8.12.2-ocaml-4.11.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
- - eval `opam config env`
- - opam update
- - opam install -y menhir
- script:
- - ./config_ppc64.sh
- - make -j "$NJOBS"
- rules:
- - if: '$CI_COMMIT_BRANCH == "kvx-work"'
- when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
- when: always
- - if: '$CI_COMMIT_BRANCH == "master"'
- when: always
- - when: manual
+# build_ppc:
+# stage: build
+# image: coqorg/coq:8.12.2-ocaml-4.11.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
+# - eval `opam config env`
+# - opam update
+# - opam install -y menhir
+# script:
+# - ./config_ppc.sh
+# - make -j "$NJOBS"
+# rules:
+# - if: '$CI_COMMIT_BRANCH == "kvx-work"'
+# when: always
+# - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
+# when: always
+# - if: '$CI_COMMIT_BRANCH == "master"'
+# when: always
+# - when: manual
+
+# build_ppc64:
+# stage: build
+# image: coqorg/coq:8.12.2-ocaml-4.11.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
+# - eval `opam config env`
+# - opam update
+# - opam install -y menhir
+# script:
+# - ./config_ppc64.sh
+# - make -j "$NJOBS"
+# rules:
+# - if: '$CI_COMMIT_BRANCH == "kvx-work"'
+# when: always
+# - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
+# when: always
+# - if: '$CI_COMMIT_BRANCH == "master"'
+# when: always
+# - when: manual
build_rv64:
stage: build
@@ -188,12 +198,14 @@ build_rv64:
script:
- ./config_rv64.sh
- make -j "$NJOBS"
+ - export LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib
+ - sudo ln -s /usr/riscv64-linux-gnu/lib/ld-linux-riscv64-lp64d.so.1 /lib
- 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 == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -214,7 +226,9 @@ build_rv32:
rules:
- if: '$CI_COMMIT_BRANCH == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
+ when: always
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
@@ -241,7 +255,9 @@ build_kvx:
rules:
- if: '$CI_COMMIT_BRANCH == "kvx-work"'
when: always
- - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
+ when: always
+ - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
when: always
- if: '$CI_COMMIT_BRANCH == "master"'
when: always
generated by cgit (git 2.34.1) at 2024-06-12 11:38:30 +0000