From 4d65f37630cf3245f9ab022f06baba8614ef9015 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Fri, 17 Jan 2020 01:12:03 +0100
Subject: [PATCH] Fix cgal some more
---
centos-7/Dockerfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/centos-7/Dockerfile b/centos-7/Dockerfile
index fb75c6f..702d6d4 100644
--- a/centos-7/Dockerfile
+++ b/centos-7/Dockerfile
@@ -292,7 +292,7 @@ ADD bash/pylon.sh /etc/profile.d/pylon.sh
RUN version=4.14.2 && \
yum install -y \
gmp-devel \
- mpfs-devel \
+ mpfr-devel \
&& \
yum clean all && \
source /etc/profile && \
--
GitLab