https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99453
Philippe Blain <levraiphilippeblain at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |levraiphilippeblain at gmail
dot c
| |om
--- Comment #3 from Philippe Blain <levraiphilippeblain at gmail dot com> ---
I searched for other *-gdb.py files on my system and looked at the
build process for these projetcs, and found one interesting example
for libisl, where it looks like they rely on the libtool *.la file
to get the right name for the (shared or not) library:
https://repo.or.cz/isl.git/blob/HEAD:/Makefile.am#l611
Maybe something similar could be done?
