[m-dev.] For review: using alternate installation dirs

[Warwick Harvey]

I'm finally getting back to this installation dir stuff (sidetracks upon 
sidetracks ;-).

Some time ago, Fergus wrote:
> On 17-Jun-1999, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> > Yes.  I borrowed the term "module" from the place the `.init' files are 
> > installed: lib/mercury/modules.
> 
> That is inappropriate terminology, which arose for historical reasons;
> it really ought to be renamed.  Same applies to the MERCURY_MOD_LIB_DIR
> and MERCURY_MOD_LIB_MODS environment variables.
> Please don't perpetuate that mistake any further ;-)

OK, how about s/MOD/INIT/g for the environment variables?  I suppose it'd be 
nice if all the old ones were changed too?  (Agh, I can hear the cries of 
"separate change" already...  That'd be #4 from this stuff.  :-)

Warwick

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