[m-rev.] bootstrapping of configuration options

[Simon Taylor]

On 15-May-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 15-May-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > Make it easier to boostrap the addition of new configuration
> > options.
> > 
> > scripts/Mercury.config.bootstrap.in:
> > 	A version of Mercury.config.in that does not contain
> > 	any options which are not understood by the installed
> > 	compilers. This is used when building the stage1 compiler.
> 
> There should be a comment at the top of Mercury.config.bootstrap.in
> explaining its purpose, e.g. something similar to the comments in the
> log message.  I think it's also worth mentioning Mercury.config.bootstrap.in
> in a comment at the top of Mercury.config.in.
> 
> Otherwise that looks fine.

--- Mercury.config.in	2003/05/15 06:50:52	1.1
+++ Mercury.config.in	2003/05/15 06:56:49
@@ -10,6 +10,9 @@
 #
 # Configuration file for the Melbourne Mercury Compiler.
 #
+# Note to developers: when updating this file consider whether
+# Mercury.config.bootstrap.in should also be updated.
+#
 # Environment variables: MERCURY_STDLIB_DIR, MERCURY_C_COMPILER,
 # MERCURY_DEFAULT_GRADE, MERCURY_DEFAULT_OPT_LEVEL.
 
--- Mercury.config.bootstrap.in	2003/05/15 06:50:49	1.1
+++ Mercury.config.bootstrap.in	2003/05/15 06:57:37
@@ -6,9 +6,13 @@
 # Public License - see the file COPYING in the Mercury distribution.
 #---------------------------------------------------------------------------#
 #
-# Mercury.config
+# Mercury.config.bootstrap
 #
 # Configuration file for the Melbourne Mercury Compiler.
+#
+# This file is used instead of Mercury.config when building the
+# stage1 compiler. It should only refer to options which are
+# understood by the installed compilers.
 #
 # Environment variables: MERCURY_STDLIB_DIR, MERCURY_C_COMPILER,
 # MERCURY_DEFAULT_GRADE, MERCURY_DEFAULT_OPT_LEVEL.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------