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