index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | extra/ocaml/PKGBUILD | 8 |
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD new file mode 100644 index 00000000..f8aba586 --- /dev/null +++ b/extra/ocaml/PKGBUILD @@ -0,0 +1,8 @@ +# 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 ' + s@-enable-frame-pointers@@;s@world.opt@world@ + ' +)" |