There are some issues related to unmet dependencies for Ocaml and Python 2.7. What is the output of the command:
$ sudo apt-get build-dep coccinelle On Tue, Mar 25, 2014 at 9:58 AM, Xing Lei <[email protected]> wrote: > 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 > > -- Peter _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
