> That's not what RMS told me when I asked him some time ago. He said > that, since libgcc DLL and libstdc++ DLL are basically separate files > and thus separate builds of the libraries, the run-time exception you > pointed to is not applicable to them. Quoting his response back then: > > There is nothing in this exception that would permit distribution > of libgcc itself -- as a separate file -- other than under the GPL.
Yes, but the discussion wasn't about "as a separate file", but as a file that's part of the distribution of another program.