[mercury-users] gcc_select on Mac OS X 10.5

[Andrew Ross]

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.

Cheers

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