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

Attachment: 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 ---

Reply via email to