[Cocci] version 1.0.3 released

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

On Tue, Oct 27, 2015 at 11:25:17AM +0100, S?bastien Hinderer wrote:
> Dear Richard,
> 
> Many thanks for your report!
> 
> In coccinelle's source directory, could you please try the following:
> 
> make distclean
> ./autogen
> ./configure
> ...

Note this is an RPM build, so it always starts from the pristine
unpacked tarball.

I finally worked out how to fix the problem:

  rm parsing_cocci/parser_cocci_menhir.ml parsing_cocci/parser_cocci_menhir.mli
  ./configure --with-menhir=/usr/bin/menhir

so that the intermediate files are regenerated.

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'.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/