[m-rev.] for review: support grade specific .init files with mmc --make

[Simon Taylor]

On 30-Nov-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> When building with mmc --make use the grade specific versions of the
> .init files.
> 
> Support grade specific .init files with --use-grade-subdirs.
> 
> compiler/compile_target_code.m:
> 	Use the grade specific versions of the .init files for the Mercury
> 	standard libraries.
> 
> 	If --use-grade-subdirs is enabled them symlink/copy .init files
> 	into the user's directory.

I don't think .init files need to be in the user's directory any more.
IIRC that dates from when Mmake didn't have good support for user
libraries, so the .init files had to be added to C2INITARGS manually.
But that can be a separate change.

> compiler/make.program_target.m:
> 	Remove some unnecessary module qualification.

They aren't necessary for correctness, but they are useful documentation.
In any case, that doesn't belong in this change.

The rest looks fine.

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