[Cocci] version 1.0.3 released

[rjones@redhat.com (Richard W.M. Jones)]

On Wed, Oct 28, 2015 at 08:08:15AM +0100, Julia Lawall wrote:
> On Tue, 27 Oct 2015, Richard W.M. Jones wrote:
> 
> > 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 :-(
> 
> It is used to make a semntic patche acceptable for inclusion in the Linux 
> kernel.  There is actually a very nice documentation for it in the 
> spgen/documentation directory.  But don't worry about distributing it now.  
> We will try to make it available in a better manner for the next release 
> (not the one planned for today, but after that).

Ah got it.  For some reason I was only looking in the
tools/spgen/source directory and overlooked the documentation and
examples directories completely.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org