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 -- 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
