From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA05773 for caml-red; Tue, 26 Sep 2000 21:27:57 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA17124 for ; Tue, 26 Sep 2000 11:28:15 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8Q9SE511782; Tue, 26 Sep 2000 11:28:14 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA22188; Tue, 26 Sep 2000 11:28:14 +0200 (MET DST) Message-ID: <20000926112814.40539@pauillac.inria.fr> Date: Tue, 26 Sep 2000 11:28:14 +0200 From: Xavier Leroy To: treinen@lri.fr, caml-list@inria.fr Subject: Re: copyright of byte code containing the run time system References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: ; from Ralf Treinen on Mon, Sep 18, 2000 at 09:29:57PM +0200 Sender: weis@pauillac.inria.fr > Please forgive me if this has already has been discussed. I am confused > by the new LGPL/Q license of ocaml. The ocaml source distribution > details the copyright of the different source files, however, I have some > doubts about the implications for the compiled tools. Here is my > problem: > > I'm building a binary distribution of a program which is itself GPL > licensed. There are three different ways to build an "executable": > > 1.) compiled to native code > 2.) compiled to byte code, packaged without the runtime system > (in this case, the user would have to install an ocaml package > which comes with it own license). > 3.) compiled to byte code and with the runtime system (compiled with -custom) Our intent is that you should be able to link with the OCaml libraries and runtime system, and distribute the resulting executable without any restrictions. We chose the LGPL for these part of the systems precisely to allow this. Now, there is some fine print in the LGPL that makes a subtle distinction between static linking and dynamic linking, which we did not understand at first (and we now find this distinction silly and useless). But even with the most pessimistic reading of the LGPL, there cannot be any problems if your main program is itself under a free license such as the GPL or LGPL. > I understand that in cases (1) and (2) the OCaml license does not impose > any new constraints on the copyright. In case (3), I plan to add the > following text to the existing (GPL) license of the software: > > The executable code contains a copy of the OCaml runtime system > which is licensed under the terms of the Gnu Library General > Public License. [followed by a reference to the LGPL text]. This is more than the LGPL requires. Feel free to add or not to add this paragraph to the license of your software. Best regards, - Xavier Leroy