From 70b48f33a54500a2e6975b03b25dce198579e151 Mon Sep 17 00:00:00 2001 From: mattijs Date: Thu, 21 Jul 2011 15:42:31 +0100 Subject: [PATCH] ENH: etc/settings: cgal message --- etc/config/settings.csh | 6 ++++++ etc/config/settings.sh | 7 +++++++ 2 files changed, 13 insertions(+) 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" ]