Bug#1110513: coccinelle: linked against wrong libraries
Hi,
On Thu, Aug 07, 2025 at 08:27:22AM +0000, Petr Malat wrote:
> 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
Strange. I cannot reproduce this.
in the kernel tree obrained from a 6.16 tarball on kernel.org:
% make coccicheck MODE=report
Please check for false positives in the output before submitting a patch.
When using "patch" mode, carefully review the patch before submitting it.
/usr/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/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
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
15212 files match
and then it starts 4 processes which I killed after several minutes,
these processes have not produced any further output.
What happens on your system when you execute, in the source tree of the
debian package of coccinelle, ./debian/tests/cocci-demo ?
-Ralf.
Reply to: