[m-rev.] Failure to build Mercury rotd-2025-08-20 and rotd-2025-08-21

[Volker Wysk]

Hi.

I'm trying to build Mercury rotd-2025-08-20 and get this error in the "make
install" stage:

/usr/local/src/mercury-srcdist-rotd-2025-08-
20/install_grade_dir.asm_fast.gc.mmsc/scripts/mgnuc --grade asm_fast.gc.mmsc
--c-debug   --      -c mercury_trace_cmd_parameter.c -o
mercury_trace_cmd_parameter.o
mercury_trace_cmd_developer.c: In function ‘MR_trace_cmd_subgoal’:
mercury_trace_cmd_developer.c:375:65: error: passing argument 2 of
‘MR_trace_is_natural_number’ from incompatible pointer type [-Wincompatible-
pointer-types]
In file included from mercury_trace_cmd_developer.c:31:
mercury_trace_util.h:51:34: note: expected ‘MR_Unsigned *’ {aka ‘long
unsigned int *’} but argument is of type ‘int *’
mercury_trace_cmd_developer.c: In function ‘MR_trace_cmd_consumer’:
mercury_trace_cmd_developer.c:408:65: error: passing argument 2 of
‘MR_trace_is_natural_number’ from incompatible pointer type [-Wincompatible-
pointer-types]
mercury_trace_util.h:51:34: note: expected ‘MR_Unsigned *’ {aka ‘long
unsigned int *’} but argument is of type ‘int *’
gmake[2]: *** [/tmp/mmake.n9FxxF:1462: mercury_trace_cmd_developer.o] Error
1

I've first tried it with the rotd-2025-08-21 version, but it was the same.

I've uploaded the full logs of the configure, make and make install stages
here:

https://www.mediafire.com/file/0r7fli30mjq8d2g/configure.log/file
https://www.mediafire.com/file/scwg2lwhqz2xo6i/make.log/file
https://www.mediafire.com/file/8e1z5rs0ljie4rt/make_install.log/file

Cheers, 
Volker