diff options
author | Brendan Kehoe <brendan@cygnus> | 1995-12-21 01:42:59 +0000 |
---|---|---|
committer | Brendan Kehoe <brendan@cygnus> | 1995-12-21 01:42:59 +0000 |
commit | 0b0124c6ccddb977b89fee805b7109fb276831f9 (patch) | |
tree | a1b9edcb5b981a2ab908f624ab311201b0a02e0e /configure.in | |
parent | 86587dd4ca8b8942ec9f8be1aaa53e6baab42702 (diff) | |
download | gdb-0b0124c6ccddb977b89fee805b7109fb276831f9.zip gdb-0b0124c6ccddb977b89fee805b7109fb276831f9.tar.gz gdb-0b0124c6ccddb977b89fee805b7109fb276831f9.tar.bz2 |
* configure.in (noconfigdirs): Add gas or ld if --with-gnu-as=no or
--with-gnu-ld=no.
Don't build/configure gas or ld if we said we don't want them.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 62 |
1 files changed, 35 insertions, 27 deletions
diff --git a/configure.in b/configure.in index 682af6c..68a08d0 100644 --- a/configure.in +++ b/configure.in @@ -526,6 +526,41 @@ if [ "${build}" != "${host}" ]; then noconfigdirs="$noconfigdirs expect dejagnu make texinfo diff" fi +# Set with_gnu_as and with_gnu_ld as appropriate. +# +# This is done by determining whether or not the appropriate directory +# is available, and by checking whether or not specific configurations +# have requested that this magic not happen. +# +# The command line options always override the explicit settings in +# configure.in, and the settings in configure.in override this magic. +# +# If the default for a toolchain is to use GNU as and ld, and you don't +# want to do that, then you should use the --without-gnu-as and +# --without-gnu-ld options for the configure script. + +if [ x${use_gnu_as} = x ] ; then + if [ x${with_gnu_as} != xno ] ; then + if echo " ${configdirs} " | grep " ${gasdir} " > /dev/null 2>&1 && [ -d ${srcdir}/${gasdir} ] ; then + with_gnu_as=yes + withoptions="$withoptions --with-gnu-as" + fi + else + noconfigdirs="$noconfigdirs gas" + fi +fi + +if [ x${use_gnu_ld} = x ] ; then + if [ x${with_gnu_ld} != xno ]; then + if echo " ${configdirs} " | grep " ld " > /dev/null 2>&1 && [ -d ${srcdir}/ld ] ; then + with_gnu_ld=yes + withoptions="$withoptions --with-gnu-ld" + fi + else + noconfigdirs="$noconfigdirs ld" + fi +fi + # Remove the entries in $skipdirs and $noconfigdirs from $configdirs and # $target_configdirs. # If we have the source for $noconfigdirs entries, add them to $notsupp. @@ -623,33 +658,6 @@ if [ -n "${notsupp}" ] && [ -z "${norecursion}" ]; then echo " (Any other directories should still work fine.)" 1>&2 fi -# Set with_gnu_as and with_gnu_ld as appropriate. -# -# This is done by determining whether or not the appropriate directory -# is available, and by checking whether or not specific configurations -# have requested that this magic not happen. -# -# The command line options always override the explicit settings in -# configure.in, and the settings in configure.in override this magic. -# -# If the default for a toolchain is to use GNU as and ld, and you don't -# want to do that, then you should use the --without-gnu-as and -# --without-gnu-ld options for the configure script. - -if [ x${use_gnu_as} = x ] ; then - if [ x${with_gnu_as} != xno ] && echo " ${configdirs} " | grep " ${gasdir} " > /dev/null 2>&1 && [ -d ${srcdir}/${gasdir} ] ; then - with_gnu_as=yes - withoptions="$withoptions --with-gnu-as" - fi -fi - -if [ x${use_gnu_ld} = x ] ; then - if [ x${with_gnu_ld} != xno ] && echo " ${configdirs} " | grep " ld " > /dev/null 2>&1 && [ -d ${srcdir}/ld ] ; then - with_gnu_ld=yes - withoptions="$withoptions --with-gnu-ld" - fi -fi - if [ x${enable_shared} = xyes ]; then case "${target}" in hppa*) target_makefile_frag=config/mt-papic ;; |