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

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Dec 16 14:00:02 AEDT 2005

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

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

More information about the reviews mailing list