Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/z3/PKGBUILD
blob: 7b727e0065aeebfe75c579546b638a591c2c4d35 (plain)
1
2
3
4
5
6
7
8
9
# LTO on i486 results in out-of-memory
if [ "$CARCH" == 'i486' ]; then
  eval "$(
    declare -f build | \
      sed '
        s/-DZ3_LINK_TIME_OPTIMIZATION=1/-DZ3_LINK_TIME_OPTIMIZATION=0/
      '
  )"
fi