[m-dev.] Infix syntax proposal

Michael Day mikeday at yeslogic.com
Thu Aug 15 14:57:40 AEST 2002

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


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

More information about the developers mailing list