AC_DEFINE(FIRM_ENABLE_HOOKS)
)
-dnl enable Firm inplace edges
-dnl -------------
-AC_ARG_ENABLE(inplace_edges,
-[ --disable-inplace-edges disable Firm inplace edges],
-[if test "$enableval" = yes; then
- AC_DEFINE(FIRM_EDGES_INPLACE)
-fi],
-AC_DEFINE(FIRM_EDGES_INPLACE)
-)
-
dnl enable Firm statistics
dnl -------------
AC_ARG_ENABLE(statistics,
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 JVM calling from Firm
+dnl --------------------------------
+AC_ARG_ENABLE(jvm,
+[ --enable-jvm enable to call the jvm],
+[if test "$enableval"=yes; then
+ AC_DEFINE(WITH_JVM)
+fi])
+AC_SUBST(enable_jvm)
+
+
+
dnl enable wchar_t support for identifiers
dnl --------------------------------
AC_ARG_ENABLE(wchar_support,
AC_OUTPUT($ac_output_file,[ touch stamp-h ])
dnl snip the lower part of config.h and put it to ir/config/firm_config.h
+for i in $plugin_subdirs
+do
+ suffix=`echo $i | tr /a-z _A-Z`
+ echo "/* enabled plugin: $i */" >> config.h
+ echo "#define PLUGIN_$suffix 1" >> config.h
+done
+
$AWK -f $CONF_DIR_NAME/filter.awk < config.h | sed -f $CONF_DIR_NAME/filter.sed > ir/config/firm_config.h