I'll go through the commands later tonight and report back. Kaspar
-----Original Message----- From: Julia Lawall <[email protected]> To: Nicolas Palix <[email protected]> Cc: Kaspar Schleiser <[email protected]>, [email protected] 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 > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
