[mercury-users] gcc_select on Mac OS X 10.5

Julien Fischer juliensf at csse.unimelb.edu.au
Fri May 7 10:19:18 AEST 2010

On Thu, 6 May 2010, Andrew Ross wrote:

> On 6/05/10 10:51 PM, Julien Fischer wrote:
>> 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.
> Thanks, Julien, but wouldn't you still need to use something like
> --with-cc to specify gcc-4.2 instead of 4.0 (which is the default on
> 10.5 - not sure about 10.6). README.MacOS states "Apple gcc 4.0 does not
> work with Mercury". I assume this includes 4.0.1 (Apple Inc. build
> 5490), which is the default on my 10.5 system.

Oh, I didn't realise that.  Yes, in that case you should --with-cc.  I
would recommend using gcc 4.2.  (Although, I think gcc 4.0 is actually
ok on 10.5 with recent builds of Mercury.)  As before what README.MacOS
is referring to is older versions of MacOS.)

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