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
