[Omake] More on ocamldep and generated files.

[Francois Pottier]

Hello,

On Mon, Jun 12, 2006 at 09:51:53PM -0700, Jason Hickey wrote:
>
> However, before going this direction, I must understand the Menhir build 
> first.

To summarize:

When its --infer option is enabled, Menhir typechecks the semantic actions in
the .mly file before producing the parser. So, if the semantic actions inside
b.mly refer to module A, then we need 1) to discover this dependency and 2) to
build a.cmi and/or a.cmo before attempting to build b.ml and b.mli from
b.mly. Step 1 is done with menhir --depend, which itself relies on ocamldep;
step 2 is done with menhir.

When its --infer option is disabled, menhir works much like ocamlyacc.

-- 
François Pottier
Francois.Pottier at inria.fr
http://cristal.inria.fr/~fpottier/