A little GPL riddle (was: GPL as an evaluation license)

[Yedidyah Bar-David]

On Mon, Apr 11, 2011 at 12:33:05AM +0300, Aviad Mandel wrote:
> For the sake of fairness, I'll say that the questions I had about my own
> little venture are answered, thank you all.
> 
> But for pure curiosity, I'm left wondering how effective GPL really is.
> 
> Let's leave the microwave for a second, and think about a proprietary web
> software browser, for a desktop, using a lot of GPLed code, and should
> remain closed source.
> 
> The trick is like this: The installation program generates the executables
> by compiling the GPLed sources (Gentoo style) and linking them with the
> proprietary object code. What you get is a binary nobody is allowed to copy,

How is this proprietary object code generated? If for compiling it to
object code you use header files which are under the GPL, your object
files are derived work. IANAL.
-- 
Didi