From e94fdee58d493a8a94df4dd4246b20101e859c6d Mon Sep 17 00:00:00 2001
From: Mark Olesen <Mark.Olesen@esi-group.com>
Date: Mon, 10 Aug 2020 14:38:38 +0200
Subject: [PATCH] STYLE: add hints about setting GMP/MPFR within
 etc/config.*sh/CGAL

---
 etc/config.csh/CGAL | 3 +++
 etc/config.sh/CGAL  | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/etc/config.csh/CGAL b/etc/config.csh/CGAL
index 9eab99eee8..89cf24b7ec 100644
--- a/etc/config.csh/CGAL
+++ b/etc/config.csh/CGAL
@@ -48,6 +48,9 @@ set cgal_version=CGAL-4.12.2
 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"
 
+# setenv GMP_ARCH_PATH ...
+# setenv MPFR_ARCH_PATH ...
+
 # END OF (NORMAL) USER EDITABLE PART
 #------------------------------------------------------------------------------
 if ($?FOAM_VERBOSE && $?prompt) then
diff --git a/etc/config.sh/CGAL b/etc/config.sh/CGAL
index ce985f1b24..98a8693b71 100644
--- a/etc/config.sh/CGAL
+++ b/etc/config.sh/CGAL
@@ -49,6 +49,9 @@ cgal_version=CGAL-4.12.2
 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"
 
+# export GMP_ARCH_PATH=...
+# export MPFR_ARCH_PATH=...
+
 # END OF (NORMAL) USER EDITABLE PART
 #------------------------------------------------------------------------------
 if [ -n "$FOAM_VERBOSE" ] && [ -n "$PS1" ]