[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