[mercury-users] gcc_select on Mac OS X 10.5

Julien Fischer juliensf at csse.unimelb.edu.au
Thu May 6 22:51:38 AEST 2010


On Thu, 6 May 2010, Andrew Ross wrote:

> According to the README.MacOS file included with the latest ROTD
> (2010-04-27), Mac OS X 10.5 users should use gcc_select to switch the
> default version of gcc to 4.2 before compiling Mercury.
> My 10.5 system doesn't have gcc_select, but there is a package of that
> name available in MacPorts (http://www.macports.org/). Is this what I
> should be installing and using, or is the following section of
> README.MacOS not applicable to 10.5+:

It's not applicable to either 10.5 or 10.6.  IIRC, the business
with gcc_select was only needed with 10.3.  For 10.5+, you shouldn't
need to specify the C compiler at all.

> "It is not sufficient to just point Mercury to a version of gcc using
> the configure script's `--with-cc' option."

That's with reference to gcc_select; it's also not relevant for 10.5+.
The --with-cc option works fine with 10.5.

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

More information about the users mailing list