-AC_ARG_ENABLE(statistics,
-[ --enable-statistics enable Firm statistics],
-[if test "$enableval"=yes; then
- AC_DEFINE(FIRM_STATISTICS)
-fi])
-AC_SUBST(enable_statistics)
-
-dnl enable libcore debugging support
+AC_ARG_ENABLE([statistics],
+[AS_HELP_STRING([--enable-statistics], [enable Firm statistics])],
+[enable_statistics="$enableval"], [enable_statistics="no"])
+
+if test "$enable_statistics" = yes; then
+ AC_DEFINE([FIRM_STATISTICS], [], [enable statistics code])
+fi
+AC_SUBST([enable_statistics])
+
+dnl enable libcore support
+dnl --------------------------------
+AC_ARG_ENABLE([libcore],
+[AS_HELP_STRING([--disable-libcore], [disable libcore support])],
+[enable_libcore="$enableval"],[enable_libcore="yes"])
+
+AC_SUBST([enable_libcore])
+
+dnl enable ILP solver support
+dnl --------------------------------
+AC_ARG_ENABLE([ilp],
+[AS_HELP_STRING([--enable-ilp], [enable ilp solver])],
+[enable_ilp="$enableval"], [enable_ilp="no"])
+
+if test "$enable_ilp" = yes; then
+ AC_DEFINE([WITH_ILP], [], [compile with ilp solver support])
+fi
+AC_SUBST(enable_ilp)
+
+dnl enable JVM calling from Firm