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
On Thu, Apr 16, 2020 at 09:48:11PM +0200, Fabio Valentini wrote:
> On Thu, Apr 16, 2020, 21:00 Richard W.M. Jones wrote:
>
> > 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
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
On Thu, Apr 16, 2020 at 03:43:39PM -0600, Jerry James wrote:
> On Thu, Apr 16, 2020 at 1:00 PM Richard W.M. Jones wrote:
> > Sure, I can do the rebuild tomorrow, if you push the changes
> > today.
>
> All of the changes have been pushed. I have made utop buildable
> again, so if that isn't part
On Thu, Apr 16, 2020 at 1:00 PM Richard W.M. Jones wrote:
> Sure, I can do the rebuild tomorrow, if you push the changes
> today.
All of the changes have been pushed. I have made utop buildable
again, so if that isn't part of your rebuild plan, it would be great
if you could include it. (Also,
On Thu, Apr 16, 2020, 21:00 Richard W.M. Jones wrote:
> 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
> wrote:
> >
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 wrote:
> > Long and the short is this will require some sort of OCaml pre-4.11
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 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
On Mon, Apr 13, 2020 at 11:36:03AM -0600, Jerry James wrote:
> I would like to update the ocaml-bisect-ppx package to its latest
> version, 2.3.1. It is currently on a post-1.4.1 git snapshot. The
> new version requires ocaml-ppx-tools-versioned >= 5.3.0. That
> requirement sets off a cascade
I would like to update the ocaml-bisect-ppx package to its latest
version, 2.3.1. It is currently on a post-1.4.1 git snapshot. The
new version requires ocaml-ppx-tools-versioned >= 5.3.0. That
requirement sets off a cascade of updates and rebuilds. I am BCCing
all of the affected package
14 matches
Mail list logo
