On Wed, Jul 12, 2023 at 10:48:46AM -0600, Jerry James wrote:
> On Wed, Jul 12, 2023 at 9:37 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote:
> > - ocaml-atd
> >
> > Fails to build because it requires Python3 flake8 which is
> > uninstallable at the moment.
>
> It is used for testing only, so we can disable the python tests for
> now to get this to build.
Yes, I'll do that. However still waiting for the update to go into
Rawhide before I can start on anything.
> > - ocaml-camlp5
> >
> > Waiting on two packages to be reviewed (see below).
>
> Reviews much appreciated! I am happy to swap reviews.
I'll likely get around to these tomorrow.
> > - 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.
>
> Coq has a plugin architecture which appears to depend on the OCaml
> native compiler, so the solution is to add "ExclusiveArch:
> %{ocaml_native_compiler}" to these spec files.
I pushed the necessary changes to all the packages, but I cannot start
to build them until the Bodhi update goes to Rawhide.
> > - 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.
>
> This is the failure:
>
> checking python testcase langobj (with run test)
> Traceback (most recent call last):
> File "/builddir/build/BUILD/swig-4.1.1/Examples/test-suite/python/./langobj_runme.py",
> line 13, in <module>
> raise RuntimeError
> RuntimeError
> make[1]: *** [Makefile:123: langobj.cpptest] Error 1
Ah interesting, I couldn't find that.
> My test build of the swig package, which succeeded, was done with
> python 3.11. I suspect that this is python 3.12 breakage. The OCaml
> testsuite passed, so this failure is probably unrelated to the OCaml
> 5.0.0 update.
Not sure how to fix this. We could disable the SWIG tests entirely,
but that's quite aggressive.
> > - graphviz
> >
> > Requires a fix to swig, which cannot be built, see above.
> >
> > - haxe
> >
> > Requires camlp5, see above.
>
> I believe Andy Li is looking at fixing haxe, which also uses
> interfaces that were removed in OCaml 5.
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
_______________________________________________
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
