Hi Stéphane, On Fri, Sep 27, 2024 at 5:40 PM Bo YU <[email protected]> wrote: > > 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. >
Could you help me to evaluate that again, did I misunderstand what you meant? I have tested it on its rdeps, even these share files are put `/usr/share/lem` is okay. Once we decide, we can upload his reverse dependencies. Thanks for your time again. BR, Bo > 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
