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

[Fergus Henderson]

On 13-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 12-Nov-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > 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?
> 
> I'm trying to reduce the special-case handling of the standard
> library in the build system.

OK, I'm convinced.

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