Ludovic Brenta <ludovic.brenta@insalien.org> writes: >> The users will receive annoying warnings from ldconfig, so this is not >> an option. > > I tried it on the binary distribution of GNAT 3.15p. I did not get > any warnings: Hmm, I can't reproduce it right now. But it looks to me like a policy violation.