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, 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
