From owner-freebsd-questions@FreeBSD.ORG Thu May 19 13:36:39 2005 Return-Path: Delivered-To: freebsd-questions@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 55CEF16A4CE for ; Thu, 19 May 2005 13:36:39 +0000 (GMT) Received: from dirg.bris.ac.uk (dirg.bris.ac.uk [137.222.10.102]) by mx1.FreeBSD.org (Postfix) with ESMTP id 92B4C43DBF for ; Thu, 19 May 2005 13:36:38 +0000 (GMT) (envelope-from Jan.Grant@bristol.ac.uk) Received: from mail.ilrt.bris.ac.uk ([137.222.16.62]) by dirg.bris.ac.uk with esmtp (Exim 4.51) id 1DYlCL-0005zf-6A; Thu, 19 May 2005 14:36:34 +0100 Received: from cmjg (helo=localhost) by mail.ilrt.bris.ac.uk with local-esmtp (Exim 4.50) id 1DYlCI-0007BY-W2; Thu, 19 May 2005 14:36:23 +0100 Date: Thu, 19 May 2005 14:36:22 +0100 (BST) From: Jan Grant X-X-Sender: cmjg@mail.ilrt.bris.ac.uk To: Ted Mittelstaedt In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: Jan Grant X-Spam-Score: -2.8 X-Spam-Level: -- cc: Danny Pansters cc: freebsd-questions@freebsd.org Subject: RE: BSD legal question X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 19 May 2005 13:36:39 -0000 On Thu, 19 May 2005, Ted Mittelstaedt wrote: > Suppose I distribute a library that is under my own copyright, > yet carries a BSD-like license. > > Suppose you then come along and take my library, and a GPLed > library, link both of them together into a new program of yours. > > The FSF says that the entire code now becomes GPL. That's not true. The GPL requires you to license any distributed code derived from GPLed code under the GPL. Since, as you point out... > The problem here is that since you never owned copyright on > my library, you do not have legal rights to modify the copyright > and license on it. Thus, you cannot legally apply GPL to it. > Nor can the FSF or anyone else apply GPL to it. ... the conclusion is that you cannot *distribute* the derived program; NOT that it magically relicenses code you've used to build it. > Naturally, the parts of the program you are distributing that > YOU wrote are under GPL. But, suppose another guy comes along, > takes your program, and pulls my library out of it and uses it > for his program. According to the GPL, if he does this that > library is GPLed now, and his program must be GPL. According > to the law, though, it's not GPL, it's mine. The problem is this: "the program you are distributing". The GPL prevents you from distributing such derived code for exactly the reasons you point out. You're free to do whatever you like with it, except distribute. In other words, by distributing the derived code, you're in breach of the GPL. (The exceptions arise depending on whether the non-GPLed license form a core part of functionality or whether the resulting program is functional without the hypothetical TedLib.) jan PS. This is basic implication: you claim P = "you distribute the code" Q = "all of it is under the GPL" and P -> Q. I'm not taking issue with that; merely pointing out that (as you describe), Q is false, therefore since -Q -> -P the conclusion is that you can't distribute. Incoherently yours, etc. -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44 (0)117 9287088 or 3317661 http://ioctl.org/jan/ Theoremhood is positively decidable. It just takes time at least exponential in the length of the proof.