Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread 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

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread kaspar
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

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread Julia Lawall
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

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread 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)?

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread 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

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread 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,

Re: [Cocci] 1.0.8 on Ubuntu

2020-05-05 Thread 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.

[Cocci] 1.0.8 on Ubuntu

2019-09-30 Thread 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