[Cocci] 1.0.8 on Ubuntu

[Cocci] 1.0.8 on Ubuntu

[Julia Lawall]

For those who use Ubuntu, a PPA is available:

https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Kaspar Schleiser]

Hi,

I'm having issues getting coccinelle into an Ubuntu container.

On 9/30/19 9:43 PM, Julia Lawall wrote:
> For those who use Ubuntu, a PPA is available:
> 
> https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages

How can I help getting this built for Ubuntu 20.04 (Focal Fossa)?

The precompiled binary links in [1] point to nonexisting files.

opam seems to have issues when run within containers:

----
[ERROR] The compilation of ocaml-system failed at
"/root/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml".
...
# bwrap: Creating new namespace failed: Operation not permitted
----

Kaspar
[1] http://coccinelle.lip6.fr/download.php
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Nicolas Palix]

Hi Kaspar,

I think you could try the following version (intended for 20.10).
https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2

Note that there is no official Ubuntu release for 20.04.
I think it due to an issue with the Python and GTK migration
to newer version fixed then.

Alternatively, you can also try the following commands:

apt-get build-dep coccinelle
apt-get source coccinelle

with the PPA version or the source.

Le 05/05/2020 à 10:16, Kaspar Schleiser a écrit :
> Hi,
> 
> I'm having issues getting coccinelle into an Ubuntu container.
> 
> On 9/30/19 9:43 PM, Julia Lawall wrote:
>> For those who use Ubuntu, a PPA is available:
>>
>> https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages
> 
> How can I help getting this built for Ubuntu 20.04 (Focal Fossa)?
> 
> The precompiled binary links in [1] point to nonexisting files.
> 
> opam seems to have issues when run within containers:
> 
> ----
> [ERROR] The compilation of ocaml-system failed at
> "/root/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml".
> ...
> # bwrap: Creating new namespace failed: Operation not permitted
> ----
> 
> Kaspar
> [1] http://coccinelle.lip6.fr/download.php
> _______________________________________________
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
> 


-- 
Nicolas Palix
http://lig-membres.imag.fr/palix/
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Kaspar Schleiser]

Hi Nicolas,

thanks for the quick reply!

On 5/5/20 10:50 AM, Nicolas Palix wrote:
> I think you could try the following version (intended for 20.10).
> https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2

I managed to compile the 19.04 version
(coccinelle_1.0.8~19.04npalix1.dsc,
coccinelle_1.0.8~19.04npalix1.tar.xz). Somehow I missed that there's a
20.10 version.

The commands were roughly:

$ apt install debhelper devscripts equivs
$ dpkg-source -x coccinelle_1.0.8~19.04npalix1.dsc
$ cd coccinelle-1.0.8
$ mk-build-deps -i
$ dpkg-buildpackage -rfakeroot -b
$ apt install ../coccinelle_1.0.8~19.04npalix1_amd64.deb

The resulting .deb can be installed on an otherwise clean focal:latest
container. The spatch binary starts (prints help), did not do further
testing.

Kaspar
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Nicolas Palix]

Le 05/05/2020 à 11:16, Kaspar Schleiser a écrit :
> Hi Nicolas,
> 
> thanks for the quick reply!

You're welcome.

Julia, maybe it worth recording the sequence of commands somewhere,
in the README or the website.

> 
> On 5/5/20 10:50 AM, Nicolas Palix wrote:
>> I think you could try the following version (intended for 20.10).
>> https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2
> 
> I managed to compile the 19.04 version
> (coccinelle_1.0.8~19.04npalix1.dsc,
> coccinelle_1.0.8~19.04npalix1.tar.xz). Somehow I missed that there's a
> 20.10 version.
> 
> The commands were roughly:
> 
> $ apt install debhelper devscripts equivs
> $ dpkg-source -x coccinelle_1.0.8~19.04npalix1.dsc
> $ cd coccinelle-1.0.8
> $ mk-build-deps -i
> $ dpkg-buildpackage -rfakeroot -b
> $ apt install ../coccinelle_1.0.8~19.04npalix1_amd64.deb
> 
> The resulting .deb can be installed on an otherwise clean focal:latest
> container. The spatch binary starts (prints help), did not do further
> testing.
> 
> Kaspar
> 


-- 
Nicolas Palix
http://lig-membres.imag.fr/palix/
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Julia Lawall]

[-- Attachment #1: Type: text/plain, Size: 1453 bytes --]



On Tue, 5 May 2020, Nicolas Palix wrote:

>
>
> Le 05/05/2020 à 11:16, Kaspar Schleiser a écrit :
> > Hi Nicolas,
> >
> > thanks for the quick reply!
>
> You're welcome.
>
> Julia, maybe it worth recording the sequence of commands somewhere,
> in the README or the website.

Good idea.  I'm just concerned about the word "roughly".  Kaspar are there
any details that need to be added?

thanks,
julia

>
> >
> > On 5/5/20 10:50 AM, Nicolas Palix wrote:
> >> I think you could try the following version (intended for 20.10).
> >> https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2
> >
> > I managed to compile the 19.04 version
> > (coccinelle_1.0.8~19.04npalix1.dsc,
> > coccinelle_1.0.8~19.04npalix1.tar.xz). Somehow I missed that there's a
> > 20.10 version.
> >
> > The commands were roughly:
> >
> > $ apt install debhelper devscripts equivs
> > $ dpkg-source -x coccinelle_1.0.8~19.04npalix1.dsc
> > $ cd coccinelle-1.0.8
> > $ mk-build-deps -i
> > $ dpkg-buildpackage -rfakeroot -b
> > $ apt install ../coccinelle_1.0.8~19.04npalix1_amd64.deb
> >
> > The resulting .deb can be installed on an otherwise clean focal:latest
> > container. The spatch binary starts (prints help), did not do further
> > testing.
> >
> > Kaspar
> >
>
>
> --
> Nicolas Palix
> http://lig-membres.imag.fr/palix/
> _______________________________________________
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[kaspar]

I'll go through the commands later tonight and report back.

Kaspar

-----Original Message-----
From: Julia Lawall <julia.lawall@inria.fr>
To: Nicolas Palix <nicolas.palix@univ-grenoble-alpes.fr>
Cc: Kaspar Schleiser <kaspar@schleiser.de>, cocci@systeme.lip6.fr
Sent: Di., 05 Mai 2020 15:24
Subject: Re: [Cocci] 1.0.8 on Ubuntu



On Tue, 5 May 2020, Nicolas Palix wrote:

>
>
> Le 05/05/2020 à 11:16, Kaspar Schleiser a écrit :
> > Hi Nicolas,
> >
> > thanks for the quick reply!
>
> You're welcome.
>
> Julia, maybe it worth recording the sequence of commands somewhere,
> in the README or the website.

Good idea.  I'm just concerned about the word "roughly".  Kaspar are there
any details that need to be added?

thanks,
julia

>
> >
> > On 5/5/20 10:50 AM, Nicolas Palix wrote:
> >> I think you could try the following version (intended for 20.10).
> >> https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2
> >
> > I managed to compile the 19.04 version
> > (coccinelle_1.0.8~19.04npalix1.dsc,
> > coccinelle_1.0.8~19.04npalix1.tar.xz). Somehow I missed that there's a
> > 20.10 version.
> >
> > The commands were roughly:
> >
> > $ apt install debhelper devscripts equivs
> > $ dpkg-source -x coccinelle_1.0.8~19.04npalix1.dsc
> > $ cd coccinelle-1.0.8
> > $ mk-build-deps -i
> > $ dpkg-buildpackage -rfakeroot -b
> > $ apt install ../coccinelle_1.0.8~19.04npalix1_amd64.deb
> >
> > The resulting .deb can be installed on an otherwise clean focal:latest
> > container. The spatch binary starts (prints help), did not do further
> > testing.
> >
> > Kaspar
> >
>
>
> --
> Nicolas Palix
> http://lig-membres.imag.fr/palix/
> _______________________________________________
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] 1.0.8 on Ubuntu

[Kaspar Schleiser]

Hi,

On 5/5/20 3:23 PM, Julia Lawall wrote:
>> Julia, maybe it worth recording the sequence of commands somewhere,
>> in the README or the website.
> 
> Good idea.  I'm just concerned about the word "roughly".  Kaspar are there
> any details that need to be added?
> 
>>>
>>> The commands were roughly:
>>>

I went through the commands again, this time with the package files
proposed by Nicolas, from [1].

I'm starting a fresh focal container using:

$ docker run --rm -ti ubuntu:focal /bin/bash

Then, in the container prompt:

$ cd
$ apt install devscripts equivs wget
$ wget
https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb-2.dsc
$ wget
https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb.orig.tar.gz
$ wget
https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb-2.debian.tar.xz
$ dpkg-source -x coccinelle_1.0.8.deb-2.dsc
$ cd coccinelle-1.0.8.deb
$ dpkg-buildpackage -rfakeroot -b

There's now a package file at "/root/coccinelle_1.0.8.deb-2_amd64.deb".
Whith the container still running, it can be copied out, from another shell:

$ docker cp 1de810777b2a:/root/coccinelle_1.0.8.deb-2_amd64.deb .

(replace 1de810777b2a with the contianer id, find out by looking at the
container's prompt ("root@<id>:...$") or using "docker ps".)

This deb can now be installed via:

$ apt install ./coccinelle_1.0.8.deb-2_amd64.deb

Kaspar

[1] https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci