> Hello. I've read about new uploads solving this problem. Has there > been any progress yet? Thanks,
The problem in the static library was solved in gnat 3.15p-7, but the problem in the shared library is still there, as well as in AdaCore's binary. If you use 3.15p-12, you can avoid the problem by linking statically. -- Ludovic Brenta.