On Mon, Feb 24, 2020 at 9:57 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
OCaml 4.10.0 was released over the weekend.
We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far
away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was
forked from Rawhide so we now have the beta 1 build in Fedora 32 as
well.
Hopefully the plan is as follows:
(1) Rebuild OCaml 4.10.0 in a side tag then move it to Rawhide. I
don't expect any difficulties here since all the hard work was already
done when I built beta 1.
(2) Merge all those changes into the f32 branches of the ocaml*
packages.
(3) (This is where it gets more speculative because my mass rebuild
script has only ever been run against Rawhide ...) Rebuild in a side
tag of Fedora 32, and if that goes well then merge the side tag in
F32.
This should start happening this afternoon / tomorrow.
This is probably bad timing, since the updates-testing activation for
f32 is planned for tomorrow, followed by the beta freeze :/
See point 12 here:
https://fedorapeople.org/groups/schedule/f-32/f-32-key-tasks.html
Fabio
> There are some packages which are still failing to build:
>
> * coccinelle - Uses -unsafe-string, still waiting resolution upstream.
> * nbdkit - Caused a crash in goals, all my code so I will try to
> debug it this time
> * plplot - FTBFS for unrelated reasons last time
> * z3 -
https://bugzilla.redhat.com/show_bug.cgi?id=1792740
>
> coq and friends failed last time, but I believe they should work now.
> Latest status is in this thread:
>
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.o...
>
> opam should be fixed now (was
>
https://bugzilla.redhat.com/show_bug.cgi?id=1792770)
>
> Mass rebuild script:
>
http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=summary
>
> Talk about mass rebuilding technique:
>
https://rwmj.wordpress.com/2020/01/14/goals-an-experimental-new-tool-whic...
>
> Rich.
>
> --
> 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(a)lists.fedoraproject.org
> To unsubscribe send an email to devel-leave(a)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