diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:52:31 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:53:09 +0100 |
commit | 2a999d7988d886b5e887988c68095addbbf9a794 (patch) | |
tree | 3eabf879cf5bf06bf3e2cc13d33b57e2b1ff3fcd /COPYING | |
parent | 90222b8fa7d6c7967155d556aa9c73109fd7e03e (diff) | |
download | ocaml-sid-2a999d7988d886b5e887988c68095addbbf9a794.tar.gz |
add linking exception to license
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -1,3 +1,18 @@ +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 upstream +author, 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 LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 |