[m-rev.] for review: report error for install prefix containing spaces

[Simon Taylor]

Estimated hours taken: 0.5
Branches: main, release

configure.in:
	Abort if the install prefix contains a space.
	mgnuc, ml, etc. don't handle filenames containing
	spaces correctly.

.INSTALL.in:
	Document the above.

	Improve the documentation about which version of GCC
	is required.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.305
diff -u -u -r1.305 configure.in
--- configure.in	7 May 2002 11:06:01 -0000	1.305
+++ configure.in	8 May 2002 13:51:46 -0000
@@ -53,6 +53,13 @@
 else
 	PREFIX="$prefix"
 fi
+case `echo $PREFIX | tr ' ' '@'` in
+    *@*)
+	AC_MSG_ERROR(cannot install into a directory with a name containing spaces: \`$PREFIX.')
+	exit 1
+	;;
+esac
+
 LIBDIR="$PREFIX/lib/mercury"
 WINDOWS_LIBDIR="`cygpath -w $LIBDIR 2>/dev/null`"
 NONSHARED_LIB_DIR=${MERCURY_NONSHARED_LIB_DIR=$PREFIX/lib/nonshared}
Index: .INSTALL.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.INSTALL.in,v
retrieving revision 1.9
diff -u -u -r1.9 .INSTALL.in
--- .INSTALL.in	31 Oct 2001 07:02:26 -0000	1.9
+++ .INSTALL.in	8 May 2002 14:13:36 -0000
@@ -2,12 +2,11 @@
 #
 # INSTALL - installation instructions and installation script.
 #
-# You need GNU C (2.7.2 or later -- 2.6.3 might work too, but it is known
-# to have problems compiling Mercury on some architectures, e.g. SPARC)
-# and GNU Make (3.69 or later).  Make sure that they are somewhere in
-# your PATH.  It's also helpful if you have GNU Readline installed
-# in one of the standard locations (normally /usr/local or /usr),
-# but this is not essential.
+# You need GNU C (version 2.7.2 or later, we recommend version 2.95.x,
+# version 3.0 will not work) and GNU Make (3.69 or later).  Make sure
+# that they are somewhere in your PATH.  It's also helpful if you have
+# GNU Readline installed in one of the standard locations (normally
+# /usr/local or /usr), but this is not essential.
 #
 # The source distributions for GNU C, GNU Make, and GNU Readline are
 # available from <ftp://ftp.gnu.org/gnu/>.  Binaries for these are
@@ -22,6 +21,8 @@
 #	   /usr/local/mercury- at VERSION@.
 #	   If you want the files to be installed someplace else,
 #	   use the `--prefix <directory>' option to `configure'.
+#	   The directory name specified with the `--prefix' option
+#	   must not contain spaces.
 #
 #      NOTE: If you use the `--prefix' option to configure,
 #      be aware that `mercury' is not automatically
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------