Re: what kind of license is libstd++ ? (and libgcc_s)?

[dewar at gnat dot com]

<<In addition to the permissions in the GNU General Public License, the
Free Software Foundation gives you unlimited permission to link the
compiled version of this file into combinations with other programs,
and to distribute those combinations without any restriction coming
from the use of this file.  (The General Public License restrictions
do apply in other respects; for example, they cover modification of
the file, and distribution when not linked into a combine
executable.)
>>

I always wonder about macros and templates when I read this. The corresponding
exception phrase in Ada says:

-- As a special exception,  if other files  instantiate  generics from this --
-- unit, or you link  this unit with other files  to produce an executable, --
-- this  unit  does not  by itself cause  the resulting  executable  to  be --
-- covered  by the  GNU  General  Public  License.  This exception does not --
-- however invalidate  any other reasons why  the executable file  might be --
-- covered by the  GNU Public License.                                      --

(instantiation of generics is the Ada equivalent of template expansion)

Neither seems to really fully address the issue of inlined procedures.