[Omake] Menhir, --raw-depend, --infer, and OMake

Michael Furr furr at cs.umd.edu
Wed Jan 31 20:14:19 PST 2007


I'm currently using menhir in a project which uses OMake as its build
tool.  Everything works great except when I use --infer with menhir.  The
problem seems to be that OMake uses the --raw-depend flag to generate the
dependencies for .mly files, but this does not produce dependencies for
the parser.ml file.   In other words, if I have a file parser.mly which
includes the header:
%{
 open Helper
%}

then --raw-depend does NOT include the dependency
 parser.ml: helper.cmo

and instead only shows dependencies on parser.cm[iox].  Therefore when
menhir typechecks the rules before generating the grammar (based on
--infer), it may not have rebuilt helper.cmo if it changed.  Note that the
regular "--depend" flag *does* show this dependency.  Further, the menhir
manual states that --raw-depend is specifically for OMake, and so I'm not
sure whom to report this to (hence the cross-post to both programs'
mailing lists!).

Cheers,
-Mike



More information about the Omake mailing list