Hi Richard, thanks a lot or your comments. Richard W.M. Jones (2015/10/27 11:57 +0000): > 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.
Yes, I realise this. It's because the coccinelle distribution comes with iles generated by menhir to avoid the user having to generate them but it does not work well because the menhir used to produce the distributed files is too old compared to the menhir you have, so the code that is generated does not compile with newer menhirs. > 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 You're right, the rm command you use is enough. > 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'. I'm aware that spgen does not build as a native-code program yet.However I'm surprised that it got built at all, since I disabled it from the build system just beofre the release. Will have a look into it. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
