+dnl enable libcore debugging support
+dnl --------------------------------
+AC_ARG_ENABLE(libcore,
+[ --enable-libcore enable libcore debugging],
+[if test "$enableval"=yes; then
+ AC_DEFINE(WITH_LIBCORE)
+fi])
+AC_SUBST(enable_libcore)
+
+dnl enable ILP solver support
+dnl --------------------------------
+AC_ARG_ENABLE(ilp,
+[ --enable-ilp enable ilp solver],
+[if test "$enableval"=yes; then
+ AC_DEFINE(WITH_ILP)
+fi])
+AC_SUBST(enable_ilp)
+
+
+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)
+fi])
+AC_SUBST(enable_wchar_support)
+
+
+dnl disable external effects in XML
+dnl -------------------------------
+AC_MSG_CHECKING([for using external effects in xml2])
+AC_ARG_ENABLE(external-effects,
+[ --disable-external-effects disable descriptions of external effects in XML],
+[if test "$enableval"="no"; then
+ enable_external_effects=no
+fi],
+[enable_external_effects=yes])
+AC_SUBST(enable_external_effects)
+if test "$enable_external_effects" == no; then
+ AC_MSG_RESULT([disabled])
+else
+ AC_MSG_RESULT([enabled])
+fi
+dnl check for header and library below
+