On Wed, Apr 22, 2020 at 08:28:45PM +0100, Richard W.M. Jones wrote:
> https://bodhi.fedoraproject.org/updates/FEDORA-2020-150918c861
>
> A summary of what happened:
>
> * Coq (and friends) don't build because camlp5 -> lablgtk3 -> coq.
> camlp5 has not been ported upstream to OCaml 4.11.
We
https://bodhi.fedoraproject.org/updates/FEDORA-2020-150918c861
A summary of what happened:
* Coq (and friends) don't build because camlp5 -> lablgtk3 -> coq.
camlp5 has not been ported upstream to OCaml 4.11.
* Same for haxe and why3.
* I wasn't able to "unbootstrap" menhir and dune since
The second attempt at building OCaml packages in Rawhide (in a side
tag) is under way now.
All the bugs mentioned in the previous email should have been fixed
both upstream and by backporting those changes into our compiler.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
I was asked by David how we do OCaml builds, and finally I've written it up:
http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=blob;f=README
TL;DR - it's hard!
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization
On Sat, Apr 18, 2020 at 5:16 AM Richard W.M. Jones wrote:
> * ocaml-topkg is broken for unclear reasons:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=1825451
>
> This affects many other packages.
#mod_use appears to have changed behavior, whether intentionally or
unintentionally I do not
So several things went wrong, nothing too bad but it'll take a bit of
time to fix.
* We discovered two actual OCaml compiler bugs:
https://github.com/ocaml/ocaml/issues/9460
https://github.com/ocaml/ocaml/issues/9461
The first one is more serious and means we will need to completely