Added checking messeges for ilp, jvm

[r8150]

diff --git a/configure b/configure
index 83e5814..f8f60f9 100755 (executable)
--- 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 531ff0a..8999dc2 100644 (file)
--- 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