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

[Tyson Dowd]

On 21-Nov-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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.

I thought we already did this and that is what Dominique is complaining
about.

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

This would be a good idea.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------