From 0020357f309cb32bad86672fc14f769ab1571917 Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Wed, 9 Dec 2020 13:18:13 +0100
Subject: [PATCH] Install docker & docker-compose properly

---
 ci/Dockerfile_ci_base | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/ci/Dockerfile_ci_base b/ci/Dockerfile_ci_base
index ae8677b5b..258711869 100644
--- a/ci/Dockerfile_ci_base
+++ b/ci/Dockerfile_ci_base
@@ -5,4 +5,14 @@
 #
 FROM centos:centos8.3.2011
 
-RUN yum -y install make docker
+# install Docker, see dockers://docs.docker.com/engine/install/centos/
+RUN yum install -y yum-utils
+RUN yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.repo
+RUN yum -y install docker-ce-cli
+
+# install Docker Compose, see https://github.com/docker/compose/releases
+RUN yum -y install python3-pip
+RUN pip3 install docker-compose
+
+# other dependencies
+RUN yum -y install make
-- 
GitLab