[m-rev.] for review: Mercury.config*.in

[Zoltan Somogyi]

On Tue, 24 Jun 2025 13:24:05 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> > I would propose that
> >
> > - we decide what options should be in Mercury.config, and set up Mercury.config.in
> >   accordingly,
> >
> > - we DELETE Mercury.config.bootstrap.in, and
> >
> > - we add a make rule that COPIES Mercury.config to Mercury.bootstrap.config,
> >   using an action such as "grep -v XYZZY < Mercury.config > Mercury.config.bootstrap",
> >   with a comment that says "if you add an option to Mercury.config.in that the
> >   current installed compiler does not understand, replace the XYZZY with the
> >   name of that option until the installed compiler does understand it".
> >
> > There is a minor issue in that we don't want that grep -v to convert a line ending
> > with a backslash into the last line of the file, but that is trivially solvable.
> >
> > Does anyone see any problems with this proposal?
> 
> I don't see any problems (other than the issue I mentioned above).

Ok. As the first step, here is an updated version of the original diff, which,
instead of noting the differences between the two files, modifies the bootstrap
version to eliminate them. (I wasn't sure whether LIBGRADE_OPT was needed
in the bootstrap version, so I commented it out, did mmake clean, and reconfigured;
it worked just fine, including a bootstrap test. If anyone knows why this test
would give a deceptive result, please speak up now.)

If this diff passes review, I intend to commit it, and then start on deleting
Mercury.config.bootstrap.in, and adding code to derive Mercury.config.bootstrap
from Mercury.config.in.

For review by anyone.

Zoltan.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.mc2
Type: application/octet-stream
Size: 735 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250624/03d981c1/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.mc2
Type: application/octet-stream
Size: 14679 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250624/03d981c1/attachment-0003.obj>