Re: [Mingw-users] libgmp-10.dll not found

[Eli Z. <el...@gn...>]

> Date: Wed, 11 Apr 2012 08:53:50 -0400
> From: Earnie Boyd <ea...@us...>
> 
> Uh, no, see COPYING.RUNTIME in the /mingw/share/doc/gcc/GCC-VERSION/ directory.
> 
> <quote>
> 1. Grant of Additional Permission.
> 
> You have permission to propagate a work of Target Code formed by
> combining the Runtime Library with Independent Modules, even if such
> propagation would otherwise violate the terms of GPLv3, provided that
> all Target Code was generated by Eligible Compilation Processes. You
> may then convey such a combination under terms of your choice,
> consistent with the licensing of the Independent Modules.
> </quote>

What is "Runtime Library", and if that's the official name of libgcc,
where does it say that the above applies to libgcc in shared library
form?

I'm asking because what you seem to say goes against everything I
could find on the Internet regarding this issue.