Nearly done it. Unfortunately I updated ‘why’ to the latest upstream
version (the previous one didn't know about OCaml 4.05), however that
will require updating ‘frama-c’:
configure: WARNING: bad Frama-c version "Silicon-20161101", you need version
Phosphorus
At that point I stopped. Would you mind updating and rebuilding
‘frama-c’ and ‘why’ in both Rawhide and F27?
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