On Mon, Dec 20 2021, Christopher Zimmermann <chr...@openbsd.org> wrote: > On Mon, Dec 20, 2021 at 09:02:22PM +0200, Anil Madhavapeddy wrote: > >>This also looks good to me. Is there any infrastructure in the update-plist >>to hook in custom logic for OCaml? The various cmx/cmxs/a files should >>all be routed to a PFRAG.native or PFRAG.dynlink-native file and it would >>be nice if that were a little more automated. >> >> Alternatively I could just write a shell fragment if others would find >> it useful... > > I had such a sed / sh solution several years ago. > There's just one problem: Exceptions to the rule. > Also not all .a files go to native fragments. > Some .cmo are only available on native code (compiler libs).
Indeed. The last offenders fixed in lang/ocaml were not .cmx files. And I have another fix to for math/coq which puts .cmo files in .coq-native/ subdirectories, but those .cmo files and directories appear only on native archs. Don't get me wrong, nicer logic for ocaml ports would help. But it won't alleviate the need for tests on non-native archs. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
