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=1.2 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 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 2ED4CBC69 for ; Fri, 23 Nov 2007 16:29:42 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAD6BRkfAI/YJ/2dsb2JhbACRAQ X-IronPort-AV: E=Sophos;i="4.21,458,1188770400"; d="scan'208";a="4834174" Received: from bart.inescn.pt ([192.35.246.9]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Nov 2007 16:29:34 +0100 Received: from localhost (bart.inescn.pt [127.0.0.1]) by bart.inescn.pt (8.13.8/8.13.8/1) with ESMTP id lANFTNhb022603; Fri, 23 Nov 2007 15:29:23 GMT X-Virus-Scanned: amavisd-new at inescporto.pt Received: from bart.inescn.pt ([127.0.0.1]) by localhost (bart.inescn.pt [127.0.0.1]) (amavisd-new, port 10024) with LMTP id T-ksw-ftsrR0; Fri, 23 Nov 2007 15:29:13 +0000 (WET) Received: from [194.117.30.94] (morfina.inescn.pt [194.117.30.94]) by bart.inescn.pt (8.13.8/8.13.8/38) with ESMTP id lANFTAoL022595; Fri, 23 Nov 2007 15:29:10 GMT Message-ID: <4746F1C6.20503@inescporto.pt> Date: Fri, 23 Nov 2007 15:29:10 +0000 From: Hugo Ferreira User-Agent: Thunderbird 2.0.0.9 (X11/20071119) MIME-Version: 1.0 To: Nicolas Pouillard Cc: caml-list Subject: Re: [Caml-list] ocamlbuild: generating documentation References: <47444388.7020507@inescporto.pt> <1195656845-sup-3339@port-ext2.ensta.fr> <47445639.7010600@inescporto.pt> <1195828646-sup-672@ausone.inria.fr> In-Reply-To: <1195828646-sup-672@ausone.inria.fr> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; mli:01 ocaml-:01 mli:01 cvs:01 ocamlc:01 ocamldoc:01 ocaml:01 wrote:01 wrote:01 caml-list:01 interfaces:01 behaviour:01 mly:01 inferred:02 types:05 Ok. I will take a look at the (2) sources you indicated. Merci. P.S: OT, I left a patch for you in the OcalIDE forum. Nicolas Pouillard wrote: > Excerpts from hmf's message of Wed Nov 21 17:00:57 +0100 2007: >> Hi, >> >> Nicolas Pouillard wrote: >>> Excerpts from hmf's message of Wed Nov 21 15:41:12 +0100 2007: >>>> Hello, >>> Hello, >>> >>>> I am attempting to use the document generation option provided by >>>> ocamlbuild. The manual states that ocamlbuild will "collect all the >>>> documentation for the interfaces (which will be built if necessary"). >>>> >>>> Questions: >>>> 1. How can I change this so that both *.ml and *.mli file are be used? >>> If I well remember in OCaml-3.10.0 only mli files are took in account. >> Yes, my tests shows this. >> >>> In the CVS version ml files are used when no mli can be built. >>> >> What do you mean "can't be built"? > It's a little stronger than "doesn't exists". > >> I assume you can always generate a >> *.mli given *.ml, correct? > Yes and no, "ocamlc -i" try to do this but there's no correction guarantee. > In ocamlbuild we've not put a rule ".ml->.mli" because it will use it too > often. However we have a ".ml->.inferred.mli" rule. > >> Are you referring to other types of sources >> such as *.mly? > Yes for instance. > >> Can the behaviour be changed? If I am not mistaken ocamldoc can merge >> *.ml and *.mli files so I think it may be easy enough to allow this. > Yes you can look at ocamlbuild/ocaml_{specific,tools}.ml and then add rule to > your myocamlbuild.ml that will depend on both the ml and the mli. > Don't forget to give ~insert:`top to your rule to give it the highest priority. > > Regards,