--- ./etc/config.sh/CGAL.orig 2020-07-04 12:28:32.082903795 +0200 +++ ./etc/config.sh/CGAL 2020-07-04 12:30:22.704797834 +0200 @@ -43,8 +43,8 @@ #------------------------------------------------------------------------------ # USER EDITABLE PART: Changes made here may be lost with the next upgrade -boost_version=boost_1_66_0 -cgal_version=CGAL-4.12.2 +boost_version=boost-system +cgal_version=cgal-system 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"