[m-rev.] for review: put .module_dep and .prof files into grade-specific subdirs
Peter Wang
novalazy at gmail.com
Mon Aug 12 17:12:35 AEST 2024
On Fri, 02 Aug 2024 12:54:36 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> Put .module_dep and .prof files grade-specific dirs.
>
> compiler/file_names.m:
> Reclassify .module_dep and .prof files as being put into grade-specific
> subdirs in the presence of --use-grade-subdirs.
mmc --make --use-grade-subdirs is broken as of this change,
i.e. commit b296fac67d09f5726b281ca88a1200dd5a267b1c.
% 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.
If we DID install .module_dep files to grade-specific directories in the
Mercury install tree, presumably mmc --make should look for .module_dep
files in grade-specific directories, even without --use-grade-subdirs.
Peter
More information about the reviews
mailing list