--enable-profile enable profiling
--enable-autodoc enable auto documentation
--enable-firmjni check for tools necesarry to construct a java native interface for Firm
--enable-profile enable profiling
--enable-autodoc enable auto documentation
--enable-firmjni check for tools necesarry to construct a java native interface for Firm
ir/ana/Makefile ir/tr/Makefile ir/ana2/Makefile ir/stat/Makefile \
ir/opt/Makefile ir/external/Makefile ir/config/Makefile \
testprograms/Makefile firmjni/Makefile firmjni/testprograms/Makefile \
ir/ana/Makefile ir/tr/Makefile ir/ana2/Makefile ir/stat/Makefile \
ir/opt/Makefile ir/external/Makefile ir/config/Makefile \
testprograms/Makefile firmjni/Makefile firmjni/testprograms/Makefile \
if test "${with_includedir+set}" = set; then
withval="$with_includedir"
CPPFLAGS=$CPPFLAGS" -I"`echo $withval|sed 's;\:; -I;g'`
if test "${with_includedir+set}" = set; then
withval="$with_includedir"
CPPFLAGS=$CPPFLAGS" -I"`echo $withval|sed 's;\:; -I;g'`
# Check whether --enable-heapanalysis or --disable-heapanalysis was given.
if test "${enable_heapanalysis+set}" = set; then
enableval="$enable_heapanalysis"
# Check whether --enable-heapanalysis or --disable-heapanalysis was given.
if test "${enable_heapanalysis+set}" = set; then
enableval="$enable_heapanalysis"
+# Check whether --enable-backend or --disable-backend was given.
+if test "${enable_backend+set}" = set; then
+ enableval="$enable_backend"
+ if test "$enableval" = "yes"; then
+ cat >>confdefs.h <<\_ACEOF
+#define FIRM_BACKEND 1
+_ACEOF
+
+fi
+else
+ enable_backend="yes"
+fi;
+
+
# Check whether --enable-libiberty or --disable-libiberty was given.
if test "${enable_libiberty+set}" = set; then
enableval="$enable_libiberty"
# Check whether --enable-libiberty or --disable-libiberty was given.
if test "${enable_libiberty+set}" = set; then
enableval="$enable_libiberty"
# Check whether --enable-external-effects or --disable-external-effects was given.
if test "${enable_external_effects+set}" = set; then
enableval="$enable_external_effects"
# Check whether --enable-external-effects or --disable-external-effects was given.
if test "${enable_external_effects+set}" = set; then
enableval="$enable_external_effects"
s,@enable_auto_documentation@,$enable_auto_documentation,;t t
s,@enable_firm_jni@,$enable_firm_jni,;t t
s,@enable_heapanalysis@,$enable_heapanalysis,;t t
s,@enable_auto_documentation@,$enable_auto_documentation,;t t
s,@enable_firm_jni@,$enable_firm_jni,;t t
s,@enable_heapanalysis@,$enable_heapanalysis,;t t
s,@disable_libiberty@,$disable_libiberty,;t t
s,@enable_statistics@,$enable_statistics,;t t
s,@enable_external_effects@,$enable_external_effects,;t t
s,@disable_libiberty@,$disable_libiberty,;t t
s,@enable_statistics@,$enable_statistics,;t t
s,@enable_external_effects@,$enable_external_effects,;t t