From fc2bbb93cbba403bcd64a80a0bdc99728a7bd7fa Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 2 Jul 2018 17:25:55 +0200
Subject: [ci] [docker] Make sure we don't install optional packages with apt.

This should help towards ensuring that the system only has the
packages we specify in the Dockerfile.

We were missing:

- `git`: used in the CI system itself!
- `rsync`: used in the test-suite
- `python3-setuptools`, `python3-wheel`: necessary to use pip3
  properly to install the missing python package.
- `autoconf`, `automake`: a few CI contribs depend on them.
---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 03aeed2eb..950674b34 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -11,7 +11,7 @@ defaults:
       - image: $CI_REGISTRY_IMAGE:$CACHEKEY
 
   environment: &envvars
-    CACHEKEY: "bionic_coq-V2018-06-13-V1"
+    CACHEKEY: "bionic_coq-V2018-07-02-V4"
     CI_REGISTRY_IMAGE: registry.gitlab.com/coq/coq
 
 version: 2
-- 
cgit v1.2.3