On Mon, Feb 4, 2013 at 12:56 PM, Paolo Bonzini <bonz...@gnu.org> wrote: > > Would it make sense to release the header file under a permissive > license or even public domain? > > The information there is just ABI, it's dubious that it is copyrightable > at all. If two colleagues of Frediano's did a clean-room reverse > engineering, the result would really be indistiguishable from the original.
I agree that the information in gcov-io.h is almost certainly uncopyrightable. But since it's under the GCC Runtime Library Exception, which applies to approximately every program compiled by GCC, I don't think it makes much difference one way or another. I'm not opposed to asking the FSF to relicense the file, I just don't think it matters. Ian
