[m-rev.] diff: avoid excessive compilation times on Mac OS X in debug grades

[Julien Fischer]

On Mon, 17 May 2010, Julien Fischer wrote:

> On Mac OS X force the debug grades to be compiled by GCC at -O0.
> Using -O2 (the default), results in excessive compilation times.
> (There is at least one open GCC bug, #26854, concerning excessive
> compilation times on Darwin - it is likely we are also bumping
> into this.)
>
> (I will update mmc --make separately.)
>
> scripts/mgnuc.in:
> 	On Darwin compile debug grades at -O0 when using GCC.
> 	This avoid excessive compilation times due to performance
> 	bugs in GCC.

This is for the 10.04 branch as well.

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