[m-dev.] Infix syntax proposal

[Michael Day]

> You can use mmc --make in conjunction with mmake,
> by passing the --use-mmc-make option to mmake.

That's very confusing.

Can you tell me what the relationship is between mmake and mmc --make?  
When all the Mercury specific processing stuff is handled by mmc itself,
will it be necessary to use mmake at all? Or go back to normal Makefiles?

Michael

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------