| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
| commit | e74cde76c104df82b120a7b13964cb786da8f565 (patch) | |
| tree | 39967e24037929c04aaf79922aa260b437a60a5e /extra/z3 | |
| parent | 73e1d3b448cc583ab38cae4d61a26f313fad946b (diff) | |
| -rw-r--r-- | extra/z3/PKGBUILD | 9 |
diff --git a/extra/z3/PKGBUILD b/extra/z3/PKGBUILD new file mode 100644 index 00000000..7b727e00 --- /dev/null +++ b/extra/z3/PKGBUILD @@ -0,0 +1,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 |