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 TAA28128 for caml-red; Tue, 19 Sep 2000 19:43:30 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA08716 for ; Mon, 18 Sep 2000 21:24:51 +0200 (MET DST) Received: from front6.grolier.fr (front6.grolier.fr [194.158.96.56]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8IJOjv26062 for ; Mon, 18 Sep 2000 21:24:45 +0200 (MET DST) Received: from seneca (bas1-122.idf2-1.club-internet.fr [195.36.215.122]) by front6.grolier.fr (8.9.3/No_Relay+No_Spam_MGC990224) with ESMTP id VAA26279 for ; Mon, 18 Sep 2000 21:24:43 +0200 (MET DST) Received: from club-internet.fr (really [127.0.0.1]) by mail.club-internet.fr via smail with esmtp id (Debian Smail3.2.0.111) for ; Mon, 18 Sep 2000 21:29:58 +0200 (CEST) Message-Id: X-Mailer: exmh version 2.2 06/23/2000 (debian 2.2-1) with nmh-1.0.4+dev From: Ralf Treinen Reply-to: treinen@lri.fr To: caml-list@inria.fr Subject: copyright of byte code containing the run time system Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 18 Sep 2000 21:29:57 +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) 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]. I would appreciate if someone from INRIA could confirm my interpretation, or correct me. Answers will be forwarded to the debian-ocaml-devel mailing list. Ralf.