From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 21 Aug 2012 13:24:22 +0000 (+0000)
Subject: Print some text when taking METIS from the envoronment.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f3642d1516f5a6489f488ff5bbeb13dd0bf344d6;p=dealii-svn.git

Print some text when taking METIS from the envoronment.

git-svn-id: https://svn.dealii.org/trunk@26048 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/aclocal.m4 b/deal.II/aclocal.m4
index 3c12985d5c..fe852cf8e6 100644
--- a/deal.II/aclocal.m4
+++ b/deal.II/aclocal.m4
@@ -7186,6 +7186,7 @@ AC_DEFUN(DEAL_II_CONFIGURE_METIS, dnl
      [
         dnl Take something from the environment variables, if it is there
         if test "x$METIS_DIR" != "x" ; then
+          AC_MSG_CHECKING([for METIS from the environment])
           USE_CONTRIB_METIS=yes
           DEAL_II_METIS_DIR="$METIS_DIR"
           AC_MSG_RESULT($DEAL_II_METIS_DIR)
diff --git a/deal.II/configure b/deal.II/configure
index 4aa91dead8..729eecb2e8 100755
--- a/deal.II/configure
+++ b/deal.II/configure
@@ -12663,6 +12663,8 @@ $as_echo "$DEAL_II_METIS_DIR" >&6; }
 else
 
                 if test "x$METIS_DIR" != "x" ; then
+          { $as_echo "$as_me:${as_lineno-$LINENO}: checking for METIS from the environment" >&5
+$as_echo_n "checking for METIS from the environment... " >&6; }
           USE_CONTRIB_METIS=yes
           DEAL_II_METIS_DIR="$METIS_DIR"
           { $as_echo "$as_me:${as_lineno-$LINENO}: result: $DEAL_II_METIS_DIR" >&5