[Omake] omake support for Menhir?

[Jason Hickey]

Francois Pottier wrote:
> I just released a new version (20060615) with a --raw-depend flag (to be
> used instead of, not in addition to, --depend).

Great!  I added support (on the 0.9.8.ocamldep branch) for accurate
dependencies with Menhir using --raw-depend.  Please test when you have 
a chance.

I have some Menhir-specific questions, but I'll post on the Menhir list.

> When a module contains only type definitions, there is a choice between
> having just an .ml file, just an .mli file, or even both (identical files).
> Unfortunately (?), the language does not specify which is preferred. I
> believe all are legal.

I also fixed this.  It should now be legal to have a .mli with no .ml.

A side-effect is that it is also possible (at least as far as OMake is 
concerned) to have a .mli in one directory, and the .ml in another. 
However, OCaml does not support this, and it is likely it will cause 
strange errors.  We should probably be checking for this in OMake.

Jason

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