OCaml 4.12

[Jerry James]

Richard, I see that the OCaml 4.12 release is not expected to happen
until next week, after the beta freeze:

https://discuss.ocaml.org/t/ocaml-4-12-0-first-release-candidate/7294

Some of my OCaml packages are currently not installable, due to the
dynlink hiccup, I think.  Rather than enter beta freeze with them in
this state, I would like to rebuild them.  I was thinking about
proceeding with the updates needed for OCaml 4.12, since I have to
build these packages anyway, and the updated versions also work with
OCaml 4.11.  As a reminder, these are the updates:

- ocaml-base: 0.14.0 -> 0.14.1
- ocaml-migrate-parsetree: 1.8.0 -> 2.1.0
- ocaml-ppxlib: 0.15.0 -> 0.22.0
- ocaml-bisect-ppx: 2.5.0 -> 2.6.0
- ocaml-tyxml: apply this pull request to switch to ppxlib:
https://github.com/ocsigen/tyxml/pull/271
- ocaml-lwt: 5.3.0 -> 5.4.0
- ocaml-ppx-deriving: 5.1 -> 5.2.1
- ocaml-ppx-optcomp: 0.14.0 -> 0.14.1
- ocaml-ppx-sexp-conv: 0.14.1 -> 0.14.2
- ocaml-sedlex: 2.2 -> 2.3
- ocaml-ppx-custom-printf: 0.14.0 -> 0.14.1
- ocaml-ppx-fields-conv: 0.14.1 -> 0.14.2
- Retire ocaml-ppx-tools-versioned

along with a number of other package builds just to fix dependencies.
That would also simplify things for you when OCaml 4.12 is released,
as all of these updates would already be in place.  What do you think?

Also, I would like to update ocaml-ocamlgraph to version 2.0.0 at some
point.  The only Fedora consumers are frama-c and ocaml-dose3.  The
current version of frama-c can already be built with either ocamlgraph
1.x or 2.x.  The version of ocaml-dose3 in Fedora (5.0.1) cannot be
built with ocamlgraph 2.x.  However, upstream has moved here:

https://gitlab.com/irill/dose3

and released a 6.x series that supports ocamlgraph 2.x.
Unfortunately, there are issues with moving to version 6.x.  First,
and easiest, the new versions depend on camlbz2 and parmap, neither of
which are in Fedora.  I've put together spec files for those two and
can submit them for review if nobody else wants to do so.  Second,
upstream removed support for RPM in this commit:

https://gitlab.com/irill/dose3/-/commit/e656b5783f1fc5fd75e0e2716b0a40aca...

I don't know why.  The commit message does not give a reason, and this
change is not mentioned in the project changelog.  I assume RPM
support is important for the Fedora build of ocaml-dose3.  I don't
know what the best approach is to resolve this issue, but it is
blocking the ocamlgraph update.  Any thoughts on the matter are
appreciated.

Regards,
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

On Thu, Feb 18, 2021 at 12:07:32PM -0700, Jerry James wrote:
>  Richard, I see that the OCaml 4.12 release is not expected to happen
>  until next week, after the beta freeze:
>  
>  https://discuss.ocaml.org/t/ocaml-4-12-0-first-release-candidate/7294
>  
>  Some of my OCaml packages are currently not installable, due to the
>  dynlink hiccup, I think.  Rather than enter beta freeze with them in
>  this state, I would like to rebuild them.  I was thinking about
>  proceeding with the updates needed for OCaml 4.12, since I have to
>  build these packages anyway, and the updated versions also work with
>  OCaml 4.11.  As a reminder, these are the updates:
>  
>  - ocaml-base: 0.14.0 -> 0.14.1
>  - ocaml-migrate-parsetree: 1.8.0 -> 2.1.0
>  - ocaml-ppxlib: 0.15.0 -> 0.22.0
>  - ocaml-bisect-ppx: 2.5.0 -> 2.6.0
>  - ocaml-tyxml: apply this pull request to switch to ppxlib:
>  https://github.com/ocsigen/tyxml/pull/271
>  - ocaml-lwt: 5.3.0 -> 5.4.0
>  - ocaml-ppx-deriving: 5.1 -> 5.2.1
>  - ocaml-ppx-optcomp: 0.14.0 -> 0.14.1
>  - ocaml-ppx-sexp-conv: 0.14.1 -> 0.14.2
>  - ocaml-sedlex: 2.2 -> 2.3
>  - ocaml-ppx-custom-printf: 0.14.0 -> 0.14.1
>  - ocaml-ppx-fields-conv: 0.14.1 -> 0.14.2
>  - Retire ocaml-ppx-tools-versioned
>  
>  along with a number of other package builds just to fix dependencies.
>  That would also simplify things for you when OCaml 4.12 is released,
>  as all of these updates would already be in place.  What do you think? 
That sounds great.

>  Also, I would like to update ocaml-ocamlgraph to version 2.0.0 at
> some
>  point.  The only Fedora consumers are frama-c and ocaml-dose3.  The
>  current version of frama-c can already be built with either ocamlgraph
>  1.x or 2.x.  The version of ocaml-dose3 in Fedora (5.0.1) cannot be
>  built with ocamlgraph 2.x.  However, upstream has moved here:
>  
>  https://gitlab.com/irill/dose3
>  
>  and released a 6.x series that supports ocamlgraph 2.x.
>
>  Unfortunately, there are issues with moving to version 6.x.  First,
>  and easiest, the new versions depend on camlbz2 and parmap, neither of
>  which are in Fedora.  I've put together spec files for those two and
>  can submit them for review if nobody else wants to do so.  Second,
>  upstream removed support for RPM in this commit:
>  
>  https://gitlab.com/irill/dose3/-/commit/e656b5783f1fc5fd75e0e2716b0a40aca...
>  
>  I don't know why.  The commit message does not give a reason, and this
>  change is not mentioned in the project changelog.  I assume RPM
>  support is important for the Fedora build of ocaml-dose3.  I don't
>  know what the best approach is to resolve this issue, but it is
>  blocking the ocamlgraph update.  Any thoughts on the matter are
>  appreciated. 
This is weird, but while it will require a smallish change to our spec
(like removing rpm-devel), I don't think it should affect anything
else.  Nothing in Fedora seems to need 'ocaml(Rpm)' or /usr/bin/rpmcheck.

Thanks,

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/

[Jerry James]

On Fri, Feb 19, 2021 at 11:45 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  That sounds great. 
Okay, I will try to get all of these builds done prior to beta freeze.

>  This is weird, but while it will require a smallish change to our
> spec
>  (like removing rpm-devel), I don't think it should affect anything
>  else.  Nothing in Fedora seems to need 'ocaml(Rpm)' or /usr/bin/rpmcheck. 
Okay.  I just figured that, where dose3 is a framework for managing
distribution packages and dependencies, it would be weird to have a
Fedora build that cannot manage Fedora packages and dependencies.  In
any case, there is no rush on moving to ocamlgraph 2.0.0.  I think
I'll focus on getting the other builds done before beta freeze, and we
can revisit this issue after that.

Regards,
-- 
Jerry James
http://www.jamezone.org/

[Jerry James]

On Sat, Feb 20, 2021 at 10:26 AM Jerry James <loganjerry(a)gmail.com&gt; wrote:
>  Okay, I will try to get all of these builds done prior to beta
> freeze. 
The builds are all done now, and ocaml-ppx-tools-versioned has been
retired in F34+.  As far as I can tell, all OCaml-using packages
except ocaml-dose3 and ocaml-oasis are installable now.  Those two
look like they just need rebuilds, but they weren't affected by my
changes.
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

On Mon, Feb 22, 2021 at 09:59:55AM -0700, Jerry James wrote:
>  On Sat, Feb 20, 2021 at 10:26 AM Jerry James
> <loganjerry(a)gmail.com&gt; wrote:
>  > Okay, I will try to get all of these builds done prior to beta freeze.
>  
>  The builds are all done now, and ocaml-ppx-tools-versioned has been
>  retired in F34+.  As far as I can tell, all OCaml-using packages
>  except ocaml-dose3 and ocaml-oasis are installable now.  Those two
>  look like they just need rebuilds, but they weren't affected by my
>  changes. 
Thanks again.  Let's see what happens when 4.12 is finally released.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v

[Jerry James]

On Mon, Feb 22, 2021 at 10:21 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  Thanks again.  Let's see what happens when 4.12 is finally
> released. 
I have picked up ocaml-ocp-indent, which was orphaned recently,
because frama-c needs it.  I pushed some changes to the Rawhide branch
today but haven't rebuilt.  I'll let the OCaml 4.12 rebuilds take care
of that.  I'm going to do likewise with ocaml-menhir, probably in the
next 24 hours.

I am thinking of picking up ocaml-merlin, which is also orphaned.  I
have tried updating it to 4.1, but some tests are failing.  A little
debugging work revealed that merlin is trying to read standard library
*.cmt and *.cmti files, but we don't have them in our ocaml package.
I see this in ocaml.spec:

# Remove .cmt and .cmti files, for now.  We could package them later.
# See also: http://www.ocamlpro.com/blog/2012/08/20/ocamlpro-and-4.00.0.html
find $RPM_BUILD_ROOT \( -name '*.cmt' -o -name '*.cmti' \) -a -delete


Can we make "later" be when OCaml 4.12 is released?  They could go
into a separate subpackage, since most OCaml packages won't need them.
Thanks,
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

On Tue, Feb 23, 2021 at 04:39:09PM -0700, Jerry James wrote:
>  On Mon, Feb 22, 2021 at 10:21 AM Richard W.M. Jones
> <rjones(a)redhat.com&gt; wrote:
>  > Thanks again.  Let's see what happens when 4.12 is finally released.
>  
>  I have picked up ocaml-ocp-indent, which was orphaned recently,
>  because frama-c needs it.  I pushed some changes to the Rawhide branch
>  today but haven't rebuilt.  I'll let the OCaml 4.12 rebuilds take care
>  of that.  I'm going to do likewise with ocaml-menhir, probably in the
>  next 24 hours.
>  
>  I am thinking of picking up ocaml-merlin, which is also orphaned.  I
>  have tried updating it to 4.1, but some tests are failing.  A little
>  debugging work revealed that merlin is trying to read standard library
>  *.cmt and *.cmti files, but we don't have them in our ocaml package.
>  I see this in ocaml.spec:
>  
>  # Remove .cmt and .cmti files, for now.  We could package them later.
>  # See also: http://www.ocamlpro.com/blog/2012/08/20/ocamlpro-and-4.00.0.html
>  find $RPM_BUILD_ROOT \( -name '*.cmt' -o -name '*.cmti' \) -a -delete
>  
>  
>  Can we make "later" be when OCaml 4.12 is released?  They could go
>  into a separate subpackage, since most OCaml packages won't need them.
>  Thanks, 
Sure thing.

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

[Richard W.M. Jones]

OCaml 4.12.0 was just released.  I'll take a look at builds this
weekend.

https://bugzilla.redhat.com/show_bug.cgi?id=1893381

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html

[Jerry James]

On Wed, Feb 24, 2021 at 8:45 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  OCaml 4.12.0 was just released.  I'll take a look at builds this
>  weekend.
>
>  https://bugzilla.redhat.com/show_bug.cgi?id=1893381 
Great!  Feel free to shout at me if any of my packages break.

Also, I have pushed changes to ocaml-csexp and ocaml-menhir to upgrade
them to their latest versions, but will wait for your rebuild to do
the actual builds.

Regards,
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

OCaml 4.12.0 rebuild is starting.

The side tag is: f35-build-side-38024 (don't use this, at least not
without coordinating with me).

This will probably take a few days, not least because I need to update
my local checkouts and scripts to deal with the master->rawhide change.

We hit this bug for which I've added a workaround:
https://github.com/ocaml/ocaml/issues/10250

I added the *.cmt / *.cmti files in ocaml-source (which contains
already source files for libraries shipped with the compiler).  If
this is the wrong subpackage then we can easily move these files.  I
wasn't really sure what was the best place to put them.  (See also
https://web.archive.org/web/20120824104817/https://www.ocamlpro.com/blog/...
)

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

[Richard W.M. Jones]

Another problem is there is a circular dependency going through
ocaml-odoc.  I believe it's this (although there could be others):

ocaml-odoc ->  
BR: ocaml-markup ->
BR: ocaml-lwt ->
BR: ocaml-luv ->
BR: ocaml-ctypes ->
BR: ocaml-integers ->
BR: ocaml-odoc

I broke it by excluding ocaml-odoc, but that caused lots of packages
to fail to build, so now I'm trying to build them by hand which is a
bunch of work.

We might need to remove a dependency somewhere to break the cycle, as
we did with dune.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html

[Richard W.M. Jones]

On Mon, Mar 01, 2021 at 11:47:41AM +0000, Richard W.M. Jones wrote:
>  We might need to remove a dependency somewhere to break the cycle,
> as
>  we did with dune. 
I've removed the -doc subpackage from ocaml-integers.  (Also possibly
not related, but debuginfo generation was broken for this package so I
disabled that too.)

We may want to revisit this, although the -doc subpackage was more of
a nice-to-have.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html

[Richard W.M. Jones]

On Mon, Mar 01, 2021 at 11:59:22AM +0000, Richard W.M. Jones wrote:
>  On Mon, Mar 01, 2021 at 11:47:41AM +0000, Richard W.M. Jones wrote:
>  > We might need to remove a dependency somewhere to break the cycle, as
>  > we did with dune.
>  
>  I've removed the -doc subpackage from ocaml-integers.  (Also possibly
>  not related, but debuginfo generation was broken for this package so I
>  disabled that too.)
>  
>  We may want to revisit this, although the -doc subpackage was more of
>  a nice-to-have. 
Thinking about this more, rather than remove the subpackage(s) (there
are several more), I've decided to make them conditional instead, so
we have the choice to still build them in future.

See:

https://src.fedoraproject.org/rpms/ocaml-integers/c/f40c89973e1e83b0df489...
https://src.fedoraproject.org/rpms/ocaml-compiler-libs-janestreet/c/9262e...

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/

[Jerry James]

On Mon, Mar 1, 2021 at 7:02 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  Thinking about this more, rather than remove the subpackage(s)
> (there
>  are several more), I've decided to make them conditional instead, so
>  we have the choice to still build them in future. 
Sorry about that.  I thought I had broken the circular dependencies on
odoc, but obviously missed some.
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

On Mon, Mar 01, 2021 at 09:18:31AM -0700, Jerry James wrote:
>  On Mon, Mar 1, 2021 at 7:02 AM Richard W.M. Jones
> <rjones(a)redhat.com&gt; wrote:
>  > Thinking about this more, rather than remove the subpackage(s) (there
>  > are several more), I've decided to make them conditional instead, so
>  > we have the choice to still build them in future.
>  
>  Sorry about that.  I thought I had broken the circular dependencies on
>  odoc, but obviously missed some. 
No worries!  We really need a better way to visualise these
dependencies.  At the moment I'm trying builds and breaking the deps
as I find them.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/

[Jerry James]

On Mon, Mar 1, 2021 at 9:26 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  No worries!  We really need a better way to visualise these
>  dependencies.  At the moment I'm trying builds and breaking the deps
>  as I find them. 
I agree.  The OCaml world is chock full of circular dependencies.  I
actually started writing a little tool over the Christmas break to
help me visualize dependency cycles and explore ways of breaking them.
Let me dust that off and see what still needs to be done to make it
useful.
-- 
Jerry James
http://www.jamezone.org/

[Richard W.M. Jones]

z3 build was cancelled, unclear why:

  https://koji.fedoraproject.org/koji/taskinfo?taskID=62888806

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v

[Richard W.M. Jones]

We're pretty much there now.  There are a few packages left to build,
and I will have to work out the dance to fold the side tag into Rawhide.

haxe FTBFS because it depends on ocaml-ppx-tools-versioned-devel which
was removed from Rawhide.  I'm not clear if ocaml-ppx-tools is a
straight replacement, but I didn't attempt to fix this package, so
please take a look.  Also ISTR there was an haxe update upstream.

I also recall there was some discussion about whether we need
OCaml 4.12 in Fedora 34.  I would prefer _not_ to do this, not only
because it's another couple of days of work, but also because
Fedora 34 is feeding into RHEL 9 and it would pull at least one more
OCaml package in RHEL 9 which I'd like to avoid.  But if there was a
real reason why we needed it in F34 then let me know.

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

[Richard W.M. Jones]

Update here:
https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org

[Zbigniew Jędrzejewski-Szmek]

On Tue, Mar 02, 2021 at 01:13:56PM +0000, Richard W.M. Jones wrote:
>  
>  Update here:
>  https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546 
Oh, wow!

This fixes a bunch of FTI issues, right? Can we get a freeze exception for this?

Zbyszek

[Fabio Valentini]

On Tue, Mar 2, 2021 at 3:40 PM Zbigniew Jędrzejewski-Szmek
<zbyszek(a)in.waw.pl&gt; wrote:
>  On Tue, Mar 02, 2021 at 01:13:56PM +0000, Richard W.M. Jones wrote:
>  >
>  > Update here:
>  > https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546
>
>  Oh, wow!
>
>  This fixes a bunch of FTI issues, right? Can we get a freeze exception for this? 
Why freeze exception? It's an update for rawhide, and not for
branched. It's just blocked by failed gating tests.

Fabio

[Richard W.M. Jones]

On Tue, Mar 02, 2021 at 04:00:58PM +0100, Fabio Valentini wrote:
>  On Tue, Mar 2, 2021 at 3:40 PM Zbigniew Jędrzejewski-Szmek
>  <zbyszek(a)in.waw.pl&gt; wrote:
>  >
>  > On Tue, Mar 02, 2021 at 01:13:56PM +0000, Richard W.M. Jones wrote:
>  > >
>  > > Update here:
>  > > https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546
>  >
>  > Oh, wow!
>  >
>  > This fixes a bunch of FTI issues, right? Can we get a freeze exception for this?
I think these are the ones where the ocamlx(Dynlink) dependency
changed, breaking everything?  Was that in F34, I thought it was only
F35.  Do you have an example of a bug/bugs I can look at?

>  Why freeze exception? It's an update for rawhide, and not for
>  branched. It's just blocked by failed gating tests. 
Right, in this case, but if there are issues in F34 then we could do
one of:

(a) Bump and build all the OCaml packages in F34 without changing the
version of OCaml.

(b) Rebuild all the OCaml packages in F34 against OCaml 4.12.  I'd
kind of like to avoid this because it's a bunch of work, and also
pulls in an extra OCaml package into RHEL 9.

(c) Do nothing - packagers can rebuild packages themselves to fix FTI
issues.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/

[Zbigniew Jędrzejewski-Szmek]

On Tue, Mar 02, 2021 at 03:21:01PM +0000, Richard W.M. Jones wrote:
>  On Tue, Mar 02, 2021 at 04:00:58PM +0100, Fabio Valentini wrote:
>  > On Tue, Mar 2, 2021 at 3:40 PM Zbigniew Jędrzejewski-Szmek
>  > <zbyszek(a)in.waw.pl&gt; wrote:
>  > >
>  > > On Tue, Mar 02, 2021 at 01:13:56PM +0000, Richard W.M. Jones wrote:
>  > > >
>  > > > Update here:
>  > > > https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546
>  > >
>  > > Oh, wow!
>  > >
>  > > This fixes a bunch of FTI issues, right? Can we get a freeze exception for
> this?
>  
>  I think these are the ones where the ocamlx(Dynlink) dependency
>  changed, breaking everything?  Was that in F34, I thought it was only
>  F35.  Do you have an example of a bug/bugs I can look at? 
I thought there were more issues, but now I only see ocaml-dose3:
https://bugzilla.redhat.com/show_bug.cgi?id=1924284.

>  > Why freeze exception? It's an update for rawhide, and not
> for
>  > branched. It's just blocked by failed gating tests. 
I assumed the rebuild is necessary to fix the installation issues.
If not, please ignore the "freeze exception" part.

Zbyszek

[Richard W.M. Jones]

On Tue, Mar 02, 2021 at 03:39:03PM +0000, Zbigniew Jędrzejewski-Szmek wrote:
>  On Tue, Mar 02, 2021 at 03:21:01PM +0000, Richard W.M. Jones wrote:
>  > On Tue, Mar 02, 2021 at 04:00:58PM +0100, Fabio Valentini wrote:
>  > > On Tue, Mar 2, 2021 at 3:40 PM Zbigniew Jędrzejewski-Szmek
>  > > <zbyszek(a)in.waw.pl&gt; wrote:
>  > > >
>  > > > On Tue, Mar 02, 2021 at 01:13:56PM +0000, Richard W.M. Jones wrote:
>  > > > >
>  > > > > Update here:
>  > > > > https://bodhi.fedoraproject.org/updates/FEDORA-2021-667db9b546
>  > > >
>  > > > Oh, wow!
>  > > >
>  > > > This fixes a bunch of FTI issues, right? Can we get a freeze exception for
> this?
>  > 
>  > I think these are the ones where the ocamlx(Dynlink) dependency
>  > changed, breaking everything?  Was that in F34, I thought it was only
>  > F35.  Do you have an example of a bug/bugs I can look at?
>  
>  I thought there were more issues, but now I only see ocaml-dose3:
>  https://bugzilla.redhat.com/show_bug.cgi?id=1924284. 
I rebuilt a bunch of packages last week.  I'll have a look at this one
which I may have missed.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW

[Kevin Kofler]

Richard W.M. Jones wrote:
>  I also recall there was some discussion about whether we need
>  OCaml 4.12 in Fedora 34.  I would prefer _not_ to do this, not only
>  because it's another couple of days of work, but also because
>  Fedora 34 is feeding into RHEL 9 and it would pull at least one more
>  OCaml package in RHEL 9 which I'd like to avoid.  But if there was a
>  real reason why we needed it in F34 then let me know. 
A RHEL release should really not be the deciding factor on whether something 
is accepted into a Fedora release or not.

        Kevin Kofler

[Jerry James]

On Tue, Mar 2, 2021 at 4:57 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  haxe FTBFS because it depends on ocaml-ppx-tools-versioned-devel
> which
>  was removed from Rawhide.  I'm not clear if ocaml-ppx-tools is a
>  straight replacement, but I didn't attempt to fix this package, so
>  please take a look.  Also ISTR there was an haxe update upstream. 
Oh no!  I thought I had tracked down all of the consumers of
ocaml-ppx-tools-versioned.  So, no, ocaml-ppx-tools is not a straight
replacement.  Users of ocaml-ppx-tools-versioned are supposed to
migrate to ocaml-ppxlib.  I'll see what needs to be done to fix this.
Sorry about that.

>  I also recall there was some discussion about whether we need
>  OCaml 4.12 in Fedora 34.  I would prefer _not_ to do this, not only
>  because it's another couple of days of work, but also because
>  Fedora 34 is feeding into RHEL 9 and it would pull at least one more
>  OCaml package in RHEL 9 which I'd like to avoid.  But if there was a
>  real reason why we needed it in F34 then let me know. 
I have no reason for needing 4.12 in Fedora 34.
-- 
Jerry James
http://www.jamezone.org/

[Jerry James]

On Wed, Mar 3, 2021 at 9:05 AM Jerry James <loganjerry(a)gmail.com&gt; wrote:
>  Oh no!  I thought I had tracked down all of the consumers of
>  ocaml-ppx-tools-versioned.  So, no, ocaml-ppx-tools is not a straight
>  replacement.  Users of ocaml-ppx-tools-versioned are supposed to
>  migrate to ocaml-ppxlib.  I'll see what needs to be done to fix this.
>  Sorry about that. 
Haxe does not directly consume ocaml-ppx-tools-versioned.  It has
several transitive BuildRequires, formerly needed due to the
ocaml-sedlex dependency, which can now be omitted, namely:

BuildRequires:  ocaml-migrate-parsetree-devel
BuildRequires:  ocaml-ppx-derivers-devel
BuildRequires:  ocaml-ppx-tools-versioned-devel

Those should be removed.  However, after doing that I ran into an
incompatibility with the version of ocaml-extlib currently in Rawhide.
Andy seems to be aware of this:

https://github.com/HaxeFoundation/haxe/pull/10086

Once that is fixed, haxe should build in Rawhide again.  Also, Andy,
I'd like to point out that ocaml-luv is now available in Fedora, so it
should be possible to update to haxe 4.2.x.  Regards,
-- 
Jerry James
http://www.jamezone.org/

[Andy Li]

On Thu, Mar 4, 2021 at 1:15 AM Jerry James <loganjerry(a)gmail.com&gt; wrote:
>  Once that is fixed, haxe should build in Rawhide again.  Also, Andy,
>  I'd like to point out that ocaml-luv is now available in Fedora, so it
>  should be possible to update to haxe 4.2.x.  Regards, 
I've just fixed it by upgrading haxe to 4.2.1.
Didn't notice you've packaged ocaml-luv, which made the haxe upgrade
much easier. Thanks!

Best.
Andy