Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 69c1fe17 authored by RILLING Louis's avatar RILLING Louis
Browse files

CI: Fix missing .debs

parent 6d349743
Pipeline #175680 failed with stages
in 4 minutes and 51 seconds
......@@ -35,7 +35,7 @@ qemu:
# Some missing build tools
#
- apt-get update
- apt-get install -y build-essential git pkg-config libglib2.0-dev libpixman-1-dev clang
- apt-get install -y build-essential git pkg-config libglib2.0-dev libpixman-1-dev
#
- git clone --depth 1 https://gitlab.inria.fr/msimonin/qemu.git -b dev/global_vsg src/qemu
- cd src/qemu
......@@ -59,7 +59,7 @@ tansiv:
# Some missing build tools
#
- apt-get update
- apt-get install -y curl git build-essential pkg-config libboost-dev cmake libcppunit-dev
- apt-get install -y curl git build-essential pkg-config libboost-dev cmake libcppunit-dev libglib-2.0-dev clang
- curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs > rustup-init
- sh rustup-init -y --profile minimal --default-toolchain $RUST_VERSION
- export PATH=$HOME/.cargo/bin:$PATH
......@@ -95,7 +95,7 @@ fake-vm:
image: rust:${RUST_VERSION}-slim-buster
script:
- apt-get update
- apt-get install -y build-essential
- apt-get install -y build-essential pkg-config libglib-2.0-dev clang
- cd src/fake-vm
- make build
- make test
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment