[m-rev.] trivial diff: minor fixes for README.MacOS

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

README.MacOS:
 	Fix up some details concerning how to use Mercury with
 	the Apple builds of gcc.

Julien.

Index: README.MacOS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/README.MacOS,v
retrieving revision 1.9
diff -u -r1.9 README.MacOS
--- README.MacOS	31 Jan 2006 13:31:01 -0000	1.9
+++ README.MacOS	7 Nov 2006 04:57:35 -0000
@@ -33,14 +33,11 @@
  Apple gcc 4.0 does not work with Mercury.  Users of Mac OS X 10.4 should
  note that this version of gcc is the default one on their systems.

-You can use the gcc_select command to select which version of the gcc
-is the default gcc.  Alternatively it is probably easier to point Mercury to
-the actual correct version via the `--with-cc' option to configure.  e.g.
-
-	./configure --with-cc=/usr/bin/gcc-3.3 
-
-(/usr/bin/gcc is a symbolic link to the actual version; gcc_select just
-changes what the link currently points to.)
+If you are using an Apple build of gcc then you must use the gcc_select
+command to set the system's default gcc to that version of gcc.  It is not
+sufficient to just point Mercury to a version of gcc using the configure
+script's `--with-cc' option.  This restriction applies only to the builds
+of gcc supplied by Apple.

  Also, Apple's version of gcc includes support for precompiled headers.
  Unfortunately this support seems to be somewhat buggy, causing it to sometimes
@@ -107,7 +104,7 @@
  To ensure the webserver is running:

  - Open the Apple Menu and open the System Preferences window.
-- In the `System Preferences' window, click on the icon labeled `Sharing'.
+- In the `System Preferences' window, click on the icon labelled `Sharing'.
  - Make sure that `Personal Web Sharing' is enabled.  If it is then
    the webserver should be running.


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------