From a553dacf267a3073a35d15bfd109467c7285d4a7 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 31 Aug 2006 13:25:03 +0000
Subject: [PATCH] Added checking messeges for ilp, jvm

[r8150]
---
 configure    | 19 ++++++++++++++++++-
 configure.in | 13 ++++++++++++-
 2 files changed, 30 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 83e5814d9..f8f60f97e 100755
--- a/configure
+++ b/configure
@@ -1571,6 +1571,8 @@ fi
 fi;
 
 
+echo "$as_me:$LINENO: checking for ilp solver support" >&5
+echo $ECHO_N "checking for ilp solver support... $ECHO_C" >&6
 # Check whether --enable-ilp or --disable-ilp was given.
 if test "${enable_ilp+set}" = set; then
   enableval="$enable_ilp"
@@ -1582,7 +1584,16 @@ _ACEOF
 fi
 fi;
 
+if test "$enable_ilp" == yes; then
+  echo "$as_me:$LINENO: result: enabled" >&5
+echo "${ECHO_T}enabled" >&6
+else
+  echo "$as_me:$LINENO: result: disabled" >&5
+echo "${ECHO_T}disabled" >&6
+fi
 
+echo "$as_me:$LINENO: checking for jvm support" >&5
+echo $ECHO_N "checking for jvm support... $ECHO_C" >&6
 # Check whether --enable-jvm or --disable-jvm was given.
 if test "${enable_jvm+set}" = set; then
   enableval="$enable_jvm"
@@ -1594,7 +1605,13 @@ _ACEOF
 fi
 fi;
 
-
+if test "$enable_jvm" == yes; then
+  echo "$as_me:$LINENO: result: enabled" >&5
+echo "${ECHO_T}enabled" >&6
+else
+  echo "$as_me:$LINENO: result: disabled" >&5
+echo "${ECHO_T}disabled" >&6
+fi
 
 
 # Check whether --enable-wchar_support or --disable-wchar_support was given.
diff --git a/configure.in b/configure.in
index 531ff0ad6..8999dc2d8 100644
--- a/configure.in
+++ b/configure.in
@@ -189,22 +189,33 @@ AC_SUBST(enable_libcore)
 
 dnl enable ILP solver support
 dnl --------------------------------
+AC_MSG_CHECKING([for ilp solver support])
 AC_ARG_ENABLE(ilp,
 [  --enable-ilp            enable ilp solver],
 [if test "$enableval"=yes; then
   AC_DEFINE(WITH_ILP)
 fi])
 AC_SUBST(enable_ilp)
+if test "$enable_ilp" == yes; then
+  AC_MSG_RESULT([enabled])
+else
+  AC_MSG_RESULT([disabled])
+fi
 
 dnl enable JVM calling from Firm
 dnl --------------------------------
+AC_MSG_CHECKING([for jvm support])
 AC_ARG_ENABLE(jvm,
 [  --enable-jvm            enable to call the jvm],
 [if test "$enableval"=yes; then
   AC_DEFINE(WITH_JVM)
 fi])
 AC_SUBST(enable_jvm)
-
+if test "$enable_jvm" == yes; then
+  AC_MSG_RESULT([enabled])
+else
+  AC_MSG_RESULT([disabled])
+fi
 
 
 dnl enable wchar_t support for identifiers
-- 
2.20.1