Re: [Ocaml-devel] Re: Need feedback on ocaml-atd review request

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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/michel@xxxxxxxxxxxxxxx

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

_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux