diff options
Diffstat (limited to 'options/license/OCaml-LGPL-linking-exception')
| -rw-r--r-- | options/license/OCaml-LGPL-linking-exception | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/license/OCaml-LGPL-linking-exception b/options/license/OCaml-LGPL-linking-exception new file mode 100644 index 0000000000..cee7a4df49 --- /dev/null +++ b/options/license/OCaml-LGPL-linking-exception @@ -0,0 +1,3 @@ +OCaml LGPL Linking Exception + +As a special exception to the GNU Lesser General Public License, you may link, statically or dynamically, a "work that uses the OCaml Core System " with a publicly distributed version of the OCaml Core System to produce an executable file containing portions of the OCaml Core System , and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Lesser General Public License. By "a publicly distributed version of the OCaml Core System ", we mean either the unmodified OCaml Core System as distributed by INRIA , or a modified version of the OCaml Core System that is distributed under the conditions defined in clause 2 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License. |