aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Dockerfile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index bf20e420..b8711744 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,7 +2,7 @@ FROM ubuntu:18.04
RUN apt-get update && \
DEBIAN_FRONTEND=noninteractive apt-get install -y tzdata && \
- apt-get remove -y python libcurl4 && \
+ apt-get remove -y python && \
apt-get install -y --no-install-recommends \
git \
build-essential \
@@ -14,11 +14,13 @@ RUN apt-get update && \
liblzma-dev \
libgit2-dev \
libxml2-dev \
+ libcurl4=7.58.0-2ubuntu3.8 \
libcurl4-openssl-dev \
libcurl4-gnutls-dev \
libssl-dev \
libopenblas-dev
+
# Make sure python means python3
RUN apt-get install -y --no-install-recommends \
python3 \