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

[Volker Wysk]

Hi

Wait a minute, I think I found the error. It seems to be that in GCC 15, the
defaul C standard has changed. I'm trying again.

Volker


Am Montag, dem 25.08.2025 um 12:29 +0200 schrieb 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
> _______________________________________________
> reviews mailing list
> reviews at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/reviews