diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 21:18:28 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 21:18:28 +0100 |
commit | 090dc09e4dbda97eea4ed28e67d84adf26f807f7 (patch) | |
tree | 9d913d21ce9b63abd4fa79f8ade13a64cca436d3 /.gitlab-ci.yml | |
parent | e8408d8d85b3961a1cf177b3e8a307f80319e4e7 (diff) | |
download | compcert-kvx-090dc09e4dbda97eea4ed28e67d84adf26f807f7.tar.gz compcert-kvx-090dc09e4dbda97eea4ed28e67d84adf26f807f7.zip |
apt update
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index abe1724a..a285d8f2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,9 +1,8 @@ stages: - build - - build2 build_x86_64: - stage: build2 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -14,7 +13,7 @@ build_x86_64: - make -j "$NJOBS" build_ia32: - stage: build2 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -38,9 +37,10 @@ build_aarch64: - make -j "$NJOBS" build_arm: - stage: build2 + stage: build image: "coqorg/coq" 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 - opam switch 4.07.1+flambda - eval `opam config env` @@ -50,9 +50,10 @@ build_arm: - make -j "$NJOBS" build_ppc: - stage: build2 + stage: build image: "coqorg/coq" 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 - opam switch 4.07.1+flambda - eval `opam config env` @@ -62,9 +63,10 @@ build_ppc: - make -j "$NJOBS" build_rv64: - stage: build2 + stage: build image: "coqorg/coq" before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-riscv64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` @@ -74,9 +76,10 @@ build_rv64: - make -j "$NJOBS" build_rv32: - stage: build2 + stage: build image: "coqorg/coq" before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-riscv64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` |