| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Tasos Sahanidis <tasos@tasossah.com> | 2024-04-11 01:48:37 +0300 |
|---|---|---|
| committer | Tasos Sahanidis <tasos@tasossah.com> | 2024-04-11 01:48:37 +0300 |
| commit | 0e15481981a6213ea4f1bed34a90c712ed6b2374 (patch) | |
| tree | a77c60778822e16bb409010313af9900795b598e /extra | |
| parent | a890421262fd314b3c218ce6f771c5a39b2669e3 (diff) | |
| -rw-r--r-- | extra/ocaml/PKGBUILD | 6 |
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@ ' )" |