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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 4B5BABBAF for ; Sat, 28 Feb 2009 21:09:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQFAKooqUlV2gBuYWdsb2JhbACBWJMAIh/CDIQaBg X-IronPort-AV: E=Sophos;i="4.38,282,1233529200"; d="scan'208";a="21845637" Received: from mail.alinto.citycable.ch (HELO citycable.ch) ([85.218.0.110]) by mail2-smtp-roc.national.inria.fr with SMTP; 28 Feb 2009 21:09:33 +0100 Received: (qmail 31233 invoked from network); 28 Feb 2009 20:09:33 -0000 Received: from unknown (HELO ?192.168.0.11?) (guillaume.yziquel@citycable.ch@85.218.65.186) by smtp.alinto.citycable.ch with SMTP; 28 Feb 2009 20:09:33 -0000 Message-ID: <49A999CE.50503@citycable.ch> Date: Sat, 28 Feb 2009 21:08:46 +0100 From: Guillaume Yziquel Reply-To: guillaume.yziquel@citycable.ch User-Agent: Mozilla-Thunderbird 2.0.0.19 (X11/20090103) MIME-Version: 1.0 To: caml-list@inria.fr Subject: ocamlbuild and ocamlfind - infer_interface Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-aduser: guillaume.yziquel@citycable.ch/85.218.65.186 X-Spam: no; 0.00; guillaume:01 guillaume:01 ocamlfind:01 wiki:01 ocamlfind:01 mli:01 ocaml:01 ocaml:01 -package:01 syntax:01 syntax:01 -thread:01 wiki:01 mli:01 threads:01 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! All the best, -- Guillaume Yziquel http://yziquel.homelinux.org/