On Tue, Mar 25, 2014 at 10:15 AM, Xing Lei <[email protected]> wrote:
> jenkins@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@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:[email protected]]
> Sent: Tuesday, March 25, 2014 5:14 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"
>
> 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
>
>



-- 
Peter
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to