diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-02-10 10:54:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-02-10 10:54:48 +0000 |
| commit | 93341878ef637574c75fcf04401e511995c8b1ee (patch) | |
| tree | 46d887c4dae9f0ae893d94fbe4e3d1bb7bf0f00e /configure.in | |
| parent | 390e22e906592b4afb23b22b7fbcedfc84ef8121 (diff) | |
| download | ppe42-gcc-93341878ef637574c75fcf04401e511995c8b1ee.tar.gz ppe42-gcc-93341878ef637574c75fcf04401e511995c8b1ee.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@77594 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 11 |
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 |
