diff --git a/etc/config.csh/CGAL b/etc/config.csh/CGAL index 7fb32e249..fdff3cfa3 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 072f1e669..893c30f63 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