Commit b47047c8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 7ff5baa3
......@@ -290,6 +290,9 @@ let cmly =
let coq_lib_path =
ref (Some "MenhirLib")
(* When new command line options are added, please update both the manual
in [doc/manual.tex] and the man page in [doc/menhir.1]. *)
let options = Arg.align [
"--base", Arg.Set_string base, "<basename> Specifies a base name for the output file(s)";
"--canonical", Arg.Unit (fun () -> construction_mode := ModeCanonical), " Construct a canonical Knuth LR(1) automaton";
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment