-AC_ARG_ENABLE(libcore,
-[ --enable-libcore enable libcore debugging],
-[if test "$enableval"=yes; then
- AC_DEFINE(WITH_LIBCORE)
-fi])
-AC_SUBST(enable_libcore)
+AC_ARG_ENABLE([ilp],
+[AS_HELP_STRING([--enable-ilp], [enable ilp solver])],
+[enable_ilp="$enableval"], [enable_ilp="no"])
+
+if test "$enable_ilp" = yes; then
+ AC_DEFINE([WITH_ILP], [], [compile with ilp solver support])
+fi
+AC_SUBST(enable_ilp)
+
+dnl enable JVM calling from Firm
+dnl --------------------------------
+AC_ARG_ENABLE([jvm],
+[AS_HELP_STRING([--enable-jvm], [enable to call the jvm])],
+[enable_jvm="$enableval"], [enable_jvm="no"])
+
+if test "$enable_jvm" = yes; then
+ AC_DEFINE([WITH_JVM], [], [compile with jvm support])
+fi
+AC_SUBST(enable_jvm)
+
+dnl enable wchar_t support for identifiers
+dnl --------------------------------
+AC_ARG_ENABLE([wchar_support],
+[AS_HELP_STRING([--enable-wchar-support], [enable wchar_t support for identifiers (needed for java)])],
+[enable_wchar_support="$enableval"], [enable_wchar_support="no"])
+
+if test "$enable_wchar_support" = yes; then
+ AC_DEFINE([FIRM_ENABLE_WCHAR], [], [enable wchar_t support for identifiers])
+fi
+AC_SUBST([enable_wchar_support])