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

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Mar 1 17:49:47 AEDT 2003


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

> +++ 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/

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



More information about the reviews mailing list