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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id E9A58BBBB for ; Thu, 14 Sep 2006 09:48:20 +0200 (CEST) Received: from pandora.cs.kun.nl (pandora.cs.kun.nl [131.174.33.4]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8E7mJTK028004 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 14 Sep 2006 09:48:20 +0200 Received: from tandem.cs.ru.nl [131.174.142.18] (helo=tandem.cs.ru.nl) by pandora.cs.kun.nl (8.13.7/5.9) with ESMTP id k8E7kva8024135 for ; Thu, 14 Sep 2006 09:48:13 +0200 (MEST) Received: from tews by tandem.cs.ru.nl with local (Exim 4.63) (envelope-from ) id 1GNlxW-0008GU-Kh for caml-list@inria.fr; Thu, 14 Sep 2006 09:48:30 +0200 From: Hendrik Tews To: caml users Subject: Re: [Caml-list] 3.09.3 release candidate 2 References: <0A29CC70-FA05-432A-9DF5-8B98F6E573F3@inria.fr> <4E2C1762-63F0-4540-8639-056C1C86528A@inria.fr> <1158161553.6133.236.camel@rosella.wigram> Date: Thu, 14 Sep 2006 09:48:30 +0200 In-Reply-To: (Nicolas Pouillard's message of "Wed, 13 Sep 2006 18:17:56 +0200") Message-ID: User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Scanned-By: MIMEDefang 2.56 on 131.174.33.4 X-Miltered: at discorde with ID 45090943.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 hendrik:01 cmo:01 gramlib:01 camlp:01 cmxa:01 plexer:01 cmx:01 bug:01 cmo:01 cmi:01 cmx:01 cmi:01 "Nicolas Pouillard" writes: On 9/13/06, Hendrik Tews wrote: > > > I do not understand why you do need .cmo files when you have a library > > (gramlib.cma or camlp4.cma) that includes these modules (note that .a > > and .cmxa are also available for native linking). > > But with this line of reasoning, plexer.{o,cmx} should not be > installed either, shouln't it? Yes, but if I remember correctly it's you that request for these files to be installed? Sure, but I didn't knew about the library, when I filed the bug report. So in order to be consistent either one do not expose at all the content of a library or one install all components (.cmo, .cmi, .cmx, .o). I tend to prefer the first one. OK, Jacques clarified this, you need to install the .cmi .cmx together with the library. .cmo and .o are in the library. > (I could still imagine some camlp4 application szenario, where > you need to use -linkall, but don't want to link all of > gramlib.cma. Then you would need the cmo itself, right? However, > this was not the case in my application.) Yes but it's a choice made by the library designer. The library designer can hardly forsee all the possible usages of the modules in his library. Therefore, in my opinion, one should install all .cmi .cmo .cmx .o and have the libraries available for convenience. The additional space needed is negligible (less than 1M for both gramlib and plexer). Cases where users needed a uncleaned ocaml source directory to compile certain features of an application would then belong to the past. Bye, Hendrik