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
>