blob: d86a1c874dc7ed9c5183da53eb5ffdb07b86be12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# https://github.com/Z3Prover/z3/issues/2776
# upstream fix for 32-bit intrinsics in GNU compiler
source+=('z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch')
sha512sums+=('98495c9bd6aaa2c1f37fa7b3c0843b36a28148b711b44817ec375334e44690ff055d789d3e44fcdff7e58e0d9fdf8b547c194d401ce3b8aee17febbe584217ea')
eval "$(
declare -f prepare | \
sed '
/cd/ a \
patch -Np1 -i "$srcdir/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch" \
'
)"
|
