Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/ocaml
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-04-11 01:48:37 +0300
committerTasos Sahanidis <tasos@tasossah.com>2024-04-11 01:48:37 +0300
commit0e15481981a6213ea4f1bed34a90c712ed6b2374 (patch)
treea77c60778822e16bb409010313af9900795b598e /extra/ocaml
parenta890421262fd314b3c218ce6f771c5a39b2669e3 (diff)
extra/ocaml: Fix patching
Diffstat (limited to 'extra/ocaml')
-rw-r--r--extra/ocaml/PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD
index b8474f38..f8aba586 100644
--- a/extra/ocaml/PKGBUILD
+++ b/extra/ocaml/PKGBUILD
@@ -1,8 +1,8 @@
-# configure says frame pointers are not supported on this platform,
-# disable them (and also some LTO stuff)
+# configure says frame pointers are not supported on this platform
+# Also switch to world instead of world.opt because the native code compiler has been dropped
eval "$(
declare -f build | \
sed '
- /configure/s/--enable-frame-pointers//
+ s@-enable-frame-pointers@@;s@world.opt@world@
'
)"