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.1 required=5.0 tests=AWL,SPF_NEUTRAL 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 EBE4DBC69 for ; Fri, 23 Nov 2007 15:43:53 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.21,457,1188770400"; d="scan'208";a="4832148" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail1-relais-roc.national.inria.fr with SMTP; 23 Nov 2007 15:43:53 +0100 Received: by ausone.inria.fr (sSMTP sendmail emulation); Fri, _d Nov 2007 15:43:05 +0100 From: "Nicolas Pouillard" Cc: caml-list Subject: Re: [Caml-list] ocamlbuild: generating documentation To: hmf References: <47444388.7020507@inescporto.pt> <1195656845-sup-3339@port-ext2.ensta.fr> <47445639.7010600@inescporto.pt> In-Reply-To: <47445639.7010600@inescporto.pt> Date: Fri, 23 Nov 2007 15:43:05 +0100 Message-Id: <1195828646-sup-672@ausone.inria.fr> User-Agent: Sup/0.2 Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; mli:01 ocaml-:01 mli:01 cvs:01 ocamlc:01 ocamldoc:01 ocaml:01 wrote:01 caml-list:01 interfaces:01 behaviour:01 mly:01 inferred:02 aka:04 types:05 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, -- Nicolas Pouillard aka Ertai