+dnl check for verifier
+AC_MSG_CHECKING(whether classfile verification should be enabled)
+AC_ARG_ENABLE([verifier],
+ [AS_HELP_STRING(--disable-verifier,disable classfile verification [[default=yes]])],
+ [case "${enableval}" in
+ no) ENABLE_VERIFIER=no;;
+ *) ENABLE_VERIFIER=yes;;
+ esac],
+ [ENABLE_VERIFIER=yes])
+AC_MSG_RESULT(${ENABLE_VERIFIER})
+AM_CONDITIONAL([ENABLE_VERIFIER], test x"${ENABLE_VERIFIER}" = "xyes")
+
+if test x"${ENABLE_VERIFIER}" = "xyes"; then
+ AC_DEFINE([ENABLE_VERIFIER], 1, [enable classfile verification])
+fi
+
+
+dnl check for compiler timing
+AC_MSG_CHECKING(whether real-time timing should be enabled)
+AC_ARG_ENABLE([rt-timing],
+ [AS_HELP_STRING(--enable-rt-timing,enable real-time timing [[default=no]])],
+ [case "${enableval}" in
+ yes) ENABLE_RT_TIMING=yes;;
+ *) ENABLE_RT_TIMING=no;;
+ esac],
+ [ENABLE_RT_TIMING=no])
+AC_MSG_RESULT(${ENABLE_RT_TIMING})
+AM_CONDITIONAL([ENABLE_RT_TIMING], test x"${ENABLE_RT_TIMING}" = "xyes")
+
+if test x"${ENABLE_RT_TIMING}" = "xyes"; then
+ AC_DEFINE([ENABLE_RT_TIMING], 1, [enable real-time timing])
+fi
+
+
+dnl check for cycle count statistics
+AC_MSG_CHECKING(whether cycle count statistics should be enabled)
+AC_ARG_ENABLE([cycles-stats],
+ [AS_HELP_STRING(--enable-cycles-stats,enable cycle count statistics [[default=no]])],
+ [case "${enableval}" in
+ yes) ENABLE_CYCLES_STATS=yes;;
+ *) ENABLE_CYCLES_STATS=no;;
+ esac],
+ [ENABLE_CYCLES_STATS=no])
+AC_MSG_RESULT(${ENABLE_CYCLES_STATS})
+AM_CONDITIONAL([ENABLE_CYCLES_STATS], test x"${ENABLE_CYCLES_STATS}" = "xyes")
+
+if test x"${ENABLE_CYCLES_STATS}" = "xyes"; then
+ AC_DEFINE([ENABLE_CYCLES_STATS], 1, [enable cycle count statistics])
+fi
+
+