1MENHIR(1) General Commands Manual MENHIR(1)
2
3
4
6 menhir - an LR(1) parser generator for OCaml
7
8
10 menhir [options] files
11
13 menhir is an LR(1) parser generator for the OCaml programming language.
14 That is, Menhir compiles LR(1) grammar specifications down to OCaml
15 code. It is mostly compatible with ocamlyacc(1).
16
17
19 -h, --help
20 Show summary of options.
21
22 -b, --base basename
23 Specifies a base name for the output file(s).
24
25 --canonical
26 Construct a canonical Knuth LR(1) automaton.
27
28 --cmly Write the grammar and automaton to basename.cmly.
29
30 --comment
31 Include comments in the generated code.
32
33 --compare-errors file1 --compare-errors file2
34 Compare two .messages files.
35
36 --compile-errors file
37 Compile a .messages file to OCaml code.
38
39 --coq Generate a formally verified parser, in Coq.
40
41 --coq-lib-path path
42 How to qualify references to MenhirLib.
43
44 --coq-lib-no-path
45 Do not qualify references to MenhirLib.
46
47 --coq-no-actions
48 Ignore semantic actions in the Coq output.
49
50 --coq-no-complete
51 Do not generate a proof of completeness.
52
53 --depend
54 Invoke ocamldep and display dependencies.
55
56 --dump Describe the automaton in basename.automaton.
57
58 --echo-errors file
59 Echo the sentences in a .messages file.
60
61 --explain
62 Explain conflicts in basename.conflicts.
63
64 --external-tokens module
65 Import token type definition from module.
66
67 --fixed-exception
68 Declares Error = Parsing.Parse_error.
69
70 --graph
71 Write grammar's dependency graph to basename.dot.
72
73 --infer
74 Invoke ocamlc for ahead of time type inference.
75
76 --infer-protocol-supported
77 Stop with exit code 0.
78
79 --infer-write-query file
80 Write mock .ml file.
81
82 --infer-read-reply file
83 Read inferred .mli file.
84
85 --inspection
86 Generate the inspection API.
87
88 --interpret
89 Interpret the sentences provided on stdin.
90
91 --interpret-show-cst
92 Show a concrete syntax tree upon acceptance.
93
94 --interpret-error
95 Interpret an error sentence provided on stdin.
96
97 --lalr Construct an LALR(1) automaton.
98
99 -la, --log-automaton level
100 Log information about the automaton.
101
102 -lc, --log-code level
103 Log information about the generated code.
104
105 -lg, --log-grammar level
106 Log information about the grammar.
107
108 --list-errors
109 Produce a list of erroneous inputs.
110
111 --no-inline
112 Ignore the %inline keyword.
113
114 --no-stdlib
115 Do not load the standard library.
116
117 --ocamlc command
118 Specifies how ocamlc should be invoked.
119
120 --ocamldep command
121 Specifies how ocamldep should be invoked.
122
123 --only-preprocess
124 Print a simplified grammar and exit.
125
126 --only-preprocess-for-ocamlyacc
127 Print grammar in ocamlyacc format and exit.
128
129 --only-preprocess-u
130 Print grammar with unit actions and exit.
131
132 --only-preprocess-uu
133 Print grammar with unit actions and tokens and exit.
134
135 --only-tokens
136 Generate token type definition only, no code.
137
138 --raw-depend
139 Invoke ocamldep and echo its raw output.
140
141 --stdlib directory
142 Specify where the standard library lies.
143
144 --strict
145 Warnings about the grammar are errors.
146
147 --suggest-comp-flags
148 Suggest compilation flags for ocaml{c,opt}.
149
150 --suggest-link-flags-byte
151 Suggest link flags for ocamlc.
152
153 --suggest-link-flags-opt
154 Suggest link flags for ocamlopt.
155
156 --suggest-menhirLib
157 Suggest where MenhirLib was installed in source form.
158
159 --suggest-ocamlfind
160 Show if Menhir was installed using ocamlfind.
161
162 -t, --table
163 Use the table-based back-end.
164
165 --timings
166 Display internal timings.
167
168 --trace
169 Include tracing instructions in the generated code.
170
171 --unused-precedence-levels
172 Do not warn about unused precedence levels.
173
174 --unused-token token
175 Do not warn that token is unused.
176
177 --unused-tokens
178 Do not warn about any unused token.
179
180 --update-errors file
181 Update auto-comments in a .messages file.
182
183 --version
184 Show version number and exit.
185
186 -v Synonymous with --dump --explain.
187
188
189
191 ocaml(1).
192
193
194
196 menhir was written by François Pottier and Yann Régis-Gianas.
197
198 This manual page was originally written by Samuel Mimram <smim‐
199 ram@debian.org> for the Debian project (but may be used by others).
200
201
202
203 July 03, 2018 MENHIR(1)