From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <garrigue@math.nagoya-u.ac.jp>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 139D1BBCA
	for <caml-list@yquem.inria.fr>; Fri,  4 Apr 2008 01:58:50 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoEACMM9UeCNhAB/2dsb2JhbACsKw
X-IronPort-AV: E=Sophos;i="4.25,600,1199660400"; 
   d="scan'208";a="9170223"
Received: from kurims.kurims.kyoto-u.ac.jp ([130.54.16.1])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Apr 2008 01:58:48 +0200
Received: from localhost (orion [130.54.16.5])
	by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id m33NrahG019790;
	Fri, 4 Apr 2008 08:53:36 +0900 (JST)
Date: Fri, 04 Apr 2008 08:53:27 +0900 (JST)
Message-Id: <20080404.085327.233450447.garrigue@math.nagoya-u.ac.jp>
To: aaron_ogden_2000@yahoo.com
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] LGPL Exception Question
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
In-Reply-To: <200863.53048.qm@web52304.mail.re2.yahoo.com>
References: <200863.53048.qm@web52304.mail.re2.yahoo.com>
X-Mailer: Mew version 4.2 on Emacs 22.1 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; lgpl:01 lgpl:01 ocaml:01 gcc:01 gpl:01 exception:01 exception:01 caml-list:01 exceptions:01 define:02 linking:02 garrigue:03 garrigue:03 jacques:03 jacques:03 

From: Aaron Ogden <aaron_ogden_2000@yahoo.com>

> Part of the LGPL that INRIA(and many others) use
> states: 
>   "Everyone is permitted to copy and distribute
> verbatim copies
>   of this license document, but changing it is not
> allowed."
> 
> If INRIA nor anyone else is not allowed to change the
> LGPL, how is it that the special linking exception is legal?

You are not allowed to change the document, but you are perfectly
allowed to define your own license by adding extra clauses or
exceptions to it. This is what ocaml does: the license text is copied
verbatim, but an exception is indicated prior to it, and in each
covered file.

This is a bit like the QPL: the original must me distributed
unmodified, but patches are OK.

GCC itself does it, by introducing an exception to the GPL for libgcc.

Jacques Garrigue