diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:41:51 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:41:51 +0200 |
| commit | 4b7dc067af57e6aa917e54f39219ede3e447dd71 (patch) | |
| tree | b585b3917fb0f705c627be50a68a0897b8f7d830 /.gitlab-ci.yml | |
| parent | d58991f4e9692c3d93b365eb0c1ee26a641dac6e (diff) | |
| download | compcert-kvx-4b7dc067af57e6aa917e54f39219ede3e447dd71.tar.gz compcert-kvx-4b7dc067af57e6aa917e54f39219ede3e447dd71.zip | |
opam update
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5ebdab54..22cbce98 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,6 +7,7 @@ check-admitted: before_script: - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_x86_64.sh @@ -26,6 +27,7 @@ build_x86_64: before_script: - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_x86_64.sh @@ -49,6 +51,7 @@ build_ia32: - sudo apt-get -y install gcc-multilib - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_ia32.sh @@ -72,6 +75,7 @@ build_aarch64: - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_aarch64.sh @@ -95,6 +99,7 @@ build_arm: - sudo apt-get -y install gcc-arm-linux-gnueabi qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_arm.sh @@ -119,6 +124,7 @@ build_armhf: - sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_armhf.sh @@ -142,6 +148,7 @@ build_ppc: - sudo apt-get -y install gcc-powerpc-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_ppc.sh @@ -163,6 +170,7 @@ build_ppc64: - sudo apt-get -y install gcc-powerpc64-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_ppc64.sh @@ -184,6 +192,7 @@ build_rv64: - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_rv64.sh @@ -207,6 +216,7 @@ build_rv32: - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - ./config_rv32.sh -no-runtime-lib @@ -232,6 +242,7 @@ build_kvx: - rm -rf download - opam switch 4.07.1+flambda - eval `opam config env` + - opam update - opam install -y menhir script: - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh |