more decriptive configure output for an in-place build
svn: r2963
This commit is contained in:
parent
c727afef04
commit
595c3bd546
|
@ -105,7 +105,7 @@ the Unix instructions below, but note the following:
|
|||
MzScheme and/or MrEd. The current directory at the time
|
||||
`configure' is run will be used as working space for building the
|
||||
executables (independent of --prefix). This build directory does
|
||||
not have to be in the plt/ tree, even for an "in-place"
|
||||
not have to be in the source tree, even for an "in-place"
|
||||
build. It's ok to run `configure' from its own directory (as in
|
||||
the example above), but it's often better to pick a separate build
|
||||
directory that is otherwise empty.
|
||||
|
@ -302,6 +302,7 @@ configurations for the following platforms:
|
|||
HP/UX
|
||||
FreeBSD
|
||||
OpenBSD
|
||||
NetBSD
|
||||
OSF1 (Alpha)
|
||||
SCO Unix (x86)
|
||||
|
||||
|
|
13
src/configure
vendored
13
src/configure
vendored
|
@ -13380,7 +13380,18 @@ fi
|
|||
|
||||
|
||||
if test "${inplacebuild}" = "yes" ; then
|
||||
echo ">>> Installation is in-place"
|
||||
echo ">>> Installation is in-place:"
|
||||
echo " ${srcdir}/.."
|
||||
echo " Configure with --prefix if you wanted to install somewhere else."
|
||||
if test "${enable_quartz}" != "yes" ; then
|
||||
echo " The --prefix option also makes the installed files better conform"
|
||||
echo " to Unix installation conventions. (The configure script will show"
|
||||
echo " you specific installation paths when --prefix is used.)"
|
||||
fi
|
||||
if test "${enable_shared}" != "yes" ; then
|
||||
echo " Alternately, you can simply "'`'"mv' the in-place installation after"
|
||||
echo " running "'`'"make install'."
|
||||
fi
|
||||
else
|
||||
echo ">>> Installation targets:"
|
||||
echo " executables : ${bindir}/..."
|
||||
|
|
|
@ -1268,7 +1268,18 @@ fi
|
|||
AC_OUTPUT($makefiles)
|
||||
|
||||
if test "${inplacebuild}" = "yes" ; then
|
||||
echo ">>> Installation is in-place"
|
||||
echo ">>> Installation is in-place:"
|
||||
echo " ${srcdir}/.."
|
||||
echo " Configure with --prefix if you wanted to install somewhere else."
|
||||
if test "${enable_quartz}" != "yes" ; then
|
||||
echo " The --prefix option also makes the installed files better conform"
|
||||
echo " to Unix installation conventions. (The configure script will show"
|
||||
echo " you specific installation paths when --prefix is used.)"
|
||||
fi
|
||||
if test "${enable_shared}" != "yes" ; then
|
||||
echo " Alternately, you can simply "'`'"mv' the in-place installation after"
|
||||
echo " running "'`'"make install'."
|
||||
fi
|
||||
else
|
||||
echo ">>> Installation targets:"
|
||||
echo " executables : ${bindir}/..."
|
||||
|
|
Loading…
Reference in New Issue
Block a user