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> 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