diff --git a/etc/config/settings.csh b/etc/config/settings.csh index d153e4216f..40209222bc 100644 --- a/etc/config/settings.csh +++ b/etc/config/settings.csh @@ -349,6 +349,12 @@ setenv BOOST_ARCH_PATH $WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$boost setenv CGAL_ARCH_PATH $WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$cgal_version # enabled if CGAL is available +if ($?FOAM_VERBOSE && $?prompt) then + echo "Checking for" + echo " $cgal_version at $CGAL_ARCH_PATH" + echo " $boost_version at $BOOST_ARCH_PATH" +endif + if ( -d "$CGAL_ARCH_PATH" ) then if ( -d "$BOOST_ARCH_PATH" ) then _foamAddLib $BOOST_ARCH_PATH/lib diff --git a/etc/config/settings.sh b/etc/config/settings.sh index bc87934f5b..c323c50c75 100644 --- a/etc/config/settings.sh +++ b/etc/config/settings.sh @@ -368,6 +368,13 @@ export BOOST_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$boost export CGAL_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$cgal_version # enabled if CGAL is available +if [ "$FOAM_VERBOSE" -a "$PS1" ] +then + echo "Checking for" + echo " $cgal_version at $CGAL_ARCH_PATH" + echo " $boost_version at $BOOST_ARCH_PATH" +fi + if [ -d "$CGAL_ARCH_PATH" ] then if [ -d "$BOOST_ARCH_PATH" ]