+dnl enable libcore debugging support
+dnl --------------------------------
+AC_ARG_ENABLE(libcore,
+[ --enable-libcore enable libcore debugging],
+[if test "$enableval"=yes; then
+ AC_DEFINE([WITH_LIBCORE], [], [compile with libcore support])
+fi])
+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], [], [compile with ilp solver support])
+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], [], [compile with jvm support])
+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
+dnl --------------------------------
+AC_ARG_ENABLE(wchar_support,
+[ --enable-wchar-support enable wchar_t support for identifiers (needed for java)],
+[if test "$enableval"=yes; then
+ AC_DEFINE([FIRM_ENABLE_WCHAR], [], [enable wchar_t support for identifiers])
+fi])
+AC_SUBST(enable_wchar_support)
+
+