Hello Peter, I had attached the config.log and I had checked it, I guess the issue may have some relationship with ocaml. What's more, the distribution I'm using is Ubuntu, more info as below: jenkins@mint-OptiPlex-740 /tmp/coccinelle-1.0.0-rc20 $ uname -a Linux mint-OptiPlex-740 3.8.0-19-generic #29-Ubuntu SMP Wed Apr 17 18:16:28 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
Thanks. B.R. Xing -----Original Message----- From: Peter Senna Tschudin [mailto:[email protected]] Sent: Friday, March 21, 2014 7:00 PM To: Lei Xing-B45279 Cc: [email protected]; [email protected]; Bucur Madalin-Cristian-B32716 Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11" Can you send me the file config.log created by the configure script? Also, which distribution are you using, and how the build dependencies were met? On Fri, Mar 21, 2014 at 4:02 AM, Xing Lei <[email protected]> wrote: > Detailed installation log had been attached, what's more, I had attached the > total analysis with coccinelle. > > Hope those would help for you. Thanks again. > > B.R. > Xing > > -----Original Message----- > From: [email protected] > [mailto:[email protected]] On Behalf Of Xing Lei > Sent: Friday, March 21, 2014 10:46 AM > To: Peter Senna Tschudin > Cc: [email protected]; [email protected]; Bucur > Madalin-Cristian-B32716 > Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml > version >= 3.11" > > 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 > > > > > _______________________________________________ > ldup-devel mailing list > [email protected] > http://gforge.freescale.net/mailman/listinfo/ldup-devel > -- Peter
config.log
Description: config.log
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
