[Omake] More on ocamldep and generated files.

[Jason Hickey]

Francois Pottier wrote:
> 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.

That makes sense.  Also, for this a fixed number of stages would never work.

While we could use your method to trick ocamldep into doing the right 
thing, it would be nice if it all happened automatically.  I'm going to 
configure OMake with a patched ocamldep and then define a menhir setup.

Jason

-- 
Jason Hickey                  http://www.cs.caltech.edu/~jyh
Caltech Computer Science      Tel: 626-395-6568 FAX: 626-792-4257