[m-rev.] diff: add option --mercury-standard-library-directory

[Fergus Henderson]

Simon Taylor, you wrote:
> 
> compiler/options.m:
> doc/user_guide.texi:
> 	Add an option `--mercury-standard-library-directory',
> 	which can be used to override the standard library
> 	directory without setting environment variables.

Why?  What's the rationale for that change?
What's wrong with using environment variables?
Do we really need two ways of doing this?

What happens if you both set the environment variable
*and* use the option?

-- 
Fergus Henderson              | Designing grand concepts is fun;
fjh at cs.mu.oz.au               | finding nitty little bugs is just work.
http://www.cs.mu.oz.au/~fjh   | -- Brooks, in "The Mythical Man-Month".
PGP key fingerprint: 00 D7 A2 27 65 09 B6 AC  8B 3E 0F 01 E7 5D C4 3F
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------