From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA12652; Tue, 11 Dec 2001 00:24:59 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 AAA12672 for ; Tue, 11 Dec 2001 00:24:58 +0100 (MET) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBANOtL14585 for ; Tue, 11 Dec 2001 00:24:56 +0100 (MET) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id IAA30236; Tue, 11 Dec 2001 08:24:33 +0900 To: luther@dpt-info.u-strasbg.fr Cc: rms@gnu.org, caml-list@inria.fr Subject: Re: [Caml-list] License Conditions for OCaml In-Reply-To: <20011210162847.A23006@dpt-info.u-strasbg.fr> References: <20011206132606.A6756@dpt-info.u-strasbg.fr> <200112070312.fB73C6001570@aztec.santafe.edu> <20011210162847.A23006@dpt-info.u-strasbg.fr> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20011211082405A.garrigue@kurims.kyoto-u.ac.jp> Date: Tue, 11 Dec 2001 08:24:05 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Sven > Is [the libgcc] licence acesible from somewhere apart the full gcc code ? > > BTW, i suppose it is fully GPL/LGPL compatible and well recognized as free > software licence ? It is just an exception to the GPL. Here it is (from gcc-3.0.1/gcc/libgcc2.c): GNU CC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. In addition to the permissions in the GNU General Public License, the Free Software Foundation gives you unlimited permission to link the compiled version of this file into combinations with other programs, and to distribute those combinations without any restriction coming from the use of this file. (The General Public License restrictions do apply in other respects; for example, they cover modification of the file, and distribution when not linked into a combine executable.) This clause is often known as "modified GPL", and allows in fact more than the LGPL. But it looks like we made a different choice for ocaml, applying a similar clause to the LGPL rather than the GPL. It avoids to have to prove to everybody that the "modified GPL" is liberal enough... Also, I wonder whether you can relicense under LGPL code released under "modified GPL"? The wording does not say so, but the constraints are similar. Jacques Garrigue ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr