[m-rev.] for tryout and review: install .module_dep files to grade-specific directories

[Zoltan Somogyi]

On Sat, 31 Aug 2024 21:58:19 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> > For tryout by Julien on g12, and if the tryout is successful, for review by anyone.
> 
> I have tried the diff with this G12.
> With --use-grade-subdirs, the build fails at the first target, the
> g12info executable:
> 
> /home/jfischer/mercury/test-mmc-make2/bin//mmc --make g12info
> Making Mercury/int3s/g12info.int3
> ** Error reading file `bool.m' to generate dependencies.
> ** Module `bool' is imported by module `g12info'.
> mercury_compile: cannot find source for module `bool' in directories `.'
> make[1]: *** [g12info] Error 1

A question about the Mercury install in which this invocation of mmc
was looking for the Mercury standard library: was it installed with 
compiler that had the trial diff? Because if not, then bool.module_dep
would not have been installed in the grade-specific install directories,
making this failure entirely expected.

If the install was done by a compiler with the trial diff, then I think
I need to enhance the debuggability of mmc --make, and we need to
decide what to do about six issues I posted to m-dev, before taking
another run at this problem. So if you say this is the case, I intend
to back out my change to make .module_dep files grade-specific
to let --use-grade-subdirs work again.

Thanks so much for your help.

Zoltan.