From 73e7af3465ab5be1015d0f8b7c06a4ee665c1e08 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 23 Sep 2021 11:15:27 +0200
Subject: community/z3: do not do LTO on i486 (out of memory error)

---
 community/z3/PKGBUILD | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 community/z3/PKGBUILD

(limited to 'community/z3')

diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
new file mode 100644
index 00000000..7b727e00
--- /dev/null
+++ b/community/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
-- 
cgit v1.2.3-70-g09d2