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

Julien Fischer jfischer at opturion.com
Sat Aug 31 21:58:19 AEST 2024


Hi Zoltan,

On Sat, 31 Aug 2024 at 10:17, Zoltan Somogyi <zoltan.somogyi at runbox.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

Compilation of the first library target in the system fails similarly:

/home/jfischer/mercury/test-mmc-make2/bin//mmc --make libg12_error.install
Making Mercury/int3s/g12_error.int3
** Error reading file `bool.m' to generate dependencies.
** Module `bool' is imported by module `g12_error'.
mercury_compile: cannot find source for module `bool' in directories `.'

Without --use-grade-subdirs, the g12info executable builds successfully,
installation of the g12_error library fails (see G12_ERROR.log attached;
a copy of the contents of the Mercury subdirectory at the point of failure
is also attached.)

I also tried this with my JSON library
(https://github.com/juliensf/mercury-json)
and obtained similar results.

Julien.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MERCURY_SUBDIR
Type: application/octet-stream
Size: 1112 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240831/bd9b9f9c/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: G12_ERROR.log
Type: application/octet-stream
Size: 3325 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240831/bd9b9f9c/attachment-0001.obj>


More information about the reviews mailing list