Re: Frama-C failing to build because of alt-ergo broken deps

[Richard W.M. Jones]

On Mon, Apr 06, 2020 at 09:42:22AM +0100, Richard W.M. Jones wrote:
>  On Sun, Apr 05, 2020 at 09:08:51PM -0600, Jerry James wrote:
>  > Hi Richard,
>  > 
>  > On Sun, Apr 5, 2020 at 3:45 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  > > https://koji.fedoraproject.org/koji/taskinfo?taskID=43032715
>  > >
>  > > I'm not clear why this is happening.  Since it's the only package that
>  > > hasn't rebuilt in this mass rebuild, I think I'll investigate it after
>  > > folding the side tag into Rawhide, which should happen later today.
>  > 
>  > In a fit of good timing, new versions of flocq and gappalib-coq have
>  > been released which bring better compatibility with coq 8.11.0, so I
>  > am going to want to build the frama-c - gappalib-coq - why3 - frama-c
>  > sequence tomorrow anyway.  I can check into this in the morning and do
>  > the necessary builds.
>  
>  I think we need to wait for this update to go into Fedora:
>  
>  https://bodhi.fedoraproject.org/updates/FEDORA-2020-d120de33c5 
It does seem as if you can now build against the new OCaml version.  I
have just rebuilt ocaml-menhir with Coq enabled.

I didn't touch frama-c or alt-ergo.

As an extra check that you're building against the updated OCaml / RPM
combination, note that you should see extra ocamlx(...) dependencies
appearing in your packages.  For example:

$ rpm -q --provides ocaml-sha
ocaml(Sha1) = 9598808cccad0848a30e5f83c62d3f45
ocaml(Sha256) = 9ca4ee854fd94809ddaa56fc103a5270
ocaml(Sha512) = 8f5f883bc4600563d50b16c0da29b1cc
ocaml-sha = 1.12-12.fc33
ocaml-sha(x86-64) = 1.12-12.fc33
ocamlx(Sha1) = 5d3cbe37cc9abd1b08c8133a62375a56        <---
ocamlx(Sha256) = b4b56fa54be87c7c32cb03d7170be57e      <--- note
ocamlx(Sha512) = e1558f85ea8a6ec5714470ab4c970720      <---

You can read the script here to see what it all means:

https://github.com/rpm-software-management/rpm/commit/a6fe37c39b39acbcbd0...

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