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,