Package: libflint-dev
Version: 3.1.3-2
Severity: important
X-Debbugs-Cc: calcu...@rezozer.net
Dear maintainer,
it appears that the coming gcc-15 fails to compile
the following C source (while gcc-14 compiles it):
=======8><-------------------------
// flint_version.c C source file
// gcc-15 -o flint_version flint_version.c -lflint -lmpfr -lgmp -lm
#include <stdio.h>
#include <flint/flint.h>
int main(void) {
printf("%s\n",flint_version);
return (0); }
------------------><8==============
I get the output:
In file included from flint_version.c:7:
/usr/include/flint/flint.h:241:16: error: expected ';' before 'void'
241 | FLINT_NORETURN void flint_abort(void);
| ^~~~
/usr/include/flint/flint.h:484:16: error: expected ';' before 'void'
484 | FLINT_NORETURN void flint_throw(flint_err_t exc, const char * msg, ...);
| ^~~~
I found this issue by trying to fix bugreport #1096557.
Cheers,
Jerome
-- System Information:
Debian Release: 13.0
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 6.12.22+bpo-amd64 (SMP w/12 CPU threads; PREEMPT)
Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: unable to detect
Versions of packages libflint-dev depends on:
ii libflint19 3.1.3-2
ii libmpfr-dev 4.2.2-1
libflint-dev recommends no packages.
libflint-dev suggests no packages.
-- no debconf information
