diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:19:18 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:19:18 +0100 |
| commit | 4f3f8ce2a1da0362575087c642cc4e51fe0c9849 (patch) | |
| tree | 3b342e2c4611f63d7a95e895451e89347358509f /.gitlab-ci.yml | |
| parent | 995df48bc3920b774a43da7612b1c63faa2ec7d4 (diff) | |
| download | compcert-kvx-4f3f8ce2a1da0362575087c642cc4e51fe0c9849.tar.gz compcert-kvx-4f3f8ce2a1da0362575087c642cc4e51fe0c9849.zip | |
with several jobs
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9e6d21b0..b31d676f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,14 +1,8 @@ stages: - - build_ppc - - build_aarch64 - - build_arm - - build_rv64 - - build_rv32 - - build_x86_64 - - build_x86 + - build build_x86_64: - stage: build_x86_64 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -19,7 +13,7 @@ build_x86_64: - make -j "$NJOBS" build_x86: - stage: build_x86 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -30,7 +24,7 @@ build_x86: - make -j "$NJOBS" build_aarch64: - stage: build_aarch64 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-aarch64-linux-gnu @@ -42,7 +36,7 @@ build_aarch64: - make -j "$NJOBS" build_arm: - stage: build_arm + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-arm-linux-gnueabihf @@ -54,7 +48,7 @@ build_arm: - make -j "$NJOBS" build_ppc: - stage: build_ppc + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-powerpc-linux-gnu @@ -66,7 +60,7 @@ build_ppc: - make -j "$NJOBS" build_rv64: - stage: build_rv64 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-riscv64-linux-gnu @@ -78,7 +72,7 @@ build_rv64: - make -j "$NJOBS" build_rv32: - stage: build_rv32 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-riscv64-linux-gnu |