diff --git a/etc/config/settings.csh b/etc/config/settings.csh
index 8c9ac17c7a..ea1a3740c2 100644
--- a/etc/config/settings.csh
+++ b/etc/config/settings.csh
@@ -344,7 +344,7 @@ endif
 # ~~~~~~~~~~~~~~
 
 set boost_version=boost_1_45_0
-set cgal_version=CGAL-3.9
+set cgal_version=CGAL-4.0
 
 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