From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2176ABC57 for ; Thu, 1 Apr 2010 03:27:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwBAAiTs0tKfVM2mGdsb2JhbACRE4ofCBUBAQEBAQgJDAcRIqUqgWyFOS2ITAEBAwWEewQ X-IronPort-AV: E=Sophos;i="4.51,344,1267398000"; d="scan'208,223";a="60047388" Received: from mail-gw0-f54.google.com ([74.125.83.54]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Apr 2010 03:27:21 +0200 Received: by gwj17 with SMTP id 17so491337gwj.27 for ; Wed, 31 Mar 2010 18:27:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:from:date:received :message-id:subject:to:content-type; bh=NXUTR6jKLYfesPayZqkhO/+Lqy677oQ/m3N61cyX72w=; b=m0Eevt8VGyKXl35+rTRAdTqyr/2+3NLgAsnWJCZe+CbphF6dLw+wMsthrv/9Iq4cio 6yert0Y8xmrsuK4gUxAWyF+ZzHza7eS0pmqjgcayGI1S6bnONaDrcnPTGqX+L/a/ctdJ 9sz2amMfUpXhiJsN04n8mj9zlnh+kNmSS8LjY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:content-type; b=IE6MKTDty/hAWcYyyQM13hwFY8SjuenlpksnjvQ1QTWY+2ILs766Y3uh92e0fI2L4d yODL6x0B2UhUYM//Q9gAsbKGjiSbGDMePmY3ovN5+ix1oPXXL0T7//ahcneywzhgkOEW npiyM48jmEyPGIRHmOwCGOtw+wiDUyLTHVWCQ= MIME-Version: 1.0 Received: by 10.231.182.7 with HTTP; Wed, 31 Mar 2010 18:27:00 -0700 (PDT) From: Ashish Agarwal Date: Wed, 31 Mar 2010 21:27:00 -0400 Received: by 10.101.131.34 with SMTP id i34mr954916ann.94.1270085240200; Wed, 31 Mar 2010 18:27:20 -0700 (PDT) Message-ID: Subject: LGPLv3 linking exception To: Caml List Content-Type: multipart/alternative; boundary=001636ed68a4940044048322c311 X-Spam: no; 0.00; ocaml's:01 lgpl:01 summarize:01 ocaml:01 ocaml's:01 lgpl:01 summarize:01 ocaml:01 1975:98 2.1:98 2.1:98 gpl:01 gpl:01 exception:01 exception:01 --001636ed68a4940044048322c311 Content-Type: text/plain; charset=ISO-8859-1 >>From older posts, I get the impression that OCaml's lack of support for dynamic linking affects the choice of including a linking exception in libraries released under GPL or LGPL. Can someone summarize the issue? Is there an OCaml library using an LGPLv3 + linking exception license? I've not been able to find the necessary wording for the linking exception. I find several using LGPLv2.1 but the sections have moved around in version 3 so I don't think the linking exception wording carries over. --001636ed68a4940044048322c311 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
From older posts, I get the impression that OCaml's lack of suppor= t for dynamic linking affects the choice of including a linking exception i= n libraries released under GPL or LGPL. Can someone summarize the issue?

Is there an OCaml library using an LGPLv3 + linking exceptio= n license? I've not been able to find the necessary wording for the lin= king exception. I find several using LGPLv2.1 but the sections have moved a= round in version 3 so I don't think the linking exception wording carri= es over.

--001636ed68a4940044048322c311--