summaryrefslogtreecommitdiff
path: root/user/kjsembed
diff options
context:
space:
mode:
authorMax Rees <maxcrees@me.com>2020-06-15 21:54:20 -0500
committerMax Rees <maxcrees@me.com>2020-06-16 15:41:03 -0500
commitbf59364ccef65000e448eaae4791efc630e10a09 (patch)
treeba3edef7d43cffc5577250a8e9f93148e44d8763 /user/kjsembed
parentb638af19ae2d31c0e9eff1d9c70197cd14180ac8 (diff)
downloadpackages-bf59364ccef65000e448eaae4791efc630e10a09.tar.gz
packages-bf59364ccef65000e448eaae4791efc630e10a09.tar.bz2
packages-bf59364ccef65000e448eaae4791efc630e10a09.tar.xz
packages-bf59364ccef65000e448eaae4791efc630e10a09.zip
user/z3: fix build on 32-bit arches
../src/util/mpz.cpp:57:30: error: definition of ‘uint32_t __builtin_ctz(uint32_t)’ ambiguates built-in declaration ‘int __builtin_ctz(unsigned int)’ #define _trailing_zeros32(X) __builtin_ctz(X) ^~~~~~~~~~~~~ ../src/util/mpz.cpp:76:17: note: in expansion of macro ‘_trailing_zeros32’ inline uint32_t _trailing_zeros32(uint32_t x) { ^~~~~~~~~~~~~~~~~ make: *** [Makefile:216: util/mpz.o] Error 1 make: *** Waiting for unfinished jobs.... make: Leaving directory '/af/build/user/z3/src/z3-z3-4.8.7/build' >>> ERROR: z3: build failed Upstream issues: https://github.com/Z3Prover/z3/issues/2727 https://github.com/Z3Prover/z3/issues/2776
Diffstat (limited to 'user/kjsembed')
0 files changed, 0 insertions, 0 deletions