[mercury-users] gcc_select on Mac OS X 10.5

Andrew Ross andrew at bubblehelicopter.com
Thu May 6 20:08:37 AEST 2010

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 is not sufficient to just point Mercury to a version of gcc using
the configure script's `--with-cc' option."


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