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

[Julien Fischer]

On Sat, 31 Aug 2024 at 22:37, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
>
>
> 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.

The installation was done by doing mmake install at the top-level of
a workspace that had the trial diff applied.  That should have used
the correct compiler, no?

Looking the installation directory, there are three copies of
bool.module_dep installed:

    ./lib/mercury/ints/java/bool.module_dep
    ./lib/mercury/ints/csharp/bool.module_dep
    ./lib/mercury/ints/bool.module_dep

(I will try again, this time bootstrapping using a compiler that does
have the diff
applied and also installing from the stage2 directory.)

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

I had a quick look at that earlier today, my only conclusion was that I need
to take a longer look ;-)

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

I'll try re-installing and re-testing as above and let you know how that goes.

Julien.