From aebbf8ce9733c754d2064ba20285edc9b63d615f Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 24 Nov 2022 10:35:31 +0100
Subject: extra/ocaml: disabled non-supported frame pointers and also LTO fat
 object

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

(limited to 'extra/ocaml/PKGBUILD')

diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD
new file mode 100644
index 00000000..59bebeb6
--- /dev/null
+++ b/extra/ocaml/PKGBUILD
@@ -0,0 +1,9 @@
+# configure says frame pointers are not supported on this platform,
+# disable them (and also some LTO stuff)
+eval "$(
+  declare -f build | \
+    sed '
+      /configure/s/--enable-frame-pointers//
+      /fat-lto-objects/d
+    '
+)"
-- 
cgit v1.2.3-70-g09d2