[m-rev.] for review: fix mmc --make grade install

[Julien Fischer]

On Mon, 8 Jan 2007, Peter Wang wrote:

> Estimated hours taken: 1
> Branches: main
>
> browser/Mmakefile:
> mdbcomp/Mmakefile:
> 	Fix problem installing grade libraries with `mmake --use-mmc-make'.
> 	`mmc --make' only makes `.init' files as a side-effect of building
> 	libraries so move library dependencies before init file dependencies
> 	in install targets.  Also we need to use lib<name> targets instead of
> 	separate lib<name>.$A and lib<name>.$(EXT_FOR_SHARED_LIB) targets.
>
> 	Don't install mer_mdbcomp.init to non-grade specific directory.
>
> PS. mer_std.init is still installed to a non-grade specific directory.
> I think the entire install_init rule in library/Mmakefile can be removed.

Yes, I intended to remove it after the grade-specific versions had
bootstrapped.  Evidently I didn't :-(  (Feel free to remove it.)

The rest of that looks fine.

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