[Omake] menhir --infer + ocamldep -natives

Michael Furr furr at cs.umd.edu
Thu May 24 15:19:03 PDT 2007


I'm still having a bit of trouble using OCAMLDEP_MODULES_ENABLED with
menhir --infer.  I have a file parser.mly that depends on ast.cmi.
However, when I run

$ omake --depend --print-dependencies parser.ml
[...]
- scan src/parser scan-ocamlyacc-parser.mly
+ <compute 3 value dependencies>
- scan src/parser scan-ocamlyacc-parser.mly
+ menhir --infer --explain --dump --ocamldep 'ocamldep -I . -native
-modules' --raw-depend parser.mly
     | Shell.ocamldep-postproc(-preserve-targets)
- exit src/parser scan-ocamlyacc-parser.mly, code 0
dependencies:
   target: src/parser/parser.ml
      scanner dependencies: <scanner
src/parser/scan-ocamlyacc-parser.mly>
      static dependencies: src/parser/parser.mly
      build dependencies: <scanner
src/parser/scan-ocamlyacc-parser.mly>
         src/parser/parser.mly
      dependencies are merged from: src/parser/parser.mli
         src/parser/parser.ml
      targets that depend on this node at this point:
*** omake: done (1.3 sec, 1/1 scans, 0/2 rules, 0/101 digests)

So, there is no mention of ast.cmi, but it's clearly using -modules and
-raw-depend.  If I run the corresponding dep command by hand, I see the
proper dependencies:

$ menhir --infer --explain --dump --ocamldep 'ocamldep -I . -native
-modules' --raw-depend parser.mly
parser.ml: Ast Big_int Lexing
parser.mli: Ast Big_int Lexing

ocaml3.10.0 on my mac, rev 10814.

-Mike




More information about the Omake mailing list