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

[Volker Wysk]

I've done this:

CFLAGS+=' -Wno-error=incompatible-pointer-types'
export CFLAGS

And added this to the call of configure:

--with-cc="gcc -std=gnu17"

This doesn't work around the problem, it still doesn't work. Now I'll wait
for Julien to fix the actual reason, like he kindly told me he would, in
private mail.

Cheers,
Volker


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