[m-rev.] diff: update the version of GCC to use in the installation instructions

[Ian MacLarty]

Estimated hours taken: 0.1
Branches: main and 0.12

.INSTALL.in:
	Update the recommended version of gcc to use in the installation
	instructions.

Index: .INSTALL.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.INSTALL.in,v
retrieving revision 1.11
diff -u -r1.11 .INSTALL.in
--- .INSTALL.in	13 Nov 2003 11:19:56 -0000	1.11
+++ .INSTALL.in	29 Sep 2005 06:36:23 -0000
@@ -2,10 +2,10 @@
 #
 # INSTALL - installation instructions and installation script.
 #
-# 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
+# You need GNU C (version 2.7.2 or later, we recommend version 3.4.x,
+# versions 3.0, 3.3.1 and 4.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

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------