Hello Peter,
Thanks for your support.
I had tried to reinstall coccinelle following your instructions, only to meet
the error as below:
[snip]
/usr/local/bin/ocamlc -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c
no_prepare_ocamlcocci.ml
File "no_prepare_ocamlcocci.ml", line 12, characters 5-57:
Error: The constructor Ast_cocci.InitialScriptRule expects 5 argument(s),
but is applied here to 4 argument(s)
make[5]: *** [no_prepare_ocamlcocci.cmo] Error 2
make[5]: Leaving directory `/tmp/coccinelle-1.0.0-rc20/ocaml'
make[4]: *** [ocaml.all] Error 2
make[4]: Leaving directory `/tmp/coccinelle-1.0.0-rc20'
make[3]: *** [subdirs.all] Error 1
make[3]: Leaving directory `/tmp/coccinelle-1.0.0-rc20'
make[2]: *** [byte] Error 2
make[2]: Leaving directory `/tmp/coccinelle-1.0.0-rc20'
make[1]: *** [all-release] Error 2
make[1]: Leaving directory `/tmp/coccinelle-1.0.0-rc20'
make: *** [all] Error 2
How to resolve it? Thanks.
Best Regards
Xing
-----Original Message-----
From: Peter Senna Tschudin [mailto:[email protected]]
Sent: Thursday, March 20, 2014 11:43 PM
To: Lei Xing-B45279
Cc: [email protected]; Bucur Madalin-Cristian-B32716
Subject: Re: [Cocci] question about "Compile spatch with OCaml version >= 3.11"
On Thu, Mar 20, 2014 at 8:37 AM, Xing Lei <[email protected]> wrote:
> Hello Engineers of Cocci,
>
>
>
> I'm an engineer of Freescale. I had met some problems while analyzing
> code with coccinelle. Executed 'make coccicheck MODE=report
> M=drivers/net/ethernet/freescale' to analyze part of kernel code,
> actually I can get some useful analysis but some error info as well,
> the error info as
> below:
>
>
>
> make coccicheck MODE=report M=drivers/net/ethernet/freescale
>
>
>
> Please check for false positives in the output before submitting a patch.
>
> When using "patch" mode, carefully review the patch before submitting it.
>
>
>
> drivers/net/ethernet/freescale/fman/Peripherals/FM/fm_muram.c:88:13-20:
> WARNING: kzalloc should be used for p_FmMuram, instead of
> kmalloc/memset
>
> drivers/net/ethernet/freescale/fman/Peripherals/FM/fm.c:1494:8-15: WARNING:
> kzalloc should be used for p_Fm, instead of kmalloc/memset
>
> drivers/net/ethernet/freescale/fman/Peripherals/FM/fm.c:1501:25-32: WARNING:
> kzalloc should be used for p_Fm -> p_FmStateStruct, instead of
> kmalloc/memset
>
> [snip]
>
> Fatal error: exception Failure("OCaml scripting is unsupported.
> Compile spatch with OCaml version >= 3.11")
>
> Fatal error: exception Failure("OCaml scripting is unsupported.
> Compile spatch with OCaml version >= 3.11")
>
> [snip]
>
>
>
> BTW. Ocaml's version on my machine is 3.12.
>
> Could you please give me some suggestions for it? Many thanks.
The error message suggests that Coccinelle version you are using has been
compiled without OCaml support. You can try to compile Coccinelle locally to
fix this issue. Here are some simplified instructions:
# 0 Remove currently installed Coccinelle # Fedora / Centos / RedHat $ sudo yum
remove coccinelle # Debian / Ubuntu $ sudo apt-get remove coccinelle
# 1 Install build dependencies:
# Fedora / Centos / RedHat
$ sudo yum-builddep coccinelle
# Debian / Ubuntu
$ sudo apt-get build-dep coccinelle
# 2 - Download and uncompress Coccinelle source code:
$ cd /tmp
$ wget http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc20.tgz
$ tar xzf coccinelle-1.0.0-rc20.tgz
$ cd coccinelle-1.0.0-rc20
# 3 - Configure, make and install
$ ./configure --enable-release
$ make all
$ sudo make install
If all goes right, the error will not be shown anymore.
>
>
>
> Best Regards
>
> Xing
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
--
Peter
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
