[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1098092: marked as done (why3: ftbfs with GCC-15)

Your message dated Fri, 12 Sep 2025 14:00:52 +0000
with message-id <E1ux4Ka-00GnBR-1l@fasolo.debian.org>
and subject line Bug#1098092: fixed in why3 1.8.1-1
has caused the Debian Bug report #1098092,
regarding why3: ftbfs with GCC-15
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1098092: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098092
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:why3
Version: 1.8.0-2
Severity: important
Tags: sid forky
User: debian-gcc@lists.debian.org
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

--- End Message ---
--- Begin Message --- 
Source: why3
Source-Version: 1.8.1-1
Done: Stéphane Glondu <glondu@debian.org>

We believe that the bug you reported is fixed in the latest version of
why3, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1098092@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated why3 package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 12 Sep 2025 14:59:57 +0200
Source: why3
Architecture: source
Version: 1.8.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1098092
Changes:
 why3 (1.8.1-1) unstable; urgency=medium
 .
   * Team upload
   * New upstream release (Closes: #1098092)
 .
 why3 (1.8.0-3) experimental; urgency=medium
 .
   * Update home page.
   * Build again the documentation packages.
   * Standards-Version 4.7.2 (no change)
Checksums-Sha1:
 b56e98519d391125ba953d02c9fa10bee5e54b3c 2460 why3_1.8.1-1.dsc
 293de0785ebc046491b8bcd8aea941e5c7eb0d3b 6639678 why3_1.8.1.orig.tar.bz2
 0e44cfa21af57a844011545e36a7b1c597476a2d 19476 why3_1.8.1-1.debian.tar.xz
Checksums-Sha256:
 fbfa8fd19420afd47822c781bf005e1fd1942268ea7a4262dc5981cfc65c1676 2460 why3_1.8.1-1.dsc
 43642d8164458eb389aa90acd2ff0327a5c9ce41425f6ebff7492c9a584e0cbd 6639678 why3_1.8.1.orig.tar.bz2
 354859317695eeb7fa8908f9cab424e15ec771aa784018490521d2dd78b5117e 19476 why3_1.8.1-1.debian.tar.xz
Files:
 590256d69077657d9a3e1051485478e4 2460 math optional why3_1.8.1-1.dsc
 57461d5e1cdd5a2179a9c2bb801002bd 6639678 math optional why3_1.8.1.orig.tar.bz2
 6c5d6c276b5758a31d5aa98fc574c1a6 19476 math optional why3_1.8.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjEGc0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBC+EH/jo/fnuHDdKB9e8lCH58uNHZmK2ucr2r
It/bfEqRXy7TfdKwY+FFSzbb2QLP70A/nYRFXnbH0DcBrEw27fJDeZ0Vw2plJICq
CbXcoorqT0aCeOHjVB7jp21I0S8+5Obe49dKcDLfFy0v8znNzbZj/Rd5eKN6pAF4
gx59ZCahSeAy6ZXk5VAo7t/K0+bj2+zlmW3lOywZ+XpqBAXx2bdi9vM1/165tRSW
ylhdPr5NgmQRit3Y5eLix4JXYDSLPapQBs2EE39f3WdcQQwqlkQZ5PJS79YAxmZw
SRowanyoJ9BnuNJ4DrBgUJyGTFsNx8fWfx076E+pk5MmDBfbNN4Waus=
=4IYy
-----END PGP SIGNATURE-----

Attachment: pgpD1QnMUOtSa.pgp
Description: PGP signature


--- End Message ---
Reply to: