Hi all,

It's been a while since I work on an OCaml spec, so I'm asking the
ocaml-devel list (and because it seems inactive, cc:ing rjones and
jjames since they maintain a lot of OCaml packages.

I'm working through the missing dependencies to eventually package
Infer, Facebook's static analysis tool -- https://fbinfer.com/ -- which
is written in OCaml.

The first such dependency is atdgen, which is part of atd:
https://github.com/ahrefs/atd

Review request: https://bugzilla.redhat.com/show_bug.cgi?id=1947685

This is a single project that ends up generating several related OPAM
packages. The automatic requires/provides seem to identify the modules
it provides correctly, so... do I need to split the packaging to
individual modules, or is it fine to ship only ocaml-atd and ocaml-atd-
devel?

(My infer package can then depend on ocaml(Atdgen) instead of
hardcoding the specific RPM name, so if I end up splitting the package
later it is not affected)

On a related note, the packaging guidelines is rather out of date:
https://docs.fedoraproject.org/en-US/packaging-guidelines/OCaml/

I have a minor PR for fixing the link back to the main guidelines:
https://pagure.io/packaging-committee/pull-request/1065

but found the example spec there really obsolete; I ended up basing my
spec on jjames' ocaml-menhir.

Likewise, the spec generated by `rpmdev-newspec -t ocaml` is out of
date and roughly corresponds with the spec in the packaging guidelines.

Is there an interest in revamping the documentation and template? Maybe
ship a separate template for ocaml-dune for projects that use dune as
as its build system?

Best regards,

-- 
Michel Alexandre Salim
profile: https://keyoxide.org/mic...@michel-slm.name

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to