[m-rev.] for review: environment variable documentation

Simon Taylor stayl at cs.mu.OZ.AU
Mon Nov 4 13:14:03 AEDT 2002


On 04-Nov-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 04-Nov-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > Index: NEWS
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/NEWS,v
> > retrieving revision 1.278
> > diff -u -u -r1.278 NEWS
> > --- NEWS	2 Nov 2002 03:04:43 -0000	1.278
> > +++ NEWS	4 Nov 2002 01:31:19 -0000
> > @@ -336,6 +336,16 @@
> >    directory at the same time.  `--use-grade-subdirs' does not
> >    work with Mmake (it does work with `mmc --make').
> >  
> > +* The compiler and scripts accept a `--mercury-stdlib-dir' option,
> > +  which overrides the configured location of the Mercury standard
> > +  library.  There is also an environment variable MERCURY_STDLIB_DIR
> > +  which has the same effect.
> 
> The documentation (and _perhaps_ also the NEWS file) should specify what
> happens if both the option and the environment variable are set.
> 
> Otherwise that looks fine to me.

--- user_guide.texi	2002/11/04 02:12:22	1.1
+++ user_guide.texi	2002/11/04 02:13:09
@@ -6521,6 +6521,9 @@
 If the MERCURY_ALL_C_INCL_DIRS, MERCURY_ALL_MC_C_INCL_DIRS,
 MERCURY_INT_DIR, MERCURY_MOD_LIB_MODS and MERCURY_TRACE_LIB_MODS
 variables are set the value of MERCURY_STDLIB_DIR will be ignored.
+ at samp{--mercury-stdlib-dir} options passed to the @samp{mmc}, @samp{ml},
+ at samp{mgnuc} and @samp{c2init} scripts override the setting of
+the MERCURY_STDLIB_DIR environment variable.
 
 @sp 1
 @item MERCURY_NONSHARED_LIB_DIR
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list