Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2022-11-24 10:35:31 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2022-11-24 10:35:31 +0100
commitaebbf8ce9733c754d2064ba20285edc9b63d615f (patch)
tree515c363c90d818b7d940c41a99ce49e1952963b4
parent4caad69b816ed5c083ab45508127dd8eec0f1155 (diff)
extra/ocaml: disabled non-supported frame pointers and also LTO fat object
-rw-r--r--extra/ocaml/PKGBUILD9
1 files changed, 9 insertions, 0 deletions
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
+ '
+)"