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: [email protected] > > 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.
