diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:11:41 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:11:41 +0100 |
| commit | 599ef2ea4cf6f305097809ef123f948ac6c21429 (patch) | |
| tree | 53da750dc417cb477b055d6c253a151809bcad1f /.gitlab-ci.yml | |
| parent | 43e091310b69f39e0591ee71922121a7508c3987 (diff) | |
| download | compcert-kvx-599ef2ea4cf6f305097809ef123f948ac6c21429.tar.gz compcert-kvx-599ef2ea4cf6f305097809ef123f948ac6c21429.zip | |
more architectures
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2745b1eb..6eacd8bc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,5 +1,11 @@ stages: + - build_ppc + - build_aarch64 + - build_arm + - build_rv64 + - build_rv32 - build_x86_64 + - build_x86 build_x86_64: stage: build_x86_64 @@ -11,3 +17,74 @@ build_x86_64: script: - ./config_x86_64.sh - make -j "$NJOBS" + +build_x86: + stage: build_x86 + image: "coqorg/coq" + before_script: + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_x86.sh + - make -j "$NJOBS" + +build_aarch64: + stage: build_aarch64 + image: "coqorg/coq" + before_script: + - sudo apt install gcc-aarch64-linux-gnu + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_aarch64.sh + - make -j "$NJOBS" + +build_arm: + stage: build_arm + image: "coqorg/coq" + before_script: + - sudo apt install gcc-arm-linux-gnueabihf + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_arm.sh + - make -j "$NJOBS" + +build_ppc: + stage: build_ppc + image: "coqorg/coq" + before_script: + - sudo apt install gcc-powerpc-linux + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_ppc.sh + - make -j "$NJOBS" + +build_rv64: + stage: build_rv64 + image: "coqorg/coq" + before_script: + - sudo apt install gcc-riscv64-linux-gnu + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_rv64.sh + - make -j "$NJOBS" + +build_rv32: + stage: build_rv32 + image: "coqorg/coq" + before_script: + - sudo apt install gcc-riscv64-linux-gnu + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_rv32.sh + - make -j "$NJOBS" |