diff --git a/etc/settings.csh b/etc/settings.csh index 6c4d5cb02d..627d7099a9 100644 --- a/etc/settings.csh +++ b/etc/settings.csh @@ -267,7 +267,7 @@ endif # CGAL and boost # ~~~~~~~~~~~~~~ -set cgal_version=3.5.1 +set cgal_version=3.6 setenv CGAL_SRC $WM_THIRD_PARTY_DIR/CGAL-$cgal_version set boost_version=1_42_0 diff --git a/etc/settings.sh b/etc/settings.sh index a72cae2027..d35dc50c8f 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -311,7 +311,7 @@ export MPI_BUFFER_SIZE # CGAL and boost # ~~~~~~~~~~~~~~ -cgal_version=3.5.1 +cgal_version=3.6 export CGAL_SRC=$WM_THIRD_PARTY_DIR/CGAL-$cgal_version boost_version=1_42_0