On Thu, Apr 16, 2020 at 10:04:52AM -0600, Jerry James wrote: > Sorry for the delay. In spite of being stuck in my house, life has > been amazingly busy lately... > > On Mon, Apr 13, 2020 at 2:32 PM Richard W.M. Jones <rjo...@redhat.com> wrote: > > Long and the short is this will require some sort of OCaml pre-4.11 > > package, and a complete rebuild of everything in Rawhide. (I'm not > > proposing that we bother fixing OCaml for RISC-V in Fedora 32). > > > > We could do it this week? If it helps you. If it's going to be a > > problem then I could delay this until you've rebuilt the packages you > > mention below. I don't believe the delta from 4.10 to 4.11 is that > > large, but as with any rebuild of this scale there can always be > > unexpected problems. > > I'm in no hurry. In fact, it might be best if I simply push the > necessary changes to git, then let the packages be rebuilt as part of > your update to pre-4.11. If that works for you, I can push the > changes today.
Sure, I can do the rebuild tomorrow, if you push the changes today. Note I'm only going to do this in Rawhide. Also note, it might all go horribly wrong (but hey, Rawhide?!) Rich. > Somebody will need to merge Dan's pull request for > ocaml-ppx-tools-versioned. Thanks for doing that, Dan. > -- > Jerry James > http://www.jamezone.org/ -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top _______________________________________________ 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
