[m-rev.] for review: make `mmake --use-mmc-make' make the compiler again

[Julien Fischer]

On Fri, 16 Dec 2005, Peter Wang wrote:

> Estimated hours taken: 2
> Branches: main
>
> These changes allow the compiler to be built with `mmake --use-mmc-make'.
>
> */Mmakefile:
> 	Add dummy rules for optional `Mmake.*.params' files so that
> 	`mmc --make' is not asked to make them.
>
> library/INTER_FLAGS_MMC_MAKE:
> library/Mmakefile:
> 	Add a version of the `library/INTER_FLAGS' file to be used when
> 	`mmc --make' is being used.
>
> library/LIB_FLAGS.in:
> 	Add `--c-include-directory ../robdd' so that `mmc --make' can find
> 	the included C files for `robdd.m'.
>
> tools/bootcheck:
> 	Make `bootcheck --use-mmc-make' imply `bootcheck --use-subdirs'.
>
> 	Copy `INTER_FLAGS_MMC_MAKE' to stage 2 and stage 3 directories.
>
> 	Manually make `*_FLAGS' files in the stage 2 directory if
> 	`--use-mmc-make' is in effect.
>

That's great!

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------