From 482869eea4e4f28dd10a52e607e81d90729a78ba Mon Sep 17 00:00:00 2001 From: Henry Weller Date: Sun, 29 May 2016 22:27:46 +0100 Subject: [PATCH] CGAL: Upgraded to 4.8 --- etc/config.csh/CGAL | 2 +- etc/config.sh/CGAL | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/config.csh/CGAL b/etc/config.csh/CGAL index 7fb32e2493..fdff3cfa3a 100644 --- a/etc/config.csh/CGAL +++ b/etc/config.csh/CGAL @@ -31,7 +31,7 @@ #------------------------------------------------------------------------------ set boost_version=boost-system -set cgal_version=CGAL-4.7 +set cgal_version=CGAL-4.8 setenv BOOST_ARCH_PATH $WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$boost_version setenv CGAL_ARCH_PATH $WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$cgal_version diff --git a/etc/config.sh/CGAL b/etc/config.sh/CGAL index 072f1e669d..893c30f638 100644 --- a/etc/config.sh/CGAL +++ b/etc/config.sh/CGAL @@ -41,7 +41,7 @@ #------------------------------------------------------------------------------ boost_version=boost-system -cgal_version=CGAL-4.7 +cgal_version=CGAL-4.8 if [ -z "$SOURCE_CGAL_VERSIONS_ONLY" ] then