diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 21:01:52 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 21:01:52 +0100 |
| commit | 1069688c9d49fc6ea0f667f640b6a60d7b1fdd84 (patch) | |
| tree | b66fe6e77749e2183160f2e8fb506d4cbd64fad1 /.gitlab-ci.yml | |
| parent | 64ed780f6ad9512bd4de2a6ab5cf79234e4d34e7 (diff) | |
| download | compcert-kvx-1069688c9d49fc6ea0f667f640b6a60d7b1fdd84.tar.gz compcert-kvx-1069688c9d49fc6ea0f667f640b6a60d7b1fdd84.zip | |
fixing aarch64?
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a8120993..144c920a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,8 +1,9 @@ stages: - build + - build2 build_x86_64: - stage: build + stage: build2 image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -13,7 +14,7 @@ build_x86_64: - make -j "$NJOBS" build_ia32: - stage: build + stage: build2 image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -27,7 +28,8 @@ build_aarch64: stage: build image: "coqorg/coq" before_script: - - sudo apt install gcc-aarch64-linux-gnu + - sudo apt-get update + - sudo apt-get -y install gcc-aarch64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir @@ -36,10 +38,10 @@ build_aarch64: - make -j "$NJOBS" build_arm: - stage: build + stage: build2 image: "coqorg/coq" before_script: - - sudo apt install gcc-arm-linux-gnueabihf + - sudo apt-get -y install gcc-arm-linux-gnueabihf - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir @@ -48,10 +50,10 @@ build_arm: - make -j "$NJOBS" build_ppc: - stage: build + stage: build2 image: "coqorg/coq" before_script: - - sudo apt install gcc-powerpc-linux-gnu + - sudo apt-get -y install gcc-powerpc-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir @@ -60,10 +62,10 @@ build_ppc: - make -j "$NJOBS" build_rv64: - stage: build + stage: build2 image: "coqorg/coq" before_script: - - sudo apt install gcc-riscv64-linux-gnu + - sudo apt-get -y install gcc-riscv64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir @@ -72,10 +74,10 @@ build_rv64: - make -j "$NJOBS" build_rv32: - stage: build + stage: build2 image: "coqorg/coq" before_script: - - sudo apt install gcc-riscv64-linux-gnu + - sudo apt-get -y install gcc-riscv64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir |