Package: src:why3 Version: 1.8.0-2 Severity: important Tags: sid forky User: [email protected] Usertags: ftbfs-gcc-15
[This bug is NOT targeted to the upcoming trixie release] Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other package (or clone), and add a block in this package. Please keep the issue open until the package can be built in a follow-up test rebuild. The package fails to build in a test rebuild on at least amd64 with gcc-15/g++-15, but succeeds to build with gcc-14/g++-14. The severity of this report will be raised before the forky release. The full build log can be found at: http://qa-logs.debian.net/2025/02/16/amd64exp/why3_1.8.0-2_unstable_gccexp.log.gz The last lines of the build log are at the end of this report. To build with GCC 15, either set CC=gcc-15 CXX=g++-15 explicitly, or install the gcc, g++, gfortran, ... packages from experimental. apt-get -t=experimental install g++ GCC 15 now defaults to the C23/C++23 standards, exposing many FTBFS. Other Common build failures are new warnings resulting in build failures with -Werror turned on, or new/dropped symbols in Debian symbols files. For other C/C++ related build failures see the porting guide at http://gcc.gnu.org/gcc-15/porting_to.html [...] Linking bin/why3ide.cmxs Ocamlc src/ide/wserver.mli Ocamlopt src/ide/wserver.ml Ocamlc src/ide/why3web.mli Ocamlopt src/ide/why3web.ml Linking bin/why3webserver.cmxs Ocamlc src/why3session/why3session_lib.mli Ocamlopt src/why3session/why3session_lib.ml Ocamlc src/why3session/why3session_info.mli Ocamlopt src/why3session/why3session_info.ml Ocamlc src/why3session/why3session_html.mli Ocamlopt src/why3session/why3session_html.ml Ocamlc src/why3session/why3session_latex.mli Ocamlopt src/why3session/why3session_latex.ml Ocamlc src/why3session/why3session_update.mli Ocamlopt src/why3session/why3session_update.ml Ocamlc src/why3session/why3session_output.mli Ocamlopt src/why3session/why3session_output.ml Ocamlc src/why3session/why3session_create.mli Ocamlopt src/why3session/why3session_create.ml Ocamlc src/why3session/why3session_main.mli Ocamlopt src/why3session/why3session_main.ml Linking bin/why3session.cmxs Ocamlc src/tools/why3shell.mli Ocamlopt src/tools/why3shell.ml Linking bin/why3shell.cmxs Ocamlc src/isabelle-client/isabelle_client_main.mli Ocamlopt src/isabelle-client/isabelle_client_main.ml Linking bin/isabelle_client.opt Ocamlc src/tools/why3pp.mli Ocamlopt src/tools/why3pp.ml Linking bin/why3pp.cmxs Ocamlc src/why3doc/doc_html.mli Ocamlopt src/why3doc/doc_html.ml Ocamlc src/why3doc/doc_def.mli Ocamlopt src/why3doc/doc_def.ml Ocamlc src/why3doc/doc_lexer.mli Ocamlopt src/why3doc/doc_lexer.ml Ocamlc src/why3doc/doc_main.mli Ocamlopt src/why3doc/doc_main.ml Linking bin/why3doc.cmxs gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/logging.o -c src/server/logging.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/arraylist.o -c src/server/arraylist.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/options.o -c src/server/options.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/queue.o -c src/server/queue.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/readbuf.o -c src/server/readbuf.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/request.o -c src/server/request.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/proc.o -c src/server/proc.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/writebuf.o -c src/server/writebuf.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-unix.o -c src/server/server-unix.c gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-win.o -c src/server/server-win.c gcc -Wall -Wl,-z,relro -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c src/server/cpulimit-unix.c: In function ‘main’: src/server/cpulimit-unix.c:95:23: error: assignment to ‘__sighandler_t’ {aka ‘void (*)(int)’} from incompatible pointer type ‘void (*)(void)’ [-Wincompatible-pointer-types] 95 | sa.sa_handler = &wallclock_timelimit_reached; | ^ src/server/cpulimit-unix.c:45:6: note: ‘wallclock_timelimit_reached’ declared here 45 | void wallclock_timelimit_reached() { | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from src/server/cpulimit-unix.c:22: /usr/include/signal.h:72:16: note: ‘__sighandler_t’ declared here 72 | typedef void (*__sighandler_t) (int); | ^~~~~~~~~~~~~~ make[2]: *** [Makefile:809: src/server/cpulimit-unix.o] Error 1 make[2]: Leaving directory '/build/reproducible-path/why3-1.8.0' make[1]: *** [debian/rules:20: override_dh_auto_build-arch] Error 2 make[1]: Leaving directory '/build/reproducible-path/why3-1.8.0' make: *** [debian/rules:10: binary] Error 2 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
