+dnl set firm jni
+dnl ------------
+AC_ARG_ENABLE(firmjni,
+[ --enable-firmjni check for tools necesarry to construct a java native interface for Firm],
+[if test "$enableval"=yes; then
+ enable_firm_jni=yes
+fi],
+[enable_firm_jni=no])
+AC_SUBST(enable_firm_jni)
+
+dnl set heap analyses support
+dnl -------------------------
+AC_MSG_CHECKING([for heapanalysis])
+AC_ARG_ENABLE(heapanalysis, [ --enable-heapanalysis Compile with heap analysis.],
+ [enable_heapanalysis=$enableval], [enable_heapanalysis="no"])
+if test "$enable_heapanalysis" = "no"; then
+ AC_MSG_RESULT([disabled])
+else
+ AC_DEFINE([DO_HEAPANALYSIS], [], [enable heap analysis])
+ AC_MSG_RESULT([enabled])
+fi
+AC_SUBST(enable_heapanalysis)
+
+dnl disable linking of libiberty parts (xmalloc, xprintf, obstack, ...)
+dnl ----------------------
+AC_ARG_ENABLE(libiberty,
+[ --disable-libiberty disable own libiberty parts],
+[if test "$enableval"=yes; then
+ disable_libiberty=yes
+fi],
+[disable_libiberty=no])
+AC_SUBST(disable_libiberty)
+
+dnl enable Firm hooks
+dnl -------------
+AC_ARG_ENABLE(hooks,
+[ --disable-hooks disable Firm hooks],
+[if test "$enableval" = yes; then
+ AC_DEFINE([FIRM_ENABLE_HOOKS], [], [enable firm hooks])
+fi],
+AC_DEFINE(FIRM_ENABLE_HOOKS)
+)
+
+dnl enable Firm statistics
+dnl -------------
+AC_ARG_ENABLE(statistics,
+[ --enable-statistics enable Firm statistics],
+[if test "$enableval"=yes; then
+ AC_DEFINE([FIRM_STATISTICS], [], [enable statistics code])
+fi])
+AC_SUBST(enable_statistics)
+
+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)
+
+
+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
+