Your message dated Mon, 09 Dec 2019 13:20:11 +0000 with message-id <e1ieixp-0008sc...@fasolo.debian.org> and subject line Bug#946448: fixed in z3 4.8.7-2 has caused the Debian Bug report #946448, regarding z3: FTBFS: ../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’ 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.) -- 946448: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=946448 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: z3 Version: 4.8.7-1 Severity: serious Tags: ftbfs Justification: fails to build from source (but built successfully in the past) z3 fails to build on all 32 bit architectures with: | ../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’ | 57 | #define _trailing_zeros32(X) __builtin_ctz(X) | | ^~~~~~~~~~~~~ | ../src/util/mpz.cpp:76:17: note: in expansion of macro ‘_trailing_zeros32’ | 76 | inline uint32_t _trailing_zeros32(uint32_t x) { | | ^~~~~~~~~~~~~~~~~ | make[2]: *** [Makefile:188: util/mpz.o] Error 1 See https://buildd.debian.org/status/fetch.php?pkg=z3&arch=i386&ver=4.8.7-1&stamp=1575849231&raw=0 for a full log Cheers -- Sebastian Ramacher
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---Source: z3 Source-Version: 4.8.7-2 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 946...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Fabian Wolff <fabi.wo...@arcor.de> (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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 09 Dec 2019 13:39:38 +0100 Source: z3 Architecture: source Version: 4.8.7-2 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-t...@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Closes: 946448 Changes: z3 (4.8.7-2) unstable; urgency=medium . * Adjust 01-intrinsics.patch to try to fix build failures on many 32-bit architectures (patch tested on i386) (Closes: #946448). Checksums-Sha1: 5e95354f0e3a281ae576fcce9253d109552c33e0 2677 z3_4.8.7-2.dsc 3787299b145e4b536788a8798442a7fe145879b6 11520 z3_4.8.7-2.debian.tar.xz 8347dce3ff54416d7d97bcfe6032c2fc1a147c25 13532 z3_4.8.7-2_amd64.buildinfo Checksums-Sha256: b0cd4debb8296331c325fc3fcc92f8bec84b8d0f1b1259c1f8e50b92d9f3d153 2677 z3_4.8.7-2.dsc a739192d3a75a2a2719bf3716e9727740cb89bf0a5de3f29d8988e1918f6f4c5 11520 z3_4.8.7-2.debian.tar.xz be5eba9d436915e53c48ec7ea548d8ce2c309b5a1ff2e32015c03ae81a40065a 13532 z3_4.8.7-2_amd64.buildinfo Files: 4c6438287a9cb5f3a5440adca054a519 2677 science optional z3_4.8.7-2.dsc 993274150e3ba4997692e0ecde48855f 11520 science optional z3_4.8.7-2.debian.tar.xz 0a9feba5988db0abe8b88efeaa5f63d0 13532 science optional z3_4.8.7-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl3uRfMACgkQilOItk1p K0mQwg//WAICRwwpbWKgndsEMUoT7rkPNMYqEU2t1VAfRxunG/OyrKW9ra9dpd5S U8sG3v/qWjjdeOkbMbjWE/w8jOrbeEWURdlPhtZ9r2odYaGhARHtDTmNDbMzf5Lj /sCst4hYNJOHts9qpbD+iltJQzp12hlOG0ucSTff9YCoMiFbiRZDx/y6o8dSzPyu Z3vkFPgeuMPDdAtNgikBeQ7BUf31NBspX2DxifwkMTE14ClDaEAYf7ArT8zxGozs 3+9NDtXVHuLDVXPZnFgeWlz20dZs/8bIFUwiVSusycpBGD5enByhMXbLtz95jUKV M5lXSP8nmC2TQxkVpT6jY6V52bupFAM4Nml968mZem06fBEa4Un1kuqCDEVPq4WI Ck25m4RIoEzVk6V5dF5IvVwB2ScdpNAlT2sizUNxOKxBuZVUaoXJC3FYOCqOWEYh dRlQnPbuoDgDtCozwLpPOY9Sb5LpMUIgxl9jkeDeZdKztUlj0OwTveLpuUgNGAIm fnrv4yVgdA8z8KFharD+y1lJEKzCHA8ka4ZpcTjvteGfyiNknMNivys3TD2u4BNG RwaifLFNZO9UcuFeYaGM+YasfLJIm0si2CaKC+u1eR7pjs0edX+00/ytEKb09MsJ U5CCXNKmcLYQyk0jmyuv6Dv1sNu/lBIdsMnjgGxEhb4hTwRg7PE= =5VrY -----END PGP SIGNATURE-----
--- End Message ---