[m-rev.] for review: add ll_debug GC grade

[Peter Ross]

On 6 December 2011 20:29, Ian MacLarty <maclarty at csse.unimelb.edu.au> wrote:
> For review by Julien.
>
> Branches: main, 11.07
>
> Add a new GC grade for the .ll_debug Mercury grade.
>
> Previously the .ll_debug grade used the usual "gc" GC grade.  This was a
> problem, because it meant that installing a .ll_debug grade would overwrite the
> libgc library with the unoptimised .ll_debug version, resulting in a severe
> performance loss for applications even if they weren't built in the .ll_debug
> grade.
>
> compiler/compile_target_code.m:
>    Link against the ll_debug GC library if low-level debugging
>    is enabled.
>
> scripts/ml.in:
>    Use the new ll_debug GC grade for the .ll_debug Mercury
>    grades.
>
Maybe the ll_debug grade should imply the gcd grade?  Rather than
installing a new version of the gc library.

I think that is what I intended when I added this grade.

Pete

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