index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-11-24 10:35:31 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-11-24 10:35:31 +0100 |
commit | aebbf8ce9733c754d2064ba20285edc9b63d615f (patch) | |
tree | 515c363c90d818b7d940c41a99ce49e1952963b4 /extra/ocaml/PKGBUILD | |
parent | 4caad69b816ed5c083ab45508127dd8eec0f1155 (diff) |
-rw-r--r-- | extra/ocaml/PKGBUILD | 9 |
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 + ' +)" |