From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nicolas.pouillard@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
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 4AD71BBAF
	for <caml-list@yquem.inria.fr>; Sat, 28 Feb 2009 21:41:42 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApMBACswqUnRVdqoimdsb2JhbACUIz8BAQEKCQwHDwWxWIEHjxwBAwEDhBcGgnE
X-IronPort-AV: E=Sophos;i="4.38,282,1233529200"; 
   d="scan'208";a="35907454"
Received: from mail-bw0-f168.google.com ([209.85.218.168])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Feb 2009 21:41:42 +0100
Received: by bwz12 with SMTP id 12so1630087bwz.9
        for <caml-list@inria.fr>; Sat, 28 Feb 2009 12:41:41 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:content-type:cc:subject:from
         :to:references:in-reply-to:date:message-id:user-agent;
        bh=GTcO4XkTsPNWPjbuUosry6V+309N9A9vrZKwWs06ekk=;
        b=f2Dr1NSe7CC4gR/4lQHY9ENakijw4BoW1bygY1l8Lmbmv1I6/eODi9dL+cOzzXFGAO
         AqZ1gPV/EXJjEq5j2Z+Onp5k3vAfGbjfTYuvdo3LLP/dX9fPd3pwXqAQSMwE2+soY2yt
         dBywDS6Q9GR3PyFo9VnE3V0D3d4YBH6jjXjss=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=content-type:cc:subject:from:to:references:in-reply-to:date
         :message-id:user-agent;
        b=wCoepjRRsCTRWIilLC3tgBRxwclVVq+TB+w+3oMTRp+rRaIrDv9edmQXncD+p2PiRS
         a4vMvTcKdFdFb74/QHHJqbjvmOvW9IGCuJNFT7VHM5AFv25cOYhfeujG494pw0RtslrL
         VsFk7WlvEL2JD4tgN20wu27WlGv/FaoLx34+M=
Received: by 10.223.127.8 with SMTP id e8mr4555240fas.81.1235853700525;
        Sat, 28 Feb 2009 12:41:40 -0800 (PST)
Received: from localhost (home.feydakins.org [82.229.164.236])
        by mx.google.com with ESMTPS id 7sm5217997nfv.65.2009.02.28.12.41.32
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sat, 28 Feb 2009 12:41:39 -0800 (PST)
Content-Type: text/plain; charset=UTF-8
Cc: caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] ocamlbuild and ocamlfind - infer_interface
From: Nicolas Pouillard <nicolas.pouillard@gmail.com>
To: Guillaume Yziquel <guillaume.yziquel@citycable.ch>
References: <49A999CE.50503@citycable.ch>
In-Reply-To: <49A999CE.50503@citycable.ch>
Date: Sat, 28 Feb 2009 21:40:26 +0100
Message-Id: <1235853582-sup-1603@ausone.local>
User-Agent: Sup/git
X-Spam: no; 0.00; ocamlfind:01 guillaume:01 wiki:01 ocamlfind:01 mli:01 ocaml:01 ocaml:01 -package:01 syntax:01 syntax:01 -thread:01 wiki:01 mli:01 2009:98 threads:01 

Excerpts from Guillaume Yziquel's message of Sat Feb 28 21:08:46 +0100 2009:
> Hello.
> 
> A small comment on the ocamlbuild wiki, and more specifically on its 
> plugin for ocamlfind:
> 
> http://brion.inria.fr/gallium/index.php/Using_ocamlfind_with_ocamlbuild
> 
> This plugin fails to generate .inferred.mli files. The following lines 
> (thanks to bluestorm on #ocaml irc channel) are needed in the 
> After_rules of the plugin:
> 
> -1- flag ["ocaml"; "infer_interface"; "pkg_"^pkg] & S[A"-package"; A pkg];
> 
> -2- flag ["ocaml"; "infer_interface"; "syntax_"^syntax] & S[A"-syntax"; 
> A syntax];
> 
> -3- flag ["ocaml"; "pkg_threads"; "infer_interface"] (S[A "-thread"])
> 
> Since I could not find a single occurrence of "infer_interface" on the 
> Gallium wiki, and since I do not believe that using ocamlbuild and 
> ocamlfind together to infer .mli files is "not a simple task", I 
> sincerely believe that the documentation of ocamlbuild is insufficient, 
> and insufficently structured. (This is to echo the debate between Daniel 
> Bünzli and Romain Bardou, among others, two or three weeks ago 
> concerning the lack of documentation).
> 
> Could these three lines be added to the myocamlbuild.ml plugin for 
> ocamlfind on the Gallium wiki, and could tags such as "infer_interface" 
> be documented thoroughly on the wiki? That would be helpful!

Thanks for this contribution.
I've added these 3 lines in the Wiki.

-- 
Nicolas Pouillard