This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
3rd PATCH to pre-select languages to be built
- To: law at cygnus dot com
- Subject: 3rd PATCH to pre-select languages to be built
- From: Manfred Hollstein <manfred at s-direktnet dot de>
- Date: Fri, 23 Oct 1998 12:28:12 +0200 (MET DST)
- Cc: egcs-patches at cygnus dot com, burley at gnu dot org, jbuck at synopsys dot com, pfeifer at dbai dot tuwien dot ac dot at, rearnsha at arm dot com
- References: <13844.62616.64201.274193@saturn.hollstein.net> <11646.908431264@hurl.cygnus.com>
- Reply-To: manfred at s-direktnet dot de, Manfred dot Hollstein at ks dot sel dot alcatel dot de
Being online again ;-)
On Thu, 15 October 1998, 00:01:04, law@cygnus.com wrote:
> So, instead of having all the complexity to avoid building runtimes based on
> LANGUAGES, why don't we have the runtime dirs not configure if the appropriate
> compiler isn't built?
Agreed.
>
> configuring of target subdirs happens *after* the compiler has been built, so
> we can check for the existance of (for example) f771 or g77 and if they are
> not available, then we simply don't configure/build libf2c.
This is what the new patch below does.
>
> This could even be put in the configure files for the subdirs instead of
> the toplevel makefile. This is more scaleable too :-)
Yep.
>
> I can accept the concept of enable/disabling of languages :-) I just want to
> look for ways to do this that don't require butchering the toplevel files too
> badly. They're a *MAJOR* pain in the butt to keep sync'd with various other
> trees (like gas, gdb, binutils, etc).
I've considered this as the most important reason *against* my 2nd
patch, too.
>
> Similarly, I'm tempted to control the configury of language subdirs based on
> the enable/disable stuff. I don't see the need/desire to continue the
> awkward LANGUAGES convention for selecting what to build.
Of course you're right, but most people were used to control this stuff
via LANGUAGES during the last years. I believe, we should retain it
as a fall-back solution, if no --enable-languages has been given, but
LANGUAGES is defined when calling configure. OK?
The rationale behind this patch is this:
1. From the user's point of view:
When configure'ing the whole egcs package, add
--enable-languages=lang1,lang2,...
or define the environment variable
LANGUAGES="lang1 lang2 ..."
if you intend to build lang1, lang2 and lang... If neither is defined,
all languages available in the gcc sub-tree will be configure'd.
Re-defining LANGUAGES when calling "make bootstrap" *does not* work
anymore, as those language sub-directories might not have been
configure'd!
"make bootstrap" will then build only the configure'd compiler passes.
Each language's runtime configure script will determine, if the necessary
compiler pass has been built, and if not, *nothing* is done.
2. From the developer's point of view:
Adding a new language to gcc is pretty much transparent; simply create
the various <lang>/{Make,config}-lang.in files as usual.
Each runtime sub-directory's (such as "libf2c") configure script
has to append some shell script code, which determines if the
particular compiler has been built, and, if not, creates a
"dummy" Makefile instead of the autoconfiscated one. Similar
things need to be done for those dirs, which are not already
autoconf aware (e.g. libio and libstdc++).
Please review the patch below and tell me, how do you think. If this scheme
will be accepted, I'll add similar stuff to libg++, too, which will then be
released as libg++-2.8.1.2a soon.
Thanx
manfred
In gcc/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (enable_languages): Add new configuration parameter
"--enable-languages=lang1,lang2,...".
(${srcdir}/*/config-lang.in): Change handling to configure only
those directories, that the user might have enabled; default to
"all" existing languages.
* configure: Regenerate.
In libchill/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (AC_OUTPUT): Add checks if the compiler for this particular
runtime system does exist; generate a dummy Makefile otherwise.
* configure: Regenerate.
In libf2c/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (AC_OUTPUT): Add checks if the compiler for this particular
runtime system does exist; generate a dummy Makefile otherwise.
* configure: Regenerate.
In libio/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (post-target): Add checks if the compiler for this particular
runtime system does exist; generate a dummy Makefile otherwise.
In libobjc/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (AC_OUTPUT): Add checks if the compiler for this particular
runtime system does exist; generate a dummy Makefile otherwise.
* configure: Regenerate.
In libstdc++/:
1998-10-18 Manfred Hollstein <manfred@s-direktnet.de>
* configure.in (post-target): Add checks if the compiler for this particular
runtime system does exist; generate a dummy Makefile otherwise.
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/gcc/configure.in egcs-19981017/gcc/configure.in
--- egcs-19981017.orig/gcc/configure.in Sat Oct 17 10:49:57 1998
+++ egcs-19981017/gcc/configure.in Sun Oct 18 11:45:50 1998
@@ -3782,6 +3782,16 @@ fi
AC_MSG_RESULT($gcc_cv_as_subsections)
# Figure out what language subdirectories are present.
+# Look if the user specified --enable-languages="..."; if not, use
+# the environment variable $LANGUAGES if defined. $LANGUAGES might
+# go away some day.
+if test "${enable_languages+set}" != set; then
+ if test "${LANGUAGES+set}" = set; then
+ enable_languages="`echo ${LANGUAGES} | tr ' ' ','`"
+ else
+ enable_languages=all
+ fi
+fi
subdirs=
for lang in ${srcdir}/*/config-lang.in ..
do
@@ -3790,13 +3800,39 @@ do
# The odd quoting in the next line works around
# an apparent bug in bash 1.12 on linux.
changequote(,)dnl
- ${srcdir}/ada/config-lang.in)
- if test x$gnat = xyes ; then
- subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
- fi
- ;;
${srcdir}/[*]/config-lang.in) ;;
- *) subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`" ;;
+ *)
+ lang_alias="`sed -n -e 's,^language=["'"'"']\(.*\)["'"'"'].*$,\1,p' -e 's,^language=\([^ ]*\).*$,\1,p' $lang`"
+ if test "x$lang_alias" = x
+ then
+ echo "$lang doesn't set \$language." 1>&2
+ exit 1
+ fi
+ if test x"${enable_languages}" = xall; then
+ add_this_lang=yes
+ else
+ case "${enable_languages}" in
+ ${lang_alias} | "${lang_alias},"* | *",${lang_alias},"* | *",${lang_alias}" )
+ add_this_lang=yes
+ ;;
+ * )
+ add_this_lang=no
+ ;;
+ esac
+ fi
+ if test x"${add_this_lang}" = xyes; then
+ case $lang in
+ ${srcdir}/ada/config-lang.in)
+ if test x$gnat = xyes ; then
+ subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
+ fi
+ ;;
+ *)
+ subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
+ ;;
+ esac
+ fi
+ ;;
changequote([,])dnl
esac
done
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/gcc/configure egcs-19981017/gcc/configure
--- egcs-19981017.orig/gcc/configure Sat Oct 17 18:54:21 1998
+++ egcs-19981017/gcc/configure Sun Oct 18 11:46:28 1998
@@ -5673,6 +5673,16 @@ fi
echo "$ac_t""$gcc_cv_as_subsections" 1>&6
# Figure out what language subdirectories are present.
+# Look if the user specified --enable-languages="..."; if not, use
+# the environment variable $LANGUAGES if defined. $LANGUAGES might
+# go away some day.
+if test "${enable_languages+set}" != set; then
+ if test "${LANGUAGES+set}" = set; then
+ enable_languages="`echo ${LANGUAGES} | tr ' ' ','`"
+ else
+ enable_languages=all
+ fi
+fi
subdirs=
for lang in ${srcdir}/*/config-lang.in ..
do
@@ -5680,13 +5690,39 @@ do
..) ;;
# The odd quoting in the next line works around
# an apparent bug in bash 1.12 on linux.
- ${srcdir}/ada/config-lang.in)
- if test x$gnat = xyes ; then
- subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
- fi
- ;;
${srcdir}/[*]/config-lang.in) ;;
- *) subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`" ;;
+ *)
+ lang_alias="`sed -n -e 's,^language=["'"'"']\(.*\)["'"'"'].*$,\1,p' -e 's,^language=\([^ ]*\).*$,\1,p' $lang`"
+ if test "x$lang_alias" = x
+ then
+ echo "$lang doesn't set \$language." 1>&2
+ exit 1
+ fi
+ if test x"${enable_languages}" = xall; then
+ add_this_lang=yes
+ else
+ case "${enable_languages}" in
+ ${lang_alias} | "${lang_alias},"* | *",${lang_alias},"* | *",${lang_alias}" )
+ add_this_lang=yes
+ ;;
+ * )
+ add_this_lang=no
+ ;;
+ esac
+ fi
+ if test x"${add_this_lang}" = xyes; then
+ case $lang in
+ ${srcdir}/ada/config-lang.in)
+ if test x$gnat = xyes ; then
+ subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
+ fi
+ ;;
+ *)
+ subdirs="$subdirs `echo $lang | sed -e 's,^.*/\([^/]*\)/config-lang.in$,\1,'`"
+ ;;
+ esac
+ fi
+ ;;
esac
done
@@ -5869,7 +5905,7 @@ fi
# Warn if using init_priority.
echo $ac_n "checking whether to enable init_priority by default""... $ac_c" 1>&6
-echo "configure:5873: checking whether to enable init_priority by default" >&5
+echo "configure:5909: checking whether to enable init_priority by default" >&5
if test x$enable_init_priority != xyes; then
enable_init_priority=no
fi
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libchill/configure.in egcs-19981017/libchill/configure.in
--- egcs-19981017.orig/libchill/configure.in Tue Sep 22 14:00:12 1998
+++ egcs-19981017/libchill/configure.in Sun Oct 18 14:00:01 1998
@@ -101,6 +101,37 @@ if test -n "$CONFIG_FILES"; then
ac_file=Makefile
. ${topsrcdir}/config-ml.in
fi
+fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1chill
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
fi],
srcdir=${srcdir}
host=${host}
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libchill/configure egcs-19981017/libchill/configure
--- egcs-19981017.orig/libchill/configure Sat Oct 17 18:54:21 1998
+++ egcs-19981017/libchill/configure Sun Oct 18 14:00:03 1998
@@ -1463,6 +1463,37 @@ if test -n "$CONFIG_FILES"; then
. ${topsrcdir}/config-ml.in
fi
fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1chill
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
+fi
exit 0
EOF
chmod +x $CONFIG_STATUS
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libf2c/configure.in egcs-19981017/libf2c/configure.in
--- egcs-19981017.orig/libf2c/configure.in Sat Oct 17 10:50:15 1998
+++ egcs-19981017/libf2c/configure.in Sun Oct 18 13:59:48 1998
@@ -184,6 +184,37 @@ if test -n "$CONFIG_FILES"; then
ac_file=Makefile
. ${topsrcdir}/config-ml.in
fi
+fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=f771
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
fi],
srcdir=${srcdir}
host=${host}
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libf2c/configure egcs-19981017/libf2c/configure
--- egcs-19981017.orig/libf2c/configure Sat Oct 17 18:54:21 1998
+++ egcs-19981017/libf2c/configure Sun Oct 18 13:59:50 1998
@@ -1494,6 +1494,37 @@ if test -n "$CONFIG_FILES"; then
. ${topsrcdir}/config-ml.in
fi
fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=f771
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
+fi
exit 0
EOF
chmod +x $CONFIG_STATUS
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libio/configure.in egcs-19981017/libio/configure.in
--- egcs-19981017.orig/libio/configure.in Wed Sep 9 20:16:35 1998
+++ egcs-19981017/libio/configure.in Sun Oct 18 13:53:24 1998
@@ -136,14 +136,46 @@ fi
# post-target:
-# If cross-compiling, we install in $(tooldir)/lib or in $(libsubdir)
-# depending on --enable-version-specific-runtime-libs.
-if [ -n "${with_cross_host}" ] ; then
- rm -f Makefile.tem
- sed \
- -e 's|\(^[ ]*INSTALLDIR[ ]*=[ ]*\)\$(libdir)|\1$(tooldir)/lib|' \
- Makefile >Makefile.tem
- mv -f Makefile.tem Makefile
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1plus
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
fi
-. ${topsrcdir}/config-ml.in
+if [ $skip_this_dir = yes ]; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
+else
+ # If cross-compiling, we install in $(tooldir)/lib or in $(libsubdir)
+ # depending on --enable-version-specific-runtime-libs.
+ if [ -n "${with_cross_host}" ] ; then
+ rm -f Makefile.tem
+ sed \
+ -e 's|\(^[ ]*INSTALLDIR[ ]*=[ ]*\)\$(libdir)|\1$(tooldir)/lib|' \
+ Makefile >Makefile.tem
+ mv -f Makefile.tem Makefile
+ fi
+
+ . ${topsrcdir}/config-ml.in
+fi
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libobjc/configure.in egcs-19981017/libobjc/configure.in
--- egcs-19981017.orig/libobjc/configure.in Thu Oct 1 23:35:22 1998
+++ egcs-19981017/libobjc/configure.in Sun Oct 18 14:00:14 1998
@@ -99,6 +99,37 @@ if test -n "$CONFIG_FILES"; then
ac_file=Makefile
. ${topsrcdir}/config-ml.in
fi
+fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1obj
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
fi],
srcdir=${srcdir}
host=${host}
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libobjc/configure egcs-19981017/libobjc/configure
--- egcs-19981017.orig/libobjc/configure Sat Oct 17 18:54:21 1998
+++ egcs-19981017/libobjc/configure Sun Oct 18 14:00:16 1998
@@ -1346,6 +1346,37 @@ if test -n "$CONFIG_FILES"; then
. ${topsrcdir}/config-ml.in
fi
fi
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1obj
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
+fi
+
+if test $skip_this_dir = yes; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
+fi
exit 0
EOF
chmod +x $CONFIG_STATUS
diff -rup -x CVS -x RCS -x *.o -x *.info* -x *.html* -x *.elc -x *.dvi -x *.orig -x *~ -x version.el egcs-19981017.orig/libstdc++/configure.in egcs-19981017/libstdc++/configure.in
--- egcs-19981017.orig/libstdc++/configure.in Wed Sep 9 20:16:35 1998
+++ egcs-19981017/libstdc++/configure.in Sun Oct 18 13:53:49 1998
@@ -103,14 +103,46 @@ LIBC_INTERFACE=${libc_interface}
# post-target:
-# If cross-compiling, we install in $(tooldir)/lib or in $(libsubdir)
-# depending on --enable-version-specific-runtime-libs.
-if [ -n "${with_cross_host}" ] ; then
- rm -f Makefile.tem
- sed \
- -e 's|\(^[ ]*INSTALLDIR[ ]*=[ ]*\)\$(libdir)|\1$(tooldir)/lib|' \
- Makefile >Makefile.tem
- mv -f Makefile.tem Makefile
+# If the language specific compiler does not exist, but the "gcc" directory does,
+# we do not build anything. Note, $r is set by the top-level Makefile.
+compiler_name=cc1plus
+if test -n "$r"; then
+ if test -d "$r"/gcc; then
+ skip_this_dir=yes
+ compiler_exec="`${CC} --print-file-name=${compiler_name} 2> /dev/null`"
+ if test -f "$compiler_exec"; then
+ case $compiler_exec in
+ "$r/"*"/$compiler_name" )
+ skip_this_dir=no
+ ;;
+ esac
+ fi
+ else
+ skip_this_dir=no
+ fi
+else
+ skip_this_dir=no
fi
-. ${topsrcdir}/config-ml.in
+if [ $skip_this_dir = yes ]; then
+ rm -f Makefile
+ cat > Makefile << EOF_dummy
+# This is a dummy Makefile only, because the language specific compiler $compiler_name
+# has not been built.
+
+all check dvi info install install-info:
+ @echo Ignoring dummy target \$@.
+EOF_dummy
+else
+ # If cross-compiling, we install in $(tooldir)/lib or in $(libsubdir)
+ # depending on --enable-version-specific-runtime-libs.
+ if [ -n "${with_cross_host}" ] ; then
+ rm -f Makefile.tem
+ sed \
+ -e 's|\(^[ ]*INSTALLDIR[ ]*=[ ]*\)\$(libdir)|\1$(tooldir)/lib|' \
+ Makefile >Makefile.tem
+ mv -f Makefile.tem Makefile
+ fi
+
+ . ${topsrcdir}/config-ml.in
+fi