On Wed, Jul 12, 2023 at 06:00:02PM +0100, Richard W.M. Jones wrote:
> 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 <rjo...@redhat.com>
> > 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.
This is fixed now.
> > > - 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.
All these are fixed now except frama-c which is still building.
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
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam, report it:
https://pagure.io/fedora-infrastructure/new_issue
