[m-rev.] diff: fix library installation on our machines

[Julien Fischer]

On Tue, 16 Oct 2007, Julien Fischer wrote:

>
> Estimated hours taken: 0.5
> Branches: main
>
> Ensure that Mercury.config and Mmake.vars contain the correct set of
> installed library grades on our machines.
>
> tools/test_mercury:
> 	Write out the set of grades in which the libraries are to be
> 	installed to .enable_lib_grades rather than including a LIBGRADES =
> 	line in Mmake.params.  The problem with the later is that while
> 	that setting overrides the default set of libgrades during an
> 	installation it doesn't override the default set of libgrades
> 	chosen by the configure script and written out to the Mercury.config
> 	and Mmake.vars files.  This means on many of our hosts that doing
> 	mmc --make libfoo.install will fail because the set of library
> 	grades that are actually different from the ones that Mercury's
> 	configuration files say should be installed.

Hmmm ... that doesn't make much sense when I read it back now.
I've fixed it.

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