Hi, On Thu, Sep 26, 2024 at 3:34 PM Stéphane Glondu <[email protected]> wrote: > > Hi, > > Le 25/09/2024 à 16:40, Bo YU a écrit : > > I would like to put these share files into `/usr/share/ocaml/lem` > > unless there is a better suggestion. Is that okay? > > Why not directly /usr/share/lem? Are these files of any use outside of > lem, but inside the OCaml ecosystem?
Good point! I misunderstood at first, but you're right. Initially, I misunderstood that all shared files from OCaml-related packages should be put `/usr/share/ocaml/`: if these share files was only used under OCaml namespace, the hypothesis is valid. If only as a separated package, in generally we put these files into /usr/share/$(package). this is today I learn. But for lem, maybe it hits exactly what you're talking about. linksem[0] will use these share files, this is in line with the lem upstream design[1], I'm not sure if there are other non-OCaml related packages that use these files. So these files under share/ of lem were used with OCaml ecosystem package at least by now.If I understand correctly, we should choose to use `/usr/share/ocaml/lem` for lem. Please correct me if I am wrong. Thanks for the your help and time again! [0]: https://salsa.debian.org/ocaml-team/linksem/-/blob/debian/main/debian/rules?ref_type=heads#L11 [1]: https://github.com/rems-project/lem?tab=readme-ov-file#without-opam > > > Cheers, > > -- > Stéphane
