[m-rev.] bootstrapping of configuration options

[Fergus Henderson]

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.

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