* [Cocci] question about "Compile spatch with OCaml version >= 3.11"
@ 2014-03-20 7:37 Xing Lei
2014-03-20 15:42 ` Peter Senna Tschudin
0 siblings, 1 reply; 11+ messages in thread
From: Xing Lei @ 2014-03-20 7:37 UTC (permalink / raw)
To: cocci
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.
Best Regards
Xing
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140320/cf3e52dd/attachment.html>
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] question about "Compile spatch with OCaml version >= 3.11"
2014-03-20 7:37 [Cocci] question about "Compile spatch with OCaml version >= 3.11" Xing Lei
@ 2014-03-20 15:42 ` Peter Senna Tschudin
2014-03-21 2:46 ` Xing Lei
0 siblings, 1 reply; 11+ messages in thread
From: Peter Senna Tschudin @ 2014-03-20 15:42 UTC (permalink / raw)
To: cocci
On Thu, Mar 20, 2014 at 8:37 AM, Xing Lei <xing.lei@freescale.com> 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
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] question about "Compile spatch with OCaml version >= 3.11"
2014-03-20 15:42 ` Peter Senna Tschudin
@ 2014-03-21 2:46 ` Xing Lei
2014-03-21 3:02 ` [Cocci] [ldup-devel] " Xing Lei
0 siblings, 1 reply; 11+ messages in thread
From: Xing Lei @ 2014-03-21 2:46 UTC (permalink / raw)
To: cocci
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:peter.senna at gmail.com]
Sent: Thursday, March 20, 2014 11:43 PM
To: Lei Xing-B45279
Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-21 2:46 ` Xing Lei
@ 2014-03-21 3:02 ` Xing Lei
2014-03-21 10:59 ` Peter Senna Tschudin
0 siblings, 1 reply; 11+ messages in thread
From: Xing Lei @ 2014-03-21 3:02 UTC (permalink / raw)
To: cocci
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: ldup-devel-bounces@gforge.freescale.net [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing Lei
Sent: Friday, March 21, 2014 10:46 AM
To: Peter Senna Tschudin
Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
Sent: Thursday, March 20, 2014 11:43 PM
To: Lei Xing-B45279
Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
--
Peter
_______________________________________________
ldup-devel mailing list
ldup-devel at gforge.freescale.net
http://gforge.freescale.net/mailman/listinfo/ldup-devel
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: output.txt
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140321/e4191b7b/attachment-0002.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: coccinelle_analysis.txt
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140321/e4191b7b/attachment-0003.txt>
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-21 3:02 ` [Cocci] [ldup-devel] " Xing Lei
@ 2014-03-21 10:59 ` Peter Senna Tschudin
2014-03-25 8:58 ` Xing Lei
0 siblings, 1 reply; 11+ messages in thread
From: Peter Senna Tschudin @ 2014-03-21 10:59 UTC (permalink / raw)
To: cocci
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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing Lei
> Sent: Friday, March 21, 2014 10:46 AM
> To: Peter Senna Tschudin
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
> Sent: Thursday, March 20, 2014 11:43 PM
> To: Lei Xing-B45279
> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>> Cocci at systeme.lip6.fr
>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>
>
>
>
> --
> Peter
>
>
>
>
> _______________________________________________
> ldup-devel mailing list
> ldup-devel at gforge.freescale.net
> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-21 10:59 ` Peter Senna Tschudin
@ 2014-03-25 8:58 ` Xing Lei
2014-03-25 9:13 ` Peter Senna Tschudin
0 siblings, 1 reply; 11+ messages in thread
From: Xing Lei @ 2014-03-25 8:58 UTC (permalink / raw)
To: cocci
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 at 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:peter.senna at gmail.com]
Sent: Friday, March 21, 2014 7:00 PM
To: Lei Xing-B45279
Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing Lei
> Sent: Friday, March 21, 2014 10:46 AM
> To: Peter Senna Tschudin
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
> Sent: Thursday, March 20, 2014 11:43 PM
> To: Lei Xing-B45279
> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>> Cocci at systeme.lip6.fr
>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>
>
>
>
> --
> Peter
>
>
>
>
> _______________________________________________
> ldup-devel mailing list
> ldup-devel at gforge.freescale.net
> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>
--
Peter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 27441 bytes
Desc: config.log
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140325/c39023fb/attachment-0001.obj>
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-25 8:58 ` Xing Lei
@ 2014-03-25 9:13 ` Peter Senna Tschudin
2014-03-25 9:15 ` Xing Lei
2014-03-25 9:16 ` Xing Lei
0 siblings, 2 replies; 11+ messages in thread
From: Peter Senna Tschudin @ 2014-03-25 9:13 UTC (permalink / raw)
To: cocci
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 <xing.lei@freescale.com> 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 at 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:peter.senna at gmail.com]
> Sent: Friday, March 21, 2014 7:00 PM
> To: Lei Xing-B45279
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
>> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing Lei
>> Sent: Friday, March 21, 2014 10:46 AM
>> To: Peter Senna Tschudin
>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
>> Sent: Thursday, March 20, 2014 11:43 PM
>> To: Lei Xing-B45279
>> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>>> Cocci at systeme.lip6.fr
>>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>>
>>
>>
>>
>> --
>> Peter
>>
>>
>>
>>
>> _______________________________________________
>> ldup-devel mailing list
>> ldup-devel at gforge.freescale.net
>> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>>
>
>
>
> --
> Peter
>
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-25 9:13 ` Peter Senna Tschudin
@ 2014-03-25 9:15 ` Xing Lei
2014-03-25 9:25 ` Peter Senna Tschudin
2014-03-25 9:16 ` Xing Lei
1 sibling, 1 reply; 11+ messages in thread
From: Xing Lei @ 2014-03-25 9:15 UTC (permalink / raw)
To: cocci
jenkins at mint-OptiPlex-740 ~ $ sudo apt-get build-dep coccinelle
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: You must put some 'source' URIs in your sources.list
jenkins at mint-OptiPlex-740 ~ $
Thanks
-----Original Message-----
From: Peter Senna Tschudin [mailto:peter.senna at gmail.com]
Sent: Tuesday, March 25, 2014 5:14 PM
To: Lei Xing-B45279
Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; Bucur Madalin-Cristian-B32716
Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11"
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 <xing.lei@freescale.com> 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 at 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:peter.senna at gmail.com]
> Sent: Friday, March 21, 2014 7:00 PM
> To: Lei Xing-B45279
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
>> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing
>> Lei
>> Sent: Friday, March 21, 2014 10:46 AM
>> To: Peter Senna Tschudin
>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
>> Sent: Thursday, March 20, 2014 11:43 PM
>> To: Lei Xing-B45279
>> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>>> Cocci at systeme.lip6.fr
>>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>>
>>
>>
>>
>> --
>> Peter
>>
>>
>>
>>
>> _______________________________________________
>> ldup-devel mailing list
>> ldup-devel at gforge.freescale.net
>> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>>
>
>
>
> --
> Peter
>
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-25 9:13 ` Peter Senna Tschudin
2014-03-25 9:15 ` Xing Lei
@ 2014-03-25 9:16 ` Xing Lei
1 sibling, 0 replies; 11+ messages in thread
From: Xing Lei @ 2014-03-25 9:16 UTC (permalink / raw)
To: cocci
E: You must put some 'source' URIs in your sources.list
What does the prompt mean?
B.R.
Xing
-----Original Message-----
From: Peter Senna Tschudin [mailto:peter.senna at gmail.com]
Sent: Tuesday, March 25, 2014 5:14 PM
To: Lei Xing-B45279
Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; Bucur Madalin-Cristian-B32716
Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11"
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 <xing.lei@freescale.com> 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 at 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:peter.senna at gmail.com]
> Sent: Friday, March 21, 2014 7:00 PM
> To: Lei Xing-B45279
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
>> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing
>> Lei
>> Sent: Friday, March 21, 2014 10:46 AM
>> To: Peter Senna Tschudin
>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
>> Sent: Thursday, March 20, 2014 11:43 PM
>> To: Lei Xing-B45279
>> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>>> Cocci at systeme.lip6.fr
>>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>>
>>
>>
>>
>> --
>> Peter
>>
>>
>>
>>
>> _______________________________________________
>> ldup-devel mailing list
>> ldup-devel at gforge.freescale.net
>> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>>
>
>
>
> --
> Peter
>
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-25 9:15 ` Xing Lei
@ 2014-03-25 9:25 ` Peter Senna Tschudin
2014-03-25 9:54 ` Xing Lei
0 siblings, 1 reply; 11+ messages in thread
From: Peter Senna Tschudin @ 2014-03-25 9:25 UTC (permalink / raw)
To: cocci
On Tue, Mar 25, 2014 at 10:15 AM, Xing Lei <xing.lei@freescale.com> wrote:
> jenkins at mint-OptiPlex-740 ~ $ sudo apt-get build-dep coccinelle
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: You must put some 'source' URIs in your sources.list
> jenkins at mint-OptiPlex-740 ~ $
This means that the command did not executed correctly, and that the
dependencies were not met. For fixing this issue, you will need to
edit the file /etc/apt/sources.list.
It is a good idea to make a backup copy of the sources.list file
before changing it. What is needed is to add deb-src lines to
/etc/apt/sources.list. To do that you will need to copy each line
starting with deb, and make the copy start with deb-src. This example
will NOT work for you as it is for a Debian distribution, but gives an
idea of the change needed.
# Original file
$ cat /etc/apt/sources.list
deb http://ftp.fr.debian.org/debian wheezy main contrib non-free
# After the change
$ cat /etc/apt/sources.list
deb http://ftp.fr.debian.org/debian wheezy main contrib non-free
deb-src http://ftp.fr.debian.org/debian wheezy main contrib non-free
Other option is to generate a new sources.list using the website:
http://repogen.simplylinux.ch/
Don't forget to run apt-get update after editing the sources.list file
>
>
> Thanks
>
> -----Original Message-----
> From: Peter Senna Tschudin [mailto:peter.senna at gmail.com]
> Sent: Tuesday, March 25, 2014 5:14 PM
> To: Lei Xing-B45279
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; Bucur Madalin-Cristian-B32716
> Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11"
>
> 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 <xing.lei@freescale.com> 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 at 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:peter.senna at gmail.com]
>> Sent: Friday, March 21, 2014 7:00 PM
>> To: Lei Xing-B45279
>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
>>> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing
>>> Lei
>>> Sent: Friday, March 21, 2014 10:46 AM
>>> To: Peter Senna Tschudin
>>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
>>> Sent: Thursday, March 20, 2014 11:43 PM
>>> To: Lei Xing-B45279
>>> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>>>> Cocci at systeme.lip6.fr
>>>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>>>
>>>
>>>
>>>
>>> --
>>> Peter
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> ldup-devel mailing list
>>> ldup-devel at gforge.freescale.net
>>> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>>>
>>
>>
>>
>> --
>> Peter
>>
>>
>
>
>
> --
> Peter
>
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Cocci] [ldup-devel] question about "Compile spatch with OCaml version >= 3.11"
2014-03-25 9:25 ` Peter Senna Tschudin
@ 2014-03-25 9:54 ` Xing Lei
0 siblings, 0 replies; 11+ messages in thread
From: Xing Lei @ 2014-03-25 9:54 UTC (permalink / raw)
To: cocci
Hello Peter,
I think the issue is related to Ocaml. I need to investigate it. Thanks for your support.
If any question ,I'll send you email. Thanks.
B.R.
Xing
-----Original Message-----
From: Peter Senna Tschudin [mailto:peter.senna at gmail.com]
Sent: Tuesday, March 25, 2014 5:26 PM
To: Lei Xing-B45279
Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; Bucur Madalin-Cristian-B32716
Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11"
On Tue, Mar 25, 2014 at 10:15 AM, Xing Lei <xing.lei@freescale.com> wrote:
> jenkins at mint-OptiPlex-740 ~ $ sudo apt-get build-dep coccinelle
> Reading package lists... Done Building dependency tree Reading state
> information... Done
> E: You must put some 'source' URIs in your sources.list
> jenkins at mint-OptiPlex-740 ~ $
This means that the command did not executed correctly, and that the dependencies were not met. For fixing this issue, you will need to edit the file /etc/apt/sources.list.
It is a good idea to make a backup copy of the sources.list file before changing it. What is needed is to add deb-src lines to /etc/apt/sources.list. To do that you will need to copy each line starting with deb, and make the copy start with deb-src. This example will NOT work for you as it is for a Debian distribution, but gives an idea of the change needed.
# Original file
$ cat /etc/apt/sources.list
deb http://ftp.fr.debian.org/debian wheezy main contrib non-free
# After the change
$ cat /etc/apt/sources.list
deb http://ftp.fr.debian.org/debian wheezy main contrib non-free deb-src http://ftp.fr.debian.org/debian wheezy main contrib non-free
Other option is to generate a new sources.list using the website:
http://repogen.simplylinux.ch/
Don't forget to run apt-get update after editing the sources.list file
>
>
> Thanks
>
> -----Original Message-----
> From: Peter Senna Tschudin [mailto:peter.senna at gmail.com]
> Sent: Tuesday, March 25, 2014 5:14 PM
> To: Lei Xing-B45279
> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; Bucur
> Madalin-Cristian-B32716
> Subject: Re: [ldup-devel] [Cocci] question about "Compile spatch with OCaml version >= 3.11"
>
> 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 <xing.lei@freescale.com> 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 at 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:peter.senna at gmail.com]
>> Sent: Friday, March 21, 2014 7:00 PM
>> To: Lei Xing-B45279
>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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: ldup-devel-bounces at gforge.freescale.net
>>> [mailto:ldup-devel-bounces at gforge.freescale.net] On Behalf Of Xing
>>> Lei
>>> Sent: Friday, March 21, 2014 10:46 AM
>>> To: Peter Senna Tschudin
>>> Cc: ldup-devel at gforge.freescale.net; cocci at systeme.lip6.fr; 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:peter.senna at gmail.com]
>>> Sent: Thursday, March 20, 2014 11:43 PM
>>> To: Lei Xing-B45279
>>> Cc: cocci at systeme.lip6.fr; 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 <xing.lei@freescale.com> 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
>>>> Cocci at systeme.lip6.fr
>>>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>>>
>>>
>>>
>>>
>>> --
>>> Peter
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> ldup-devel mailing list
>>> ldup-devel at gforge.freescale.net
>>> http://gforge.freescale.net/mailman/listinfo/ldup-devel
>>>
>>
>>
>>
>> --
>> Peter
>>
>>
>
>
>
> --
> Peter
>
>
--
Peter
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2014-03-25 9:54 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-03-20 7:37 [Cocci] question about "Compile spatch with OCaml version >= 3.11" Xing Lei
2014-03-20 15:42 ` Peter Senna Tschudin
2014-03-21 2:46 ` Xing Lei
2014-03-21 3:02 ` [Cocci] [ldup-devel] " Xing Lei
2014-03-21 10:59 ` Peter Senna Tschudin
2014-03-25 8:58 ` Xing Lei
2014-03-25 9:13 ` Peter Senna Tschudin
2014-03-25 9:15 ` Xing Lei
2014-03-25 9:25 ` Peter Senna Tschudin
2014-03-25 9:54 ` Xing Lei
2014-03-25 9:16 ` Xing Lei
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.