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
