Your message dated Wed, 14 May 2025 12:35:16 +0000
with message-id <e1ufbko-00f2os...@fasolo.debian.org>
and subject line Bug#1096815: fixed in hol88 2.02.19940316dfsg-7
has caused the Debian Bug report #1096815,
regarding hol88: 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 ow...@bugs.debian.org
immediately.)
--
1096815: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096815
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:hol88
Version: 2.02.19940316dfsg-5
Severity: important
Tags: sid forky
User: debian-...@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/hol88_2.02.19940316dfsg-5_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
[...]
Error: FILE-ERROR :PATHNAME #p"lisp/mk-hol-lcf" "File does not exist."
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by LOAD.
FILE-ERROR :PATHNAME #p"lisp/mk-hol-lcf" "File does not exist."
Broken at LOAD.
1 (abort) Return to debug level 1.
2 Return to top level.
>>>
"HOL-LCF"
>>>
""
>>>
"2.02 (GCL)"
>>>
Error: UNDEFINED-FUNCTION :NAME SET-MAKE
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by LOAD.
UNDEFINED-FUNCTION :NAME SET-MAKE
Broken at LOAD.
1 (abort) Return to debug level 2.
2 Return to debug level 1.
3 Return to top level.
>>>>
Error: UNDEFINED-FUNCTION :NAME TML
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by LOAD.
UNDEFINED-FUNCTION :NAME TML
Broken at LOAD.
1 (abort) Return to debug level 3.
2 Return to debug level 2.
3 Return to debug level 1.
4 Return to top level.
>>>>>
Error: UNBOUND-VARIABLE :NAME COMPILE
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by LOAD.
UNBOUND-VARIABLE :NAME COMPILE
Broken at LOAD.
1 (abort) Return to debug level 4.
2 Return to debug level 3.
3 Return to debug level 2.
4 Return to debug level 1.
5 Return to top level.
>>>>>>
Error: TYPE-ERROR :DATUM (QUOTE ML/ML-CURRY) :EXPECTED-TYPE FUNCTION
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by LOAD.
TYPE-ERROR :DATUM (QUOTE ML/ML-CURRY) :EXPECTED-TYPE FUNCTION
Broken at LOAD.
1 (abort) Return to debug level 5.
2 Return to debug level 4.
3 Return to debug level 3.
4 Return to debug level 2.
5 Return to debug level 1.
6 Return to top level.
>>>>>>>make[2]: *** [Makefile:876: ml/ml-curry_ml.o] Error 255
make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg'
make[1]: *** [Makefile:292: all] Error 2
make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg'
make: *** [debian/rules:44: build-arch-stamp] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--- End Message ---
--- Begin Message ---
Source: hol88
Source-Version: 2.02.19940316dfsg-7
Done: Camm Maguire <c...@debian.org>
We believe that the bug you reported is fixed in the latest version of
hol88, 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 1096...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated hol88 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 14 May 2025 08:08:20 -0400
Source: hol88
Architecture: source
Version: 2.02.19940316dfsg-7
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Closes: 1096815
Changes:
hol88 (2.02.19940316dfsg-7) unstable; urgency=medium
.
* packaging cleanups
* Bug fix: "ftbfs with GCC-15", thanks to Matthias Klose (Closes:
#1096815).
Checksums-Sha1:
0c9e90a8772a9984964f955c15b7cb4f86399e32 2263 hol88_2.02.19940316dfsg-7.dsc
35319c93ea23bc9c86e36bd33c5cfbea22ed5b06 131988
hol88_2.02.19940316dfsg-7.debian.tar.xz
4201f288a95e90413f22ef2e1eb6454bdb8fc3b5 7473
hol88_2.02.19940316dfsg-7_source.buildinfo
Checksums-Sha256:
73d547cb4d7bc643f3be20cf09d523fbd5315db5bd4df2cc4f9a8011fd8b2d52 2263
hol88_2.02.19940316dfsg-7.dsc
992660b9261bbc8dbc520830a4a4383718c7efa9c63ce7bbb852153c88c47786 131988
hol88_2.02.19940316dfsg-7.debian.tar.xz
368eae28da5500c8cae11ef36fc6d14e7c1f136cd39474eebf3e234d635e8aa2 7473
hol88_2.02.19940316dfsg-7_source.buildinfo
Files:
5fecd222fab562110928968ae54f55d6 2263 math optional
hol88_2.02.19940316dfsg-7.dsc
7735c36463cb3e529da3f7c296e76b4f 131988 math optional
hol88_2.02.19940316dfsg-7.debian.tar.xz
3f8d734ba0ba2d6552b7b68c61a55858 7473 math optional
hol88_2.02.19940316dfsg-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgkipQACgkQuEXOUQ+b
cU1zaxAApOXgwrSxkFdKmbw+fbgOnusAmNgwymZsj3YNX7agASUaPNg9lQJx32hk
HYeAhOBSNZdwJYNJ/BspnAowx+TtFd311UPPDcBD724t2za7SdxHX+8mpV1xLttO
D9Bh2q4mhT0hbU8hlS891zGh7QD//7k/9chqcpGn9XVxBM2xdDKwr/fZRP1158q9
9l9FT4tdj986/yuHEg0dsWzy5+aBWGjTrKm1u4UcASLFU5oaZHAIIOJ2WMczZCgD
YJSmiFPVNxk5mXFvVrFpqv/eK4iGKynlpHwq3sibVywYdYtJDdHNdBq+Uzo1AnhU
+U8qbS6lBEV7RRax2cRzdJ62mI/FTQ8cmm1Pb5tdUfVyyjKIxrHkofvVsADl23Fh
gYRSTAvO28U8CzgBS1yi+CJMNCp7q4Fe3n4lkbs75T3rAjsf0kz6RJWhCgnUAD2E
fRO7aYG3/oOtLEdRfXRf0NukQUdfbNp63HVMI5QWl9Hh08RAc6GtoqzEkg0D50yt
/dI5SiW0sPd1ND71uQgItbEEjQqlVZ9czfRbCFRCXHXEwaIa7JDSo5mWW7ZeXgdJ
mxiHUB/dlg6pD2tX6m4mi1/enJSNBAuT7GTMiVJYDVRhA7vvvg78GPcobCzh5OrZ
zy7edrMMNrP3LGlg6gTWj+5Y1kDAIRXWi844GYefH9pDDXEbZpk=
=0QAZ
-----END PGP SIGNATURE-----
pgp5oI1q9JiVm.pgp
Description: PGP signature
--- End Message ---
