From 0e15481981a6213ea4f1bed34a90c712ed6b2374 Mon Sep 17 00:00:00 2001 From: Tasos Sahanidis Date: Thu, 11 Apr 2024 01:48:37 +0300 Subject: extra/ocaml: Fix patching --- extra/ocaml/PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'extra') 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@ ' )" -- cgit v1.2.3-54-g00ecf