On Sun, 28 Sep 2014, Nicholas Mc Guire wrote:
>
> HI !
>
> make coccicheck in 3.16++
> is failing on Debian 7.6 with
>
> make coccicheck MODE=report -C /usr/src/linux-stable/ M=/usr/src/read_msr
> make[1]: Entering directory `/usr/src/linux-stable'
>
> Please check for false positives in the output before submitting a
> patch.
> When using "patch" mode, carefully review the patch before submitting
> it.
>
> 644 647
> Fatal error: exception Failure("scriptmeta: parse error:
> = File "./scripts/coccinelle/null/badzero.cocci", line 22, column 0,
> charpos =
> 644
> around = 'let', whole content = let negtable = Hashtbl.create 101
> ")
> make[1]: Leaving directory `/usr/src/linux-stable'
>
> built spatch from source:
> $ git clone https://github.com/coccinelle/coccinelle
> $ git tag -> git checkout -b build coccinelle-1.0.0-rc21
> $ apt-get install python2.6-dev libpycaml-ocaml-dev \
> libmenhir-ocaml-dev menhir ocaml-native-compilers \
> ocamlduce camlp4-extra ocaml-findlib pkg-config \
> texlive-fonts-extra
> $ ./configure --with-python --with-menhir
> $ make all
> $ make install
>
> $ spatch --version
> spatch version 1.0.0-rc21 with Python support and with Str regexp support
>
> is this a ocaml version issue ? or did I screw up something in the
> config/build ?
Could you try removing the @@ before let negtable, just to see if it
works?
Could it be that make coccicheck is finding some older version of
Coccinelle?
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
