From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D54737EE51 for ; Thu, 23 May 2013 08:36:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=pra; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=mailfrom; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@redisdead.crans.org designates 138.231.136.39 as permitted sender) identity=helo; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="postmaster@redisdead.crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqYAACO4nVGK54gnmWdsb2JhbABahhlau3WCcIEJFg4BAQEBAQgLCwcUKIIjAQEEAQwXVQEFCwkCGgIFFgsCAgkDAgECAUUTAQcCiAMGBI1zmySRa4EmjUQzBxaCK4ETA5c4hh6OMw X-IPAS-Result: AqYAACO4nVGK54gnmWdsb2JhbABahhlau3WCcIEJFg4BAQEBAQgLCwcUKIIjAQEEAQwXVQEFCwkCGgIFFgsCAgkDAgECAUUTAQcCiAMGBI1zmySRa4EmjUQzBxaCK4ETA5c4hh6OMw X-IronPort-AV: E=Sophos;i="4.87,726,1363129200"; d="scan'208";a="15372120" Received: from redisdead.crans.org ([138.231.136.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 May 2013 08:36:03 +0200 Received: from [10.125.1.2] (fbx.up7.fr [81.56.96.177]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 9A1801FF4; Thu, 23 May 2013 08:36:02 +0200 (CEST) Message-ID: <519DB8D2.5080102@glondu.net> Date: Thu, 23 May 2013 08:36:02 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130518 Icedove/17.0.5 MIME-Version: 1.0 To: caml-list@inria.fr CC: adrien@notk.org References: <20130522123427.GA1894@siouxsie> <519CC1C8.3060502@etorok.net> <20130522171907.GA6073@notk.org> In-Reply-To: <20130522171907.GA6073@notk.org> X-Enigmail-Version: 1.5.1 OpenPGP: id=49881AD3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Licenses - Confusion Le 22/05/2013 19:19, Adrien Nader a =C3=A9crit : > As T=C3=B6r=C3=B6k said, OCaml's checksums can be annoying for such tasks. > However, *IIRC* (it's been some time), the checksums are on the > interface of the modules and the LGPL says that you need to allow > relinking with libraries that are (binary?) compatible and that's what > the checksums guarantee. For native code, checksums are also on the implementation approximations (such as inlined functions, symbol names for direct access). Changing a library to keep it binary compatible with that is impossible in practice with the current tools. But actually, someone linking a closed-source executable using a pure LGPL library can just remove all *.cmx files of external libraries when compiling so that the approximations are not used, and the binary dependency will only be on interfaces. And, obviously, that person would need also to distribute all the *.{cma,cmxa,a} files needed to link said executable. > PS: *I* consider that BSD-style licenses cater for the needs of the > programmers while the GPL-style ones cater to the users > (that's my very own opinion) Keep in mind that programmers may be users but not copyright owners. I would say BSD-style licenses cater for the needs of organizations, and GPL-style ones cater for individuals. Cheers, --=20 St=C3=A9phane