On Fri, 2021-04-09 at 16:04 -0700, Michel Alexandre Salim wrote:
> 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!
> 
ok, the camlzip OPAM module still uses Makefiles to install, and rather
than trying to make sure I override the right environment variables to
get it to build correctly, I figured I'd rather fix opam2rpm to support
Zip archives:

https://pagure.io/opam2rpm/pull-request/6

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