Bug#1110513: coccinelle: linked against wrong libraries

[Petr Malat <oss@malat.biz>]

Hi!
On Thu, Aug 07, 2025 at 01:22:19PM +0200, Ralf Treinen wrote:
> > The command is what the kernel makefile runs when one does:
> > make coccicheck MODE=report
>
> Strange. I cannot reproduce this.
Maybe the problem is I installed sid into chroot using mmdebstrap on
stable. I will try a regular install using qemu the next week.

> What happens on your system when you execute, in the source tree of the
> debian package of coccinelle, ./debian/tests/cocci-demo ?
That passes, but I think it's because ./demos/simple.cocci doesn't use python.

Thanks,
  Petr