--enable-heapanalysis Compile with heap analysis.
--disable-libiberty disable own libiberty parts
--disable-hooks disable Firm hooks
- --disable-inplace-edges disable Firm inplace edges
--enable-statistics enable Firm statistics
--enable-libcore enable libcore debugging
- --enable-ilp enable ilp solver
+ --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
_ACEOF
-fi;
-
-# Check whether --enable-inplace_edges or --disable-inplace_edges was given.
-if test "${enable_inplace_edges+set}" = set; then
- enableval="$enable_inplace_edges"
- if test "$enableval" = yes; then
- cat >>confdefs.h <<\_ACEOF
-#define FIRM_EDGES_INPLACE 1
-_ACEOF
-
-fi
-else
- cat >>confdefs.h <<\_ACEOF
-#define FIRM_EDGES_INPLACE 1
-_ACEOF
-
-
fi;
# Check whether --enable-statistics or --disable-statistics was given.