我发现Menhir提供了--dump和--explain选项,它有助于调试很多。但是如何在ocamlbuild下启用这些选项,以便Menhir始终在编译时生成转储文件?
我尝试编写处理自定义标记menhir_dump
的myocamlbuild文件,如下所示:
... snip ...
(* OASIS_STOP *)
Ocamlbuild_plugin.dispatch (
MyOCamlbuildBase.dispatch_combine [
(function
| After_rules ->
flag ["menhir_dump"] (S [A "--dump"; A "--explain"])
| _ -> ()
);
dispatch_default
]
)
但是当它编译时,选项会插入到子命令中,编译在ocamlc
阶段失败。
menhir --dump --explain --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/parser.mly > src/parser.mly.depends
menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot --dump --explain -I src -package cmdliner -package menhirLib -I src' --dump --explain --infer src/parser.mly
+ menhir --ocamlc 'ocamlfind ocamlc -g -annot -bin-annot --dump --explain -I src -package cmdliner -package menhirLib -I src' --dump --explain --infer src/parser.mly
^^^^^^^^^^^^^^^^
ocamlc: unknown option '--dump'.
...snip...
有什么建议吗?
答案 0 :(得分:3)
我自己回答。
当然,有一个内置的ocamlbuild选项。只需将explain
放入_tags
,如下所示。
true: use_menhir, explain
您可以使用ocamlbuild -documentation
查找内置选项。