# include <unistd.h>
#endif"
-ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS libfirm_conf_env plugin_subdirs XML2CONFIG enable_debug_libfirm enable_profile_libfirm enable_auto_documentation enable_firm_jni enable_heapanalysis disable_libiberty enable_statistics enable_libcore enable_wchar_support enable_external_effects CC CFLAGS LDFLAGS CPPFLAGS ac_ct_CC EXEEXT OBJEXT AWK LD ac_ct_LD libfirm_cv_prog_ld_r AR TAR RANLIB ac_ct_RANLIB INSTALL_PROGRAM INSTALL_SCRIPT INSTALL_DATA LN_S DOXYGEN DOT JAVAC JAVAH CPP EGREP LIBOBJS LTLIBOBJS'
+ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS libfirm_conf_env plugin_subdirs XML2CONFIG enable_debug_libfirm enable_profile_libfirm enable_auto_documentation enable_firm_jni enable_heapanalysis disable_libiberty enable_statistics enable_libcore enable_ilp enable_wchar_support enable_external_effects CC CFLAGS LDFLAGS CPPFLAGS ac_ct_CC EXEEXT OBJEXT AWK LD ac_ct_LD libfirm_cv_prog_ld_r AR TAR RANLIB ac_ct_RANLIB INSTALL_PROGRAM INSTALL_SCRIPT INSTALL_DATA LN_S DOXYGEN DOT JAVAC JAVAH CPP EGREP LIBOBJS LTLIBOBJS'
ac_subst_files=''
# Initialize some variables set by options.
--disable-inplace-edges disable Firm inplace edges
--enable-statistics enable Firm statistics
--enable-libcore enable libcore debugging
+ --enable-ilp enable ilp solver
--enable-wchar-support enable wchar_t support for identifiers (needed for java)
--disable-external-effects disable descriptions of external effects in XML
fi;
+# Check whether --enable-ilp or --disable-ilp was given.
+if test "${enable_ilp+set}" = set; then
+ enableval="$enable_ilp"
+ if test "$enableval"=yes; then
+ cat >>confdefs.h <<\_ACEOF
+#define WITH_ILP 1
+_ACEOF
+
+fi
+fi;
+
+
+
# Check whether --enable-wchar_support or --disable-wchar_support was given.
if test "${enable_wchar_support+set}" = set; then
enableval="$enable_wchar_support"
s,@disable_libiberty@,$disable_libiberty,;t t
s,@enable_statistics@,$enable_statistics,;t t
s,@enable_libcore@,$enable_libcore,;t t
+s,@enable_ilp@,$enable_ilp,;t t
s,@enable_wchar_support@,$enable_wchar_support,;t t
s,@enable_external_effects@,$enable_external_effects,;t t
s,@CC@,$CC,;t t
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,