From d6bd941761a6487351c050ff1b1eeb2bfed58338 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Fri, 17 Jan 2020 01:10:48 +0100
Subject: [PATCH] Fix cgal
---
centos-7/Dockerfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/centos-7/Dockerfile b/centos-7/Dockerfile
index 88a7fbe..fb75c6f 100644
--- a/centos-7/Dockerfile
+++ b/centos-7/Dockerfile
@@ -298,8 +298,8 @@ RUN version=4.14.2 && \
source /etc/profile && \
cd /tmp && \
curl -sSLO https://github.com/CGAL/cgal/releases/download/releases/CGAL-${version}/CGAL-${version}.tar.xz && \
- tar -xf CGAL-${version}-x86_64.tar.xz && \
- cd CGAL-${version}-x86_64 && \
+ tar -xf CGAL-${version}.tar.xz && \
+ cd CGAL-${version} && \
cmake -S. -B build -G Ninja \
-DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr/local \
-DCGAL_HEADER_ONLY=ON \
--
GitLab