caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: BOBOT Francois <Francois.BOBOT@cea.fr>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Dynamic link of C library
Date: Fri, 11 Mar 2022 14:48:36 +0000	[thread overview]
Message-ID: <b023f4c99246beee253e7eabb19c6074558c188a.camel@cea.fr> (raw)
In-Reply-To: <3496160576413589fd508d9af3902f195cf2f1ee.camel@cea.fr>

Hi,

Le vendredi 11 février 2022 à 19:18 +0100, François Bobot a écrit :
> However static linking lose the
> advantage of a C library with the *L*GPL licence (no?). 

A colleague pointed that my understanding of the LGPL was wrong. The
linking exception applies also for static linking if the source of the
LGPL library are provided and script are provided for relinking with
another version of the library.

https://www.gnu.org/licenses/gpl-faq.html#LGPLStaticVsDynamic

I forgot section 6.a of LGPL v2.1. The additional static linking
exception of the OCaml LICENCE exempt of less than what I though.

So in the context of an OCaml stub of an LGPL library distributed as an
OPAM package (source), even if the library is statically linked in the
.cmxs and .a of the OCaml library, any OCaml projet can use it.

Best regards,

-- 
François

      parent reply	other threads:[~2022-03-11 14:48 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-02-11 18:18 BOBOT Francois
2022-02-13 16:55 ` Xavier Leroy
2022-02-16  7:32   ` BOBOT Francois
2022-03-11 14:48 ` BOBOT Francois [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=b023f4c99246beee253e7eabb19c6074558c188a.camel@cea.fr \
    --to=francois.bobot@cea.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).