Ocaml-devel April 2021

ocaml-devel@lists.fedoraproject.org

4 participants
4 discussions

Depict opam update
by Jerry James 19 Apr '21

19 Apr '21

I just checked in a big update to the opam front end for depict (https://pagure.io/depict). It now handles complex boolean dependencies much better. Try this to see a dependency graph for Facebook's Infer, assuming you have a git checkout of opam-repository at ~/src/opam-repository: python3 -m depict --input=json examples/opam.js --input=opam --exclude mirage-xen:mirage-xen-ocaml:ocamlfind-secondary --stop ocaml --repository ~/src/opam-repository async ANSITerminal apron atdgen base64 cmdliner core conf-autoconf conf-gmp conf-mpfr conf-sqlite3 conf-zlib ctypes dune elina javalib mlgmpidl mtime ocamlfind ocamlgraph ounit parmap ppx_deriving ppx_fields_conv ppx_let sawja sqlite3 utop xmlm yojson zarith --graph=dag --output=dot infer.dot --output=layered - -- Jerry James http://www.jamezone.org/

1 0

Re: Need feedback on ocaml-atd review request
by Michel Alexandre Salim 16 Apr '21

16 Apr '21

On Thu, 2021-04-08 at 19:18 -0600, Jerry James wrote: > I am currently traveling, with only my phone for accessing email, so > please pardon top posting, HTML, etc. I also have the goal of > bringing Infer to Fedora, so I am happy to make common cause with > you. > > Are you aware of my efforts to build an OCaml spec generator? See > https://pagure.io/opam2rpm. It isn't finished, but it is useful for > getting started. > That looks handy, thanks! I'm halfway through packaging the next package Infer needs (camlzip) so I already wrote a manual spec file for it too, but I'll check out opam2rpm for the next dependency in line. > I can be more helpful next week when I am home & have my beloved > Fedora desktop in front of me. :-) > Hope to have a set of review requests by then! Best regards, -- Michel Alexandre Salim profile: https://keyoxide.org/michel@michel-slm.name

2 5

Re-launch of the OCaml devel list
by Dan Čermák 15 Apr '21

15 Apr '21

Dear OCaml devs & packagers, thanks to the work of smoodge and the infra team, I am proud to announce the resurrection of the ocaml-devel list! It should be now available again for subscription in hyperkitty [1] Cheers, Dan Footnotes: [1] https://lists.fedoraproject.org/archives/list/ocaml-devel@lists.fedoraproje…

2 1

Need feedback on ocaml-atd review request
by Michel Alexandre Salim 13 Apr '21

13 Apr '21

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/michel@michel-slm.name

3 5

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel April 2021