From 8d25ea12a152fa49470fbbbce330814e67dc932d Mon Sep 17 00:00:00 2001 From: Mizux Seiha Date: Wed, 30 Sep 2020 18:21:56 +0200 Subject: [PATCH] tools(docker): Fix debian-10 --- tools/docker/debian-10.Dockerfile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/docker/debian-10.Dockerfile b/tools/docker/debian-10.Dockerfile index 94dfa03ef8..fae671ce61 100644 --- a/tools/docker/debian-10.Dockerfile +++ b/tools/docker/debian-10.Dockerfile @@ -5,11 +5,16 @@ FROM debian:10 AS env ############# RUN apt-get update -qq \ && apt-get install -qq \ - git pkg-config wget make cmake autoconf libtool zlib1g-dev gawk g++ curl subversion \ + git pkg-config wget make autoconf libtool zlib1g-dev gawk g++ curl subversion \ swig lsb-release \ default-jdk maven \ && apt-get clean \ && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* +# Install CMake 3.18.1 +RUN wget "https://cmake.org/files/v3.18/cmake-3.18.1-Linux-x86_64.sh" \ +&& chmod a+x cmake-3.18.1-Linux-x86_64.sh \ +&& ./cmake-3.18.1-Linux-x86_64.sh --prefix=/usr/local/ --skip-license \ +&& rm cmake-3.18.1-Linux-x86_64.sh # Dotnet Install # see https://docs.microsoft.com/en-us/dotnet/core/install/linux-package-manager-debian10