[m-rev.] request for test cases: libdir_map in make.library_install.m

[Julien Fischer]

Hi Zoltan,

On Thu, 22 Aug 2024 at 22:25, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> On Thu, 22 Aug 2024 13:48:14 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > > I will take a look at them.
> >
> > Thanks for the offer; I really appreciate it.
> >
> > However, do not start the test on g12 yet. My own tests on extras/complex_numbers
> > have found a bug, for which I am now testing a possible fix. I will post the
> > updated diff when I am done with that.
>
> The updated diff is attached. With it, an install of the complex_numbers
> library works.

With the mli3a diff --use-grade-subdirs does not work.  Building samples/diff
using:

    mmc --use-grade-subdirs --make diff

fails with:

$ mmc --use-grade-subdirs --make diff
Making Mercury/int3s/diff.int3
** Error reading file `builtin.m' to generate dependencies.
** Module `builtin' is imported by module `diff'.
mercury_compile: cannot find source for module `builtin' in directories `.'

The same program succeeds without --use-grade-subdirs.
(G12 doesn't build since its build system requires the use of
--use-grade-subdirs.)

Julien.