[m-rev.] diff: using `mmc --make' with mmake

[Ralph Becket]

Simon Taylor, Thursday,  2 May 2002:
> 
> Estimated hours taken: 2.5
> Branches: main
> 
> Allow `mmc --make' to be used with Mmake.
> 
> scripts/mmake.in:
> 	Add an option `--use-mmc-make', which tells mmake
> 	to use `mmc --make' to build Mercury targets.
> 
> scripts/Mmake.vars.in:
> 	Add a variable MC_MAKE_FILES, which should contain
> 	files (e.g. generated header files) which should be
> 	build with `mmc --make'.

Can I suggest MC_BUILD_FILES instead?

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