From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E848CBBAF for ; Sun, 17 Jan 2010 18:40:43 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsICAAPaUktDz4HegWdsb2JhbACcAwEBFiS3XYQyBA X-IronPort-AV: E=Sophos;i="4.49,292,1262559600"; d="scan'208";a="54179288" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Jan 2010 18:40:43 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id 33835185B5; Sun, 17 Jan 2010 17:40:42 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id CDDE36653; Sun, 17 Jan 2010 18:40:40 +0100 (CET) Date: Sun, 17 Jan 2010 18:40:40 +0100 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr, OCaml List Subject: Re: [Caml-list] GPL with linking exception? Message-ID: <20100117174040.GA30415@usha.takhisis.invalid> Mail-Followup-To: caml-list@yquem.inria.fr, OCaml List References: <313018.1549.qm@web111511.mail.gq1.yahoo.com> <4B533F0E.5050300@citycable.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <4B533F0E.5050300@citycable.ch> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 0100,:01 guillaume:01 bytecode:01 ocaml:01 bytecode:01 runtime:01 -custom:01 compilation:01 ocaml:01 runtime:01 cheers:01 zacchiroli:01 postdoc:01 On Sun, Jan 17, 2010 at 05:47:10PM +0100, Guillaume Yziquel wrote: > Well, you create a bytecode executable under GPL. You therefore > include the OCaml bytecode runtime. Uh? Why "therefore"? If you just distribute the bytecode (no -custom compilation involved), you will be not distributing the OCaml runtime with it, just your own program compiled to bytecode. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime