From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 76FD5BBAF for ; Sun, 17 Jan 2010 17:47:12 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEAANPNUktV2gB4mWdsb2JhbACDYZgiAQEBAQEICwoHE6p5jB6BLIIwVgSJOQ X-IronPort-AV: E=Sophos;i="4.49,292,1262559600"; d="scan'208";a="45057876" Received: from emailfrontal1.citycable.ch ([85.218.0.120]) by mail1-smtp-roc.national.inria.fr with SMTP; 17 Jan 2010 17:47:12 +0100 Received: from [192.168.0.12] (unknown [85.218.92.99]) (Authenticated sender: guillaume.yziquel@citycable.ch) by emailfrontal1.citycable.ch (Postfix) with ESMTPA id 3D08412C219; Sun, 17 Jan 2010 17:47:10 +0100 (CET) Message-ID: <4B533F0E.5050300@citycable.ch> Date: Sun, 17 Jan 2010 17:47:10 +0100 From: Guillaume Yziquel Reply-To: guillaume.yziquel@citycable.ch User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090707) MIME-Version: 1.0 To: Dario Teixeira Cc: OCaml List Subject: Re: [Caml-list] GPL with linking exception? References: <313018.1549.qm@web111511.mail.gq1.yahoo.com> In-Reply-To: <313018.1549.qm@web111511.mail.gq1.yahoo.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; guillaume:01 guillaume:01 bytecode:01 runtime:01 bytecode:01 ocaml:01 ocaml:01 runtime:01 waterproof:98 gpl:01 gpl:01 imho:01 exception:01 caml-list:01 linking:02 Dario Teixeira a =C3=A9crit : > Hi, >=20 >> My question about GPL is mostly the following: Can you >> distribute GPL bytecode files? Do you have any issues when >> 'linking' the runtime with the GPL bytecode? >> >> Or are there other issues preventing from releasing GPL OCaml code? >=20 > If you want a waterproof lawyerly response you should consider contacti= ng > an organisation like the Software Freedom Law Center [1]. Nevertheless= , > IMHO I see no obstacle in using the GPL with Ocaml code, and there are > in fact plenty of Ocaml projects using this license. Could you elabora= te > on why you feel that the GPL could in theory prevent the release of Oca= ml > code? Well, you create a bytecode executable under GPL. You therefore include=20 the OCaml bytecode runtime. You'd be distributing part of the bytecode=20 runtime under the GPL, and I somehow feel there's a fish in doing so. This is just a question I'm asking myself. I do not have a hard opinion=20 on that. Im just asking to collect advice from people on this list who=20 might have wondered the same kind of things. That's all. All the best, --=20 Guillaume Yziquel http://yziquel.homelinux.org/