From 599ef2ea4cf6f305097809ef123f948ac6c21429 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 20 Mar 2020 20:11:41 +0100
Subject: more architectures

---
 .gitlab-ci.yml | 77 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)

(limited to '.gitlab-ci.yml')

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"
-- 
cgit