From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE, MAILTO_TO_SPAM_ADDR,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 45C7CBBAF for ; Fri, 24 Oct 2008 10:02:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4CAIseAUnAXQIngWdsb2JhbACTdwEBFiKtSYNQ X-IronPort-AV: E=Sophos;i="4.33,476,1220220000"; d="scan'208";a="18448566" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2008 10:02:28 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9O82Rm9011155 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 24 Oct 2008 10:02:28 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMAAE8eAUlQW+UCe2dsb2JhbACTdwEBFiIErUSDUA X-IronPort-AV: E=Sophos;i="4.33,476,1220220000"; d="scan'208";a="16429726" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 24 Oct 2008 10:02:11 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1KtHcY-0003sJ-Iz for caml-list@inria.fr; Fri, 24 Oct 2008 08:02:10 +0000 Received: from ks300734.kimsufi.com ([91.121.65.225]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 24 Oct 2008 08:02:10 +0000 Received: from sylvain by ks300734.kimsufi.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 24 Oct 2008 08:02:10 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Subject: Re: What does Jane Street use/want for an IDE? What about you? Date: Fri, 24 Oct 2008 08:02:02 +0000 (UTC) Message-ID: References: <2d0930590810230653q3110caabha8d4904e4d2d48cc@mail.gmail.com> <20081024091752.7f0d8c5d@alcazar.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: ks300734.kimsufi.com User-Agent: slrn/pre0.9.9-102 (Linux) Sender: news X-Miltered: at concorde with ID 49018113.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; le-gall:01 maxence:01 guesdon:01 maxence:01 guesdon:01 baudet:01 ocaml:01 ocaml:01 pre-compiled:01 packagers:01 compiler:01 foo:01 foo:01 wikipedia:01 wiki:01 On 24-10-2008, Maxence Guesdon wrote: > On Thu, 23 Oct 2008 15:53:19 +0200 > "Baudet David" wrote: > >> We didn't answer at all question on ocamlwizard, but I have read it (and I >> am sure, Mohamed too) and I wil continue every weeks to read caml list... >> and I hope this developper documentation answer for me. > > That's how topcameleon is compiled, asking the user where the compiled > sources of ocaml are located. > > Having the compiled sources of ocaml is not a problem for an ocaml > developer, and the ocamlwizard users are ocaml developers, aren't they ? > > For users of pre-compiled packages (debian, etc.), this is not a problem > for the packagers to have ocamlwizard compiled using the sources of ocaml > used for the ocaml package. > I don't agree, people should take care of the license of the file they use from OCaml source. You cannot link with everything inside the source, except if you acknowledge in some way the license of this source. A lot of code from the compiler is Q Public license. People should be aware of this point. To be short, people using GPL for their code should include the following term: As a special exception, you have permission to link this program with the FOO library and distribute executables, as long as you follow the requirements of the GNU GPL in regard to all of the software in the executable aside from FOO. (when using module FOO). See http://en.wikipedia.org/wiki/QPL However, I agree that embeding source of ocaml inside another project is the worse thing you can do. Regards, Sylvain Le Gall