Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
ocamlbuild and ocamlfind - infer_interface
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-02-28 (20:41)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] ocamlbuild and ocamlfind - infer_interface
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:
> 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 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