On 2019-03-20 16:46, Giacomo Tesio wrote: > How this relates to compilation?
It doesn't. Nobody is disputing that the compiled result is GPL. The question at hand is the licensing of the source. These are two separate issues. > If the GPL header at > https://github.com/FRRouting/frr/blob/master/lib/command.h is required > by https://github.com/FRRouting/frr/blob/master/babeld/babel_interface.c It's not required. I can download and read the babel_interface.c source, which itself is already a copyrightable work, just fine. The compiler requires *a* command.h to compile babel_interface.c into a binary result, but this command.h could theoretically be provided by another implementation, licensed under different terms. Hence why Steve wrote that this amounts to "[...] asserting copyright on an interface." -- Christian Kastner