Add GPL compatibility check for plugins

[Rafael Espindola]

> Note that it's just the technical implementation that I disagree with. If
> the FSF wants an error, fine.  But the bare acceptable minimum is to say
> "this copy of GCC won't run plugins that are not licensed under a
> GPL-compatible license", so that it's clear that it's legal to run
> non-GPL-compatible licenses; plus, make it a sorry rather than a
> fatal_error.  And to me, the ideal solution would be to add
> -fnon-gpl-plugins that would suppress the sorry and add a note to the output
> file saying "this file was compiled with a non-free plugin, so it is legally
> under the GPL".

Only if linked with the runtime libraries, right?

> Paolo
>

Cheers,
-- 
Rafael Avila de Espindola

Google | Gordon House | Barrow Street | Dublin 4 | Ireland
Registered in Dublin, Ireland | Registration Number: 368047