From a39476be8e32d1062dcd5c7451b2f5f8dcc7239b Mon Sep 17 00:00:00 2001 From: graham Date: Thu, 21 Apr 2011 10:10:19 +0100 Subject: [PATCH] COMP: CGAL 3.8. --- etc/settings.csh | 2 +- etc/settings.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/settings.csh b/etc/settings.csh index c8807695b5..5b4c41df82 100644 --- a/etc/settings.csh +++ b/etc/settings.csh @@ -340,7 +340,7 @@ endif # ~~~~~~~~~~~~~~ set boost_version=boost_1_45_0 -set cgal_version=CGAL-3.7 +set cgal_version=CGAL-3.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/settings.sh b/etc/settings.sh index 650861fa10..84c6fd0bc1 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -358,7 +358,7 @@ fi # ~~~~~~~~~~~~~~ boost_version=boost_1_45_0 -cgal_version=CGAL-3.7 +cgal_version=CGAL-3.8 export BOOST_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$boost_version export CGAL_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$cgal_version