summaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-03 19:52:31 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-03 19:53:09 +0100
commit2a999d7988d886b5e887988c68095addbbf9a794 (patch)
tree3eabf879cf5bf06bf3e2cc13d33b57e2b1ff3fcd /COPYING
parent90222b8fa7d6c7967155d556aa9c73109fd7e03e (diff)
downloadocaml-sid-2a999d7988d886b5e887988c68095addbbf9a794.tar.gz
add linking exception to license
Diffstat (limited to 'COPYING')
-rw-r--r--COPYING15
1 files changed, 15 insertions, 0 deletions
diff --git a/COPYING b/COPYING
index 0a04128..4c06ca6 100644
--- a/COPYING
+++ b/COPYING
@@ -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