From: Christian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Date: Tue, 7 Mar 2006 14:57:09 +0000 (+0000)
Subject: added WITH_ILP switch
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=130abd1083622be17140b9fb698a70f035cef321;p=libfirm

added WITH_ILP switch

[r7423]
---

diff --git a/config.h.in b/config.h.in
index a6df31c4c..9ea178324 100644
--- a/config.h.in
+++ b/config.h.in
@@ -95,6 +95,9 @@
 /* define to 1 to use the libcore */
 #undef WITH_LIBCORE
 
+/* define to 1 to use the ILP solver */
+#undef WITH_ILP
+
 /* define to 1 to have wchar_t support for identifiers */
 #define FIRM_ENABLE_WCHAR
 
diff --git a/configure b/configure
index ae8aaeeb3..395c0d48f 100755
--- a/configure
+++ b/configure
@@ -309,7 +309,7 @@ ac_includes_default="\
 # 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.
@@ -853,6 +853,7 @@ Optional Features:
   --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
 
@@ -1587,6 +1588,19 @@ fi
 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"
@@ -5914,6 +5928,7 @@ s,@enable_heapanalysis@,$enable_heapanalysis,;t t
 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
diff --git a/configure.in b/configure.in
index 94534326f..1928cbf0c 100644
--- a/configure.in
+++ b/configure.in
@@ -197,6 +197,16 @@ AC_ARG_ENABLE(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,