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 _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
