[m-rev.] for review: grade specific .init files

[Mark Brown]

On 22-Nov-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The following diff implements the first stage of (2).  For each grade in
> which a library is to be installed we create a grade specific .init file
> and then install it in a grade specific location, e.g.
> `$(INSTALL_PREFIX)/lib/mercury/modules/<grade>'.  (For bootstrapping
> purposes .init files are currently still installed in the old location
> as well.)
> 
> After this change has been installed on our machines I will add the
> second part of this change which modifies the compiler to look for the 
> .init files in the new grade specific locations.  The final part of the
> change will then remove support for installing .init files in the old
> location.)

Thanks, this change looks fine.

Cheers,
Mark.

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