[m-rev.] for review: start on replacing --intermod-directories and related options

[Zoltan Somogyi]

On 2024-11-14 09:34 +11:00 AEDT, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> On 2024-11-13 23:41 +11:00 AEDT, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> > Regardless, it does
>>> not
>>> seem to be a useful behaviour *now*.
>> 
>> Then I will next look into undoing it.
> 
> I have now done so, with the result being the attached diff.
> It was much more interesting (in the Chinese curse sense)
> than I expected.
> 
> For review by anyone. I would particularly like to know
> whether there is a better way to force the creation of .opt files
> before the compilation of their would-be consumers than the one
> adopted by this diff. Until now, I assumed that this was solved long ago,
> but apparently, this is not the case with mmake.

In the absence of a review by then, I intend to commit this
in about 12 hours.

Zoltan.