Re: FYI OCaml 5.0 rebuild is under way

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Mon, Jul 10, 2023 at 10:05:10PM +0100, Richard W.M. Jones wrote:
> Jerry James & I are doing a rebuild of all OCaml packages.

This is mostly complete now, and I have submitted an update:

https://bodhi.fedoraproject.org/updates/FEDORA-2023-8d5b08b005

I managed to build 175 packages out 186.  The failures are:

 - ocaml-atd

   Fails to build because it requires Python3 flake8 which is
   uninstallable at the moment.

 - ocaml-camlp5

   Waiting on two packages to be reviewed (see below).

 - coq

   Unclear what's going on here, I asked Jerry to take a look since
   his earlier build was successful.  This also affects:

   - flocq
   - frama-c
   - gappalib-coq
   - why3
   - zenon

   I will submit builds for these once coq is sorted out.

 - swig

   This also should work but does not.  It has a very opaque failures
   in the test suite.  I'm going to try to reproduce this one locally.

 - graphviz

   Requires a fix to swig, which cannot be built, see above.

 - haxe

   Requires camlp5, see above.

These two packages still need to be reviewed and built, which should
allow ocaml-camlp5 & haxe to be built:

>  - not-ocamlfind https://bugzilla.redhat.com/show_bug.cgi?id=2221319
>  - ocaml-camlp5-buildscripts https://bugzilla.redhat.com/show_bug.cgi?id=2221320

As noted before ...

> Several packages will be orphaned with the expectation that
> they will be retired automatically:
>  - ocaml-ancient
>  - ocaml-charinfo-width
>  - ocaml-cil
>  - ocaml-lwt-log
>  - ocaml-migrate-parsetree
>  - ocaml-mmap
>  - ocaml-seq
>  - ocaml-tplib
> 
> i686 will be dropped from all packages, and some other architectures
> will temporarily be bytecode only (discussed on list:
> https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)

Rich.

-- 
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
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux