-# Check whether --enable-statistics or --disable-statistics was given.
-if test "${enable_statistics+set}" = set; then
- enableval="$enable_statistics"
+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"