From mboxrd@z Thu Jan 1 00:00:00 1970 From: rjones@redhat.com (Richard W.M. Jones) Date: Tue, 27 Oct 2015 21:26:58 +0000 Subject: [Cocci] version 1.0.3 released In-Reply-To: <20151027123748.GA27349@pl-59055.rocqadm.inria.fr> References: <20151027101421.GA14273@redhat.com> <20151027102517.GA3871@pl-59055.rocqadm.inria.fr> <20151027115733.GB14273@redhat.com> <20151027123748.GA27349@pl-59055.rocqadm.inria.fr> Message-ID: <20151027212658.GC14273@redhat.com> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr 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