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

[Fergus Henderson]

On 29-Jun-1999, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> 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?

That'd be OK.  I think `MERCURY_LIB_INIT_DIR' and `MERCURY_LIB_INIT_FILES'
might be slightly nicer, but that's getting down to matters of personal
preference.

> I suppose it'd be nice if all the old ones were changed too?

Sure.

> (Agh, I can hear the cries of 
> "separate change" already...  That'd be #4 from this stuff.  :-)

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