summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorDJ Delorie <dj@delorie.com>2004-02-10 17:57:02 +0000
committerDJ Delorie <dj@delorie.com>2004-02-10 17:57:02 +0000
commitd656111bfe05e96b41d78c5cf641cf764aca3ac8 (patch)
treebbc6fcab0b522b08d3dd041c3787057870da3ad0 /configure.in
parentedc7038a31d3aae9740f36d430ab8375e1450a4d (diff)
downloadgdb-d656111bfe05e96b41d78c5cf641cf764aca3ac8.tar.gz
2004-02-10 Arnaud Charlet <charlet@act-europe.fr>,
Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6637, PR ada/5911 Merge with libada-branch: * configure.in, Makefile.tpl, Makefile.def: Add target-libada, with appropriate dependencies. Add --enable-libada configure switch. * configure, Makefile.in: Regenerate.
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in11
1 files changed, 10 insertions, 1 deletions
diff --git a/configure.in b/configure.in
index eb374a45b38..5657a2d90bb 100644
--- a/configure.in
+++ b/configure.in
@@ -151,7 +151,8 @@ target_libraries="target-libiberty \
target-libstdc++-v3 \
target-libf2c \
${libgcj} \
- target-libobjc"
+ target-libobjc \
+ target-libada"
# these tools are built using the target libraries, and are intended to
# run only in the target environment
@@ -306,6 +307,14 @@ case "${host}" in
;;
esac
+AC_ARG_ENABLE(libada,
+[ --enable-libada Builds libada directory],
+ENABLE_LIBADA=$enableval,
+ENABLE_LIBADA=yes)
+if test "${ENABLE_LIBADA}" != "yes" ; then
+ noconfigdirs="$noconfigdirs target-libada"
+fi
+
# Save it here so that, even in case of --enable-libgcj, if the Java
# front-end isn't enabled, we still get libgcj disabled.
libgcj_saved=$libgcj