This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Add GPL compatibility check for plugins


Rafael Espindola wrote:
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?

Yes, for example you could add a reference to some symbol in libgcc, and add the note to the libgcc object that contains that symbol.


Paolo


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]