[m-rev.] for review: move mmc configuration into options file

[Simon Taylor]

On 01-Mar-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 01-Mar-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > +++ doc/user_guide.texi
> > @@ -860,12 +860,14 @@
> >  Note that @samp{--use-subdirs} is automatically enabled if you specify
> >  @samp{mmc --make}.
> >  
> > + at cindex Options files
> > + at cindex Mercury.options
> >  The Mmake variables above can be used by @samp{mmc --make} if they
> >  are set in a file called @file{Mercury.options}. The @file{Mercury.options}
> >  file has the same syntax as an Mmakefile, but only variable assignments and
> >  @samp{include} directives are allowed.  All variables in the Mercury.options
> >  are treated as if they are assigned using @samp{:=}.
> 
> s/the Mercury.options/the @file{Mercury.options} file/
> or
> s/the Mercury.options/@file{Mercury.options}/
> 
> (This of course is an already-existing problem, not something
> introduced in the change you posted.)

Fixed.
 
 @samp{mmc --make} can be used in conjunction with Mmake. This is useful
> > +++ Mmake.common.in	1 Mar 2003 04:02:21 -0000
> > @@ -109,6 +109,12 @@
> >  # objects.
> >  SHARED_LIBS		= @SHARED_LIBS@
> >  
> > +# Set the installation prefix. This is done here as well as
> > +# in scripts/Mmake.vars to avoid accidentally overwriting an
> > +# existing installation when using an installed mmake.
> > +INSTALL_PREFIX		= @prefix@
> > +FINAL INSTALL_PREFIX	= @prefix@
> 
> s/FINAL INSTALL/FINAL_INSTALL/

Done.

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