Another thought: perhaps this should be installed in .../debug, alongside
the "other" libstdc++, and only built if --enable-debug has been configured.
This is a debugging aid, after all.
Phil
--
I would therefore like to posit that computing's central challenge, viz. "How
not to make a mess of it," has /not/ been met.
- Edsger Dijkstra, 1930-2002