+AC_ARG_ENABLE([libcore],
+[AS_HELP_STRING([--disable-libcore], [disable libcore support])],
+[enable_libcore="$enableval"],[enable_libcore="yes"])
+
+AC_SUBST([enable_libcore])
+
+dnl enable ILP solver support
+dnl --------------------------------
+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])