+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"
+ if test "$enableval"=yes; then
+ cat >>confdefs.h <<\_ACEOF
+#define WITH_JVM 1
+_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