Bug#1110513: coccinelle: linked against wrong libraries

[Petr Malat <oss@malat.biz>]

Package: coccinelle
Version: 1.3.0.deb-1+b2
Severity: important
X-Debbugs-Cc: oss@malat.biz

Spatch seems to be wrongly linked as the following command:
spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers --dir . -I ./arch/mips/include -I ./arch/mips/include/generated -I ./include -I ./arch/mips/include/uapi -I ./arch/mips/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 4 --chunksize 1

Fails with:
Py.find_library: unable to find the Python library [libpython3.13m.so returned libpython3.13m.so: cannot open shared object file: No such file or directory] [/usr/bin/../lib/libpython3.13m.so returned /usr/bin/../lib/libpython3.13m.so: cannot open shared object file: No such file or directory] [libpython3.13.so returned libpython3.13.so: cannot open shared object file: No such file or directory] [/usr/bin/../lib/libpython3.13.so returned /usr/bin/../lib/libpython3.13.so: cannot open shared object file: No such file or directory] [libpython3.13m.so returned libpython3.13m.so: cannot open shared object file: No such file or directory] [/usr/lib/libpython3.13m.so returned /usr/lib/libpython3.13m.so: cannot open shared object file: No such file or directory] [libpython3.13.so returned libpython3.13.so: cannot open shared object file: No such file or directory] [/usr/lib/libpython3.13.so returned /usr/lib/libpython3.13.so: cannot open shared object file: No such file or directory]

The command is what the kernel makefile runs when one does:
make coccicheck MODE=report


-- System Information:
Debian Release: 13.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 6.1.0-35-amd64 (SMP w/4 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: unable to detect

Versions of packages coccinelle depends on:
ii  libc6                                          2.41-12
ii  libparmap-ocaml                                1.2.5-3+b4
ii  libstdcompat-ocaml [libstdcompat-ocaml-b2jg8]  20~git20240529-2+b2
ii  libstdlib-ocaml [libstdlib-ocaml-m4xw9]        5.3.0-3
ii  libzstd1                                       1.5.7+dfsg-1
ii  ocaml-findlib                                  1.9.8-1+b1
ii  python3                                        3.13.5-1

coccinelle recommends no packages.

Versions of packages coccinelle suggests:
pn  coccinelle-doc     <none>
pn  vim-addon-manager  <none>

-- no debconf information