ocaml icon indicating copy to clipboard operation
ocaml copied to clipboard

HACKING.adoc: comment on the OCaml license

Open gasche opened this issue 1 year ago • 5 comments

This is a proposal for some informal explanation of the licensing terms of the OCaml compiler distribution, prompted by the discussion with @jonahbeckford in #13177

gasche avatar Jun 12 '24 14:06 gasche

Question. It's no longer possible to get the compiler under a less restrictive license by becoming part of the consortium ?

dbuenzli avatar Jun 12 '24 14:06 dbuenzli

I'm not sure; my understanding is that:

  1. Most industrial members of the Consortium, who were mostly interested in providing some financial support for the OCaml ecosystem, migrated to become sponsors of the OCaml Software Foundation instead in 2018-2019.
  2. The Foundation does not own any compiler-related IP and does not offer anything licensing-related. As a consequence, some industrial users that do want a BSD-licensed compiler remained in the consortium (which is otherwise an empty shell nowadays, I think? I'm not involved.).
  3. To my knowledge, there have been no new members of the consortium since.

In any case I was not particularly planning to mention/describe these external structures in that paragraph. (We do describe the CLA in Contributing.adoc, and I think that is important.)

gasche avatar Jun 12 '24 14:06 gasche

The Caml Consortium special licensing scheme is still there, and is the main reason why the Consortium still exists. However, we'd prefer industrial users of OCaml to join the Foundation rather than to join the Consortium, and to live with the LGPL-with-exception license rather than to use their own licenses.

xavierleroy avatar Jun 19 '24 09:06 xavierleroy

I rebased the PR to take the comments into account (thanks!). The paragraph reassuring downstream forks regarding the linking exception now reads as follows:

Finally: If you have your own fork of the OCaml compiler and standard library, it must be distributed to your own users under the same license (LGPL + exception), and your users will also benefit from the linking exception.

gasche avatar Jun 19 '24 20:06 gasche

I rebased the PR to take the comments into account (thanks!). The paragraph reassuring downstream forks regarding the linking exception now reads as follows:

Finally: If you have your own fork of the OCaml compiler and standard library, it must be distributed to your own users under the same license (LGPL + exception), and your users will also benefit from the linking exception.

LGTM! Thanks.

I'm also fine with using the phrase "compiler, standard library and runtime" consistently and repeatedly as @hannesm mentioned, although introducing new terms ("distribution") seems unnecessary and confusing IMHO.

jonahbeckford avatar Jun 19 '24 22:06 jonahbeckford

I took @hannesm's comments into account (thanks!) and rebased the PR. I am thinking of merging when the CI agrees.

gasche avatar Jul 02 '24 20:07 gasche