[m-rev.] diff: workaround nightly build failures

[Julien Fischer]

On Mon, 6 Aug 2007, Julien Fischer wrote:

>
> I'll post a proper fix for this sometime later today.
> The workaround will need to remain until it has boostrapped on all
> our machines.
>
>
> Estimated hours taken: 0.1
> Branches: main
>
> Work around a problem that is breaking the nightly builds.
>
> Mmake.common.in:
> 	The namespace cleanliness check is failing in the library
> 	directory because the compiler does not prefix mutable names
> 	with `mercury_' when the mutable is defined in a standard
> 	library module.  Work around this problem by temporarily
> 	accepting `pretty_printer_' as a valid name prefix.
>

BTW, Leon, I think this was the same problem you ran into.
In your case the appropriate work around is to add `stm_builtin_'
to GEN_OBJ_PREFIX_EXPRS in Mmake.common.in.

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