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 5BFC2BBAF for ; Mon, 18 Jan 2010 09:33:39 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwEAMerU0tDz4HegWdsb2JhbACbfAEBFiS3VIQyBA X-IronPort-AV: E=Sophos;i="4.49,295,1262559600"; d="scan'208";a="54202727" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Jan 2010 09:33:38 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id 49293185B5 for ; Mon, 18 Jan 2010 08:33:37 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 0C8056677; Mon, 18 Jan 2010 09:33:36 +0100 (CET) Date: Mon, 18 Jan 2010 09:33:35 +0100 From: Stefano Zacchiroli To: OCaml List Subject: Re: [Caml-list] GPL with linking exception? Message-ID: <20100118083335.GC5325@usha.takhisis.invalid> Mail-Followup-To: OCaml List References: <313018.1549.qm@web111511.mail.gq1.yahoo.com> <4B533F0E.5050300@citycable.ch> <20100117174040.GA30415@usha.takhisis.invalid> <4B538991.5060509@citycable.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <4B538991.5060509@citycable.ch> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 0100,:01 guillaume:01 -custom:01 -custom:01 bytecode:01 compiler:01 bytecode:01 compilation:01 ocaml:01 runtime:01 compiler:01 runtime:01 afaict:01 On Sun, Jan 17, 2010 at 11:05:05PM +0100, Guillaume Yziquel wrote: > >Uh? Why "therefore"? > Because I was indeed thinking of -custom when talking about > "executable"... OK, but notice that -custom has been deprecated for a while now. Also, it is not clear to me which benefit do you gain in distributing your stuff that way: you lose portability (which is the main benefit of bytecode) and you have slower code than native code. (Of course, it might be that you don't have a native code compiler for your target arch ...) > >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. > > Is it the only issue with the GPL? If that's the only issue, then > it's perfectly fine with me... IANAL, but anyhow no, it is not the only issue with the GPL, but this issue is a more generic one. It boils down to what you distribute: if you distribute only stuff written by you, you can choose the license, if you distribute also stuff written by someone else (the bytecode compiler in this case), than you have to care about runtime compatibility. Of course the fact that you can choose the license does not imply that you can actually run it against the bytecode interpreter, but AFAICT this is not a problem that the GPL will induce. Obviously, GPL-ed bytecode means that the source of the bytecode most go along with it. 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