From 3419d710bac05bb3df143d10e3a1a6db58b05586 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Thu, 29 Nov 2018 18:19:05 +0100
Subject: [PATCH] [ubuntu 18.04] Update cmake to 3.13.1
---
ubuntu-18.04/Dockerfile | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ubuntu-18.04/Dockerfile b/ubuntu-18.04/Dockerfile
index c91e178..9aa10e3 100644
--- a/ubuntu-18.04/Dockerfile
+++ b/ubuntu-18.04/Dockerfile
@@ -37,13 +37,13 @@ RUN apt-get install -y \
python3-distutils
RUN cd /tmp && \
- curl -sSLO https://cmake.org/files/v3.12/cmake-3.12.0.tar.gz && \
- tar -xf cmake-3.12.0.tar.gz && \
- cd cmake-3.12.0 && \
+ curl -sSLO https://cmake.org/files/v3.13/cmake-3.13.1.tar.gz && \
+ tar -xf cmake-3.13.1.tar.gz && \
+ cd cmake-3.13.1 && \
./configure --prefix=/usr/local && \
make install -j$(nproc --all) && \
cd .. && \
- rm -rf cmake-3.12.0*
+ rm -rf cmake-3.13.1*
RUN apt-get install -y \
libopenblas-dev \
--
GitLab