[m-rev.] for review: put .module_dep and .prof files into grade-specific subdirs
Zoltan Somogyi
zoltan.somogyi at runbox.com
Tue Aug 13 00:43:06 AEST 2024
On Mon, 12 Aug 2024 17:12:35 +1000, Peter Wang <novalazy at gmail.com> wrote:
> On Fri, 02 Aug 2024 12:54:36 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> % mmc -m diff --use-grade-subdirs
> 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 `.'
> mercury_compile: cannot find source for module `builtin' in directories `.'
>
> We're not installing .module_dep files to grade-specific directories in
> the Mercury install tree.
I will look into this, including fixing that misleading error message.
(If it can't find builtin.module_dep or builtin.m, why does it complain
ONLY about not finding one of them?)
Zoltan.
More information about the reviews
mailing list