[m-rev.] for review: set runtime flags at compile time

[Simon Taylor]

On 22-Jan-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 12-Jan-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > Allow Mercury runtime options to be set at compile time.
> 
> It may be worth mentioning this in the NEWS file.


Estimated hours taken: 0.25

NEWS:
doc/user_guide.texi:
	Add some documentation for my change to allow runtime
	options to be set at compile time.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.238
diff -u -u -r1.238 NEWS
--- NEWS	22 Jan 2002 14:21:46 -0000	1.238
+++ NEWS	22 Jan 2002 17:41:20 -0000
@@ -195,6 +195,9 @@
   This change will break some existing programs, but that is easily fixed
   by adding any necessary `:- import_module' or `:- use_module' declarations.
 
+* Options for the Mercury runtime can now be set at compile time using
+  the new `--runtime-flags' option of ml and c2init.
+
 * We've added a new optimization pass -- constraint propagation.
 
   Constraint propagation attempts to transform the code so
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.285
diff -u -u -r1.285 user_guide.texi
--- doc/user_guide.texi	12 Jan 2002 09:08:08 -0000	1.285
+++ doc/user_guide.texi	22 Jan 2002 17:36:04 -0000
@@ -5734,8 +5734,10 @@
 @item MERCURY_OPTIONS
 @vindex MERCURY_OPTIONS
 A list of options for the Mercury runtime that gets
-linked into every Mercury program.
-Their meanings are as follows.
+linked into every Mercury program.  Options may also
+be set at compile time by passing @samp{--runtime-flags}
+options to @samp{ml} and @samp{c2init}.
+The Mercury runtime accepts the following options.
 
 @sp 1
 @table @code
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------