[m-dev.] [ddw at miscrit.be: mmc vs a_mmc vs mumc]

[Fergus Henderson]

On 21-Nov-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> I see no major problems with making the name of the scripts
> configurable so they can be whatever you like

I don't think that would be a great idea. 
It's better to pick some standard names and use those.
Anything else is a recipe for confusion, IMHO.

However, we could have some longer alternative names,
e.g. `mercury_compile', `mercury_profile', `mercury_link',
`mercury_c_compile', and we could make sure that Mercury programs such
as Mmake and mmc which invoke other Mercury programs such as mgnuc do
so via the long (and thus hopefully conflict-free) names, rather than
via the short names.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------