Browse Source

* configure.in (noconfigdirs): Put ld or gas in this early, if the

user specifically used --with-gnu-ld=no or --with-gnu-as=no.
gdb-4_18-branch
Brendan Kehoe 31 years ago
parent
commit
d4cf72b3cc
  1. 66
      configure.in

66
configure.in

@ -526,39 +526,16 @@ if [ "${build}" != "${host}" ]; then
noconfigdirs="$noconfigdirs expect dejagnu make texinfo diff" noconfigdirs="$noconfigdirs expect dejagnu make texinfo diff"
fi fi
# Set with_gnu_as and with_gnu_ld as appropriate. # Make sure we don't let GNU ld be added if we didn't want it.
# if [ x$with_gnu_ld = xno ]; then
# This is done by determining whether or not the appropriate directory use_gnu_ld=no
# is available, and by checking whether or not specific configurations noconfigdirs="$noconfigdirs ld"
# 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 fi
if [ x${use_gnu_ld} = x ] ; then # Make sure we don't let GNU as be added if we didn't want it.
if [ x${with_gnu_ld} != xno ]; then if [ x$with_gnu_as = xno ]; then
if echo " ${configdirs} " | grep " ld " > /dev/null 2>&1 && [ -d ${srcdir}/ld ] ; then use_gnu_as=no
with_gnu_ld=yes noconfigdirs="$noconfigdirs gas"
withoptions="$withoptions --with-gnu-ld"
fi
else
noconfigdirs="$noconfigdirs ld"
fi
fi fi
# Remove the entries in $skipdirs and $noconfigdirs from $configdirs and # Remove the entries in $skipdirs and $noconfigdirs from $configdirs and
@ -658,6 +635,33 @@ if [ -n "${notsupp}" ] && [ -z "${norecursion}" ]; then
echo " (Any other directories should still work fine.)" 1>&2 echo " (Any other directories should still work fine.)" 1>&2
fi 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 if [ x${enable_shared} = xyes ]; then
case "${target}" in case "${target}" in
hppa*) target_makefile_frag=config/mt-papic ;; hppa*) target_makefile_frag=config/mt-papic ;;

Loading…
Cancel
Save