[Guile-commits] 16/34: Attempt to fix CI on Debian

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit f679e9e8afa641f8bca34e8e4a4981c508f4c0f4
Author: Andy Wingo <address@hidden>
Date:   Thu May 16 12:22:18 2019 +0200

    Attempt to fix CI on Debian
---
 .gitlab-ci.yml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3eb046b..3f6a6c8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,15 +1,11 @@
-# use the official gcc image, based on debian
-# can use verions as well, like gcc:5.2
-# see https://hub.docker.com/_/gcc/
 image: debian
 
 before_script:
   - dpkg --add-architecture i386
-  - dpkg --add-architecture arm64
   - apt-get update -qq
   - apt-get install -y
-      libc6-dev:amd64 libc6-dev:i386 libc6-dev:arm64
-      gcc gcc-multilib gcc-aarch64-linux-gnu make
+      libc6-dev:amd64 libc6-dev:i386 gcc gcc-multilib make
+      gcc-aarch64-linux-gnu libc-dev-arm64-cross
 
 x86-64:
   stage: test