Hi Basile, This problem is reported as a GitHub issue #82: https://github.com/didoudiaz/gprolog/issues/82 (BTW is not preferable to report bugs as issues in GitHub).
A fixed will be soon pushed on GitHub (BTW: I plan to release a new stable version soon). Daniel > Le 26 nov. 2025 à 12:29, Basile Starynkevitch <[email protected]> a > écrit : > > Hello > > > (cd ../TopComp; make gplc) > make[2]: Entering directory '/usr/src/Lang/gprolog-1.5.0/src/TopComp' > gcc -fno-strict-aliasing -fcommon -O2 -g -Wall -Wno-char-subscripts -o gplc > top_comp.c -lm > make[2]: Leaving directory '/usr/src/Lang/gprolog-1.5.0/src/TopComp' > make[1]: Leaving directory '/usr/src/Lang/gprolog-1.5.0/src/EnginePl' > . ./SETVARS;for i in EnginePl TopComp Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam > Fd2C EngineFD BipsFD;do (cd $i; make) || exit 1; done;\ > (cd TopComp; make top-level) || exit 1;\ > (cd Pl2Wam; make stage2) > make[1]: Entering directory '/usr/src/Lang/gprolog-1.5.0/src/EnginePl' > gcc -fno-strict-aliasing -fcommon -O2 -g -Wall -Wno-char-subscripts -o > cpp_headers cpp_headers.c > gplc -c -C '-O2 -g -Wall -Wno-char-subscripts' machine.c > gplc -c -C '-O2 -g -Wall -Wno-char-subscripts' machine1.c > gplc -c -C '-O2 -g -Wall -Wno-char-subscripts' stacks_sigsegv.c > stacks_sigsegv.c:470:1: error: conflicting types for ‘SIGSEGV_Handler’; have > ‘void(int, siginfo_t *, void *)’ > 470 | SIGSEGV_Handler(int sig, siginfo_t *sip, void *scp) > | ^~~~~~~~~~~~~~~ > stacks_sigsegv.c:140:13: note: previous declaration of ‘SIGSEGV_Handler’ with > type ‘void(void)’ > 140 | static void SIGSEGV_Handler(); > | ^~~~~~~~~~~~~~~ > compilation failed > make[1]: *** [Makefile:29: stacks_sigsegv.o] Error 1 > make[1]: Leaving directory '/usr/src/Lang/gprolog-1.5.0/src/EnginePl' > make: *** [Makefile:45: all] Error 1 > > > > I believe that to fix that bug (for GCC 15 or GCC trunk on Linux/Debian/ ...) > the line stacks_sigsegv.c:140 > should contain: > > static void SIGSEGV_Handler(int, siginfo_t*, void*); > > > -- > > Basile STARYNKEVITCH basile AT starynkevitch DOT net > 8 rue de la Faïencerie http://starynkevitch.net/Basile/ > > 92340 Bourg-la-Reine https://github.com/bstarynk > France https://github.com/RefPerSys/RefPerSys > https://orcid.org/0000-0003-0908-5250 >
