Your message dated Mon, 04 Nov 2024 20:56:47 +0000
with message-id <[email protected]>
and subject line Bug#1086725: fixed in z3 4.8.12-3.2
has caused the Debian Bug report #1086725,
regarding z3 FTBFS on mips64el
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 [email protected]
immediately.)
--
1086725: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1086725
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: z3
Version: 4.8.12-3.1
Severity: serious
Tags: ftbfs trixie sid patch
https://buildd.debian.org/status/fetch.php?pkg=z3&arch=mips64el&ver=4.8.12-3.1%2Bb3&stamp=1730452483&raw=0
...
/usr/bin/ld: not enough GOT space for local GOT entries
/usr/bin/ld: BFD (GNU Binutils for Debian) 2.43.1 internal error, aborting at
../../bfd/elfxx-mips.c:10716 in _bfd_mips_elf_relocate_section
Please report this bug.
collect2: error: ld returned 1 exit status
make[3]: *** [src/shell/CMakeFiles/shell.dir/build.make:1824: z3] Error 1
Fix:
--- debian/rules.old 2024-11-04 11:45:54.227726947 +0000
+++ debian/rules 2024-11-04 11:46:31.291697870 +0000
@@ -10,6 +10,10 @@
export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic
-Wl,--as-needed
endif
+ifeq ($(DEB_HOST_ARCH),mips64el)
+export DEB_CXXFLAGS_MAINT_APPEND += -mxgot
+endif
+
DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
ifneq (,$(shell dh_listpackages -a | grep libz3-jni))
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.8.12-3.2
Done: Sylvestre Ledru <[email protected]>
We believe that the bug you reported is fixed in the latest version of
z3, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Sylvestre Ledru <[email protected]> (supplier of updated z3 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 04 Nov 2024 20:47:25 +0100
Source: z3
Architecture: source
Version: 4.8.12-3.2
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Sylvestre Ledru <[email protected]>
Closes: 1055476 1086725
Changes:
z3 (4.8.12-3.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Fix FTBFS on mips64el (Closes: #1086725)
Thanks to Adrian Bunk for the patch
* Fix hurd-amd64 build (Closes: #1055476)
Thanks to Samuel Thibault for the patch
* Update standards version to 4.6.2, no changes needed.
Avoid explicitly specifying -Wl,--as-needed linker flag.
* Standards-Version: 4.7.0
Checksums-Sha1:
3cf2318006b16cfaa45dac9dc895e1414f37d44e 2636 z3_4.8.12-3.2.dsc
bbb285ad7839494cd8678b1f0e00020135a1e314 10452 z3_4.8.12-3.2.debian.tar.xz
3d26556bf0d0e284c4537b5e9f2890a8b66191ee 15877 z3_4.8.12-3.2_amd64.buildinfo
Checksums-Sha256:
e3f7e3aa5a9117116f350464048dfdbe4b50f1582fdbed6e45e071c2a6fe54f3 2636
z3_4.8.12-3.2.dsc
e3a203619e06d2eeac4b9f4d082620238c21d92dfef6003a2cda99035584f50d 10452
z3_4.8.12-3.2.debian.tar.xz
aff1cb2a570fdd1c22ac325de9d640382153a10a918db7838b20e8f5f3d4ac48 15877
z3_4.8.12-3.2_amd64.buildinfo
Files:
d7502cf0c68f2d8ef7e22f4f54cfef1a 2636 science optional z3_4.8.12-3.2.dsc
94f0e043c77f83f955d1764610d3f32e 10452 science optional
z3_4.8.12-3.2.debian.tar.xz
6a0639da69b54ba22bbab57bf84e9199 15877 science optional
z3_4.8.12-3.2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmcpKygACgkQfmUo2nUv
G+HBvhAAi6FXyAzrup0Ih+M8lvhVKzDYpPRyv3Aty1aEdHdKNWdM2jN3SyffVh4X
MRdy11brx8sCdr2Xotrd10Apud+nIpvQucZO7wpvGXCq9U3bCTNCTVbo1dSIbehu
o483PrNIkv4XzKWlUYXoBSZMyM/i7nd4uNTZgCBj4niFV5+UagCOknsd3VPLu/SQ
SvKLrdp3cVRbtbZSugxmypAp9C6QSfBLsfIAbBQnQ/3IDd0JdAcvvswM8esdC1bS
D0T5207m907ShmQo/3L4VzWljmQwfU89iCDPSI5Z2piF5fk4dkU1f/Zzjg9dHKWm
QPt4wHi7QXpLaTzUtgrGrWQxxCjdghGmbqLbbrocisbCD03pj0Av/BIXif3hdHLX
Y8uUG5D77Sg+ynu3Rad0oFEjZjB6LRnKTFyORaLxWqHTGl2NGBVkoukiWf5LcUoj
X2CBm4kGhaho2T9kf1+E89mMOVG5uD1qv4F1Lw/ZT6SpZSLe0NP8T7tA+VHETg8Y
rU8ZqES+bqeAfZ53gPU3iZzPbWF4ieWkXNbXZtX50CBuc1G9EdYTEFFbX77pEdXc
X+TketQTSgQteamPLUvjdMCCs/fA1IWcE1J+r9h4L0LH/M4hGFCc7BuqnhT4XOaP
rCLwdvm145kh1IFJ7fdLpCWVTB/EF3NXN5sDIv7dIRF7Rlv02HM=
=aHkF
-----END PGP SIGNATURE-----
pgpKi88l2X5UA.pgp
Description: PGP signature
--- End Message ---
