[m-rev.] for review: start using --generate-dependencies-ints

[Julien Fischer]

On Fri, 20 Oct 2023, Zoltan Somogyi wrote:

> For  review by anyone. The commit whose presence in the
> installed compiler this new diff tests for, has been in the last
> four rotds.

Actually, that has broken library installation in the C# (and presuambly
Java) grade (see below).  The problem is this part of the diff:

> diff --git a/library/Mmakefile b/library/Mmakefile
> index 4c43634df..e2ebe87f7 100644
> --- a/library/Mmakefile
> +++ b/library/Mmakefile
> @@ -188,7 +188,7 @@ mercury: lib_std
>  #-----------------------------------------------------------------------------#
>
>  .PHONY: depend
> -depend:	LIB_FLAGS getopt.m copy_java_runtime_files
> $(STD_LIB_NAME).depend
> +depend:	LIB_FLAGS getopt.m copy_java_runtime_files
> $(STD_LIB_NAME).depend_ints

mmc --make (which is used to build the C# library) supports a no-op
depend target, but doesn't recongise depend_ints. So either need
similarly support depend_ints as a no-op target for mmc --make or
make the above target in the Mmakefile dependent on the grade and not
use depend_ints in the non-C grades.

Julien.

{ echo MCFLAGS += '--grade csharp     --options-file
/home/jfischer/mercury/mercury-1.git/stage2/install_grade_dir.csharp/Mercury.options
--mercury-linkage shared --flags LIB_FLAGS   --flags
INTER_FLAGS_MMC_MAKE --allow-stubs --no-warn-stubs
-R/home/jfischer/mercury/rotds/rotd-2023-10-20/lib/mercury/lib/csharp
-R/home/jfischer/mercury/rotds/rotd-2023-10-20/lib/mercury/lib
--use-subdirs  --no-warn-nothing-exported --no-warn-unused-imports  ';
echo MCFLAGS += ' '; echo CFLAGS += '     '; echo JAVACFLAGS +=
'-J"-Xmx1024m" -sourcepath .   '; echo CSCFLAGS += '   '; echo
C2INITARGS += '
/home/jfischer/mercury/mercury-1.git/stage2/install_grade_dir.csharp/library/mer_std.init
/home/jfischer/mercury/mercury-1.git/stage2/install_grade_dir.csharp/runtime/mer_rt.init
'; echo MLLIBS += '    '; echo MLOBJS += ' ../runtime/mercury_dotnet.cs
'; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES
+= ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'asm_fast.gc
asm_fast.gc.profdeep.tr.stseg csharp hlc.gc hlc.gc.tr java  '; echo
INSTALL_PREFIX = '/home/jfischer/mercury/rotds/rotd-2023-10-20'; echo
LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | mmc --make
--options-file - mer_std.depend_ints
Making Mercury/int3s/mer_std.int3
** Error reading file `mer_std.depend_ints.m' to generate dependencies.
mercury_compile: cannot find source for module `mer_std.depend_ints' in
   directories `.'
mercury_compile: cannot find source for module `mer_std.depend_ints' in
   directories `.'
gmake[1]: *** [mer_std.depend_ints] Error 1
gmake[1]: Leaving directory
`/home/jfischer/mercury/mercury-1.git/stage2/install_grade_dir.csharp/library'
To clean up from failed install, remove
/home/jfischer/mercury/mercury-1.git/stage2/install_grade_dir.csharp
gmake: *** [install_grades] Error 1