Debian 13 - Coccinelle - unable to find /lib/x86_64-linux-gnu/libpython3.13.so.1.0

[vgambier]

Hi,

Coccinelle uses pyml. Since Debian 13 (Trixie) released as the latest stable release of Debian, I have encountered the following issue.

When Coccinelle is built on Debian 13, attempting to use the Python scripting functionality results in:

Py.find_library: unable to find the Python library [/lib/x86_64-linux-gnu/libpython3.13.so.1.0 returned Cannot resolve _PyObject_NextNotImplemented.\n]

or

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]

Examples of the error:

https://gitlab.inria.fr/coccinelle/coccinelle/-/jobs/6120525#L12055
https://www.mail-archive.com/debian-bugs-dist@lists.debian.org/msg2048937.html

[thierry-martinez]

This issue was resolved in the following commit: 68bf34b, and in the release https://github.com/ocamllibs/pyml/releases/tag/20231101. The bundled Coccinelle version should be updated.