On Tue, Oct 27, 2015 at 01:37:48PM +0100, Sébastien Hinderer wrote: > Hi again Richard and all, > > Richard W.M. Jones (2015/10/27 11:57 +0000): > > BTW the 'spgen' program is installed, but it's broken. It's built as > > a bytecode program using 'ocamlc -custom', RPM strips it (removing the > > bytecode), and consequently the binary won't function on Fedora. It > > should have been built as a native program since I requested 'make > > world'. > > A new release of coccinelle fixing this issue will be published soon > (hopefully tomorrow).
So this means I shouldn't be distributing spgen in our binary package? I was a bit confused about what this program does - there didn't seem to be much documentation for it :-( 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 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci