diff --git a/ci/Dockerfile_ci_base b/ci/Dockerfile_ci_base index ae8677b5bb309a498c8da19a1bb707665f840b58..2587118692cb38c9fb3d9f6df5b419fa7a013aaf 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