diff options
| author | Ian Lance Taylor <ian@airs.com> | 1994-08-26 15:19:54 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1994-08-26 15:19:54 +0000 |
| commit | 1c15a33d100687323bab0d1514b938e06589466c (patch) | |
| tree | ca9925873a2705bb377da91a76b5f8abb4ffefb0 /configure.in | |
| parent | fc10f31e8ba83dcd21737721279bf5ec35b4947b (diff) | |
| download | gdb-1c15a33d100687323bab0d1514b938e06589466c.zip gdb-1c15a33d100687323bab0d1514b938e06589466c.tar.gz gdb-1c15a33d100687323bab0d1514b938e06589466c.tar.bz2 | |
* configure.in: Recognize --without-newlib.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/configure.in b/configure.in index 76a7e16..25d1824 100644 --- a/configure.in +++ b/configure.in @@ -173,7 +173,10 @@ case ${with_x} in ;; esac - +# Recognize --without-newlib. +if [ x${with_newlib} = xno ]; then + configdirs=`echo " ${configdirs} " | sed -e 's/ newlib / /'` +fi # Some tools are only suitable for building in a "native" situation. # Those are added when we have a host==target configuration. For cross @@ -224,9 +227,6 @@ case "${host}" in esac - - - case "${target}" in alpha-dec-osf1*) noconfigdirs="$noconfigdirs emacs emacs19 fileutils grep newlib" @@ -337,9 +337,11 @@ case "${target}" in ;; esac +# Remove the entries in $noconfigdirs from $configdirs. If we have the +# source for them, add them to $notsupp. notsupp="" for dir in . $noconfigdirs ; do - if [ $dir != . ] && echo "# ${configdirs} #" | grep "${dir} " >/dev/null 2>&1 ; then + if [ $dir != . ] && echo " ${configdirs} " | grep " ${dir} " >/dev/null 2>&1; then configdirs=`echo " ${configdirs} " | sed -e "s/ ${dir} / /"` if [ -r $srcdir/$dir/configure ] || [ -r $srcdir/$dir/configure.in ]; then notsupp="$notsupp $dir" @@ -359,7 +361,7 @@ if [ -n "${notsupp}" ] && [ -z "${norecursion}" ]; then # pretend that all is well.) if [ -n "$appdirs" ]; then for dir in $appdirs ; do - if [ -r $dir/Makefile.in ] && echo "# ${configdirs} #" | grep "${dir} " >/dev/null 2>&1 ; then + if [ -r $dir/Makefile.in ] && echo " ${configdirs} " | grep " ${dir} " >/dev/null 2>&1 ; then appdirs="" break fi |