Re: What's the name of this library? (was: Re: autotools transition report: v 28.07)

[Gabriel Dos Reis <gdr at integrable-solutions dot net>]

Phil Edwards <phil@jaj.com> writes:

| > I would suggest that, at least for users we publish "libstdc++" as the
| > official name of this library.  In some sense, we're already doing so
| > since the mailing list is 'libstdc++@gcc.gnu.org'.  Also teahc auto*
| > to understand the obvious -- that may be a problem for people still
| > building the old library.
| 
| (I would point out that from autoconf's point of view, the -v3 form is the
| "obvious" choice, because it's what works with the rest of the configury.
| Yes, we will have to teach it otherwise.  But don't think any of it is
| "obvious".)

Oh, I clarify that "obvious" does not mean "from the tools' point of
view" -- tools don't think :-) 

| So, you're voting for (3) or (4)?

I would vote for 4.1 if it can be made to work, and keep 4 as joker.

-- Gaby