[mercury-users] gcc_select on Mac OS X 10.5

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

On Fri, 7 May 2010, Julien Fischer wrote:

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

Incidentally, I would recommend disabling the debugging grades on MacOS
(using configure's --disable-debug-grades option).  They seem to trigger
a performance bug in Apple's build of GCC that causes the compilation
times to blow out.

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