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
I'll go through the commands later tonight and report back.
Kaspar
-Original Message-
From: Julia Lawall
To: Nicolas Palix
Cc: Kaspar Schleiser , 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
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
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)?
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
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,
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.
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