The --graph
option for menhir
is documented in the manual, but is not being accepted:
$ menhir --version
menhir, version 20210310
$ dune build src/driver/driver.exe
menhir src/lib/parser__mock.ml.mock (exit 2)
(cd _build/default && /home/romildo/.opam/4.11.2/bin/menhir --explain --dump --graph --log-grammar 2 src/lib/parser.mly --base src/lib/parser --infer-write-query src/lib/parser__mock.ml.mock)
/home/romildo/.opam/4.11.2/bin/menhir: unknown option '--graph'.
[...]
Why is this option unavailable anymore?