community/z3/PKGBUILD


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