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 rjones@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.