From 399e54563d69e48fffd2c3ba37b4929723ba1843 Mon Sep 17 00:00:00 2001 From: rich Date: Mon, 28 Jun 2004 14:28:32 +0000 Subject: [PATCH 1/1] Make explicit the linking exception. --- COPYING.LIB | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/COPYING.LIB b/COPYING.LIB index 07960d8..df024ca 100644 --- a/COPYING.LIB +++ b/COPYING.LIB @@ -1,3 +1,24 @@ +This library is distributed under the terms of the GNU LGPL with the +OCaml linking exception. + +---------------------------------------------------------------------- + +As a special exception to the GNU Library General Public License, you +may link, statically or dynamically, a "work that uses the Library" +with a publicly distributed version of the Library to produce an +executable file containing portions of the Library, and distribute +that executable file under terms of your choice, without any of the +additional requirements listed in clause 6 of the GNU Library General +Public License. By "a publicly distributed version of the Library", +we mean either the unmodified Library as distributed by INRIA, or a +modified version of the Library that is distributed under the +conditions defined in clause 3 of the GNU Library General Public +License. This exception does not however invalidate any other reasons +why the executable file might be covered by the GNU Library General +Public License. + +---------------------------------------------------------------------- + GNU LIBRARY GENERAL PUBLIC LICENSE Version 2, June 1991 -- 1.8.3.1