Copiar archivos de cabecera que tienen licencia GPL no viola la licencia

Y esto es significativo porque Android recientemente había sido acusado de violar la licencia GPL por emplear un script para automáticamente copiar un montón de declaraciones de archivos de cabecera del kernel de Linux.

Mi intuición me decía que esto era algo que estaba un poco "en la frontera" de lo que debía permitir la licencia GPL. En un caso así, está claro que lo que se quiere no es código fuente. Lo que se quiere son declaraciones de funciones, los nombres, para poder llamar a las funciones desde otro sitio. Sin embargo, con la licencia GPL en la mano da la impresión de que este caso quedaría cubierto por ella.

Pues resulta que esta misma duda la respondió el propio Richard Stallman, el padre de la licencia GPL, en el año 2003. Según él, la posición de la Free Software Foundation es que:

"... just using structure definitions, typedefs, enumeration constants, macros with simple bodies, etc., is NOT enough to make a derivative work. It would take a substantial amount of code (coming from inline functions or macros with substantial bodies) to do that"

Así que Android no viola la licencia GPL, y y al menos yo he aprendido una cosa nueva: es posible copiar contenido de archivos de cabecera con licencia GPL, siempre y cuando éstos no contengan macros complejas.