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:09)
From: Guillaume Yziquel <guillaume.yziquel@c...>
Subject: ocamlbuild and ocamlfind - infer_interface

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!

All the best,

      Guillaume Yziquel