这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 menhir，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
menhir - OCaml 的解析器生成器
概要
立石 [选项] 档
商品描述
立石 是一个 LR(1) 用于Objective Caml 编程语言的解析器生成器。 那是，
Menhir 编译 LR(1) 语法规范到Objective Caml 代码。 它主要是
与...兼容 卡姆利亚克（1）。
配置
-H， - 帮帮我
显示选项摘要。
-b, - 根据 基本名
指定输出文件的基本名称。
- 评论
在生成的代码中包含注释。
- 依靠
调用 ocamldep 并显示依赖项。
- 倾倒 描述自动机 基本名.自动机。
--错误恢复
通过在错误后丢弃令牌来尝试恢复。
- 解释
解释冲突 基本名.冲突。
--外部令牌 模块
从导入令牌类型定义 模块.
- 图形
将语法的依赖图写入 基本名。点。
- 推断
调用 ocamlc 进行提前类型推断。
- 解释
解释标准输入中提供的句子。
--解释-显示-cst
接受时显示具体的语法树。
-la， --日志自动机 水平
记录有关自动机的信息。
-lc， --日志代码 水平
有关生成的代码的日志信息。
-lg, --log-语法 水平
记录有关语法的信息。
--无内联
忽略 %inline 关键字。
--无标准库
不加载标准库。
--ocamlc 命令
指定应该如何调用 ocamlc。
--ocamldep 命令
指定应该如何调用 ocamldep。
--only-预处理
打印一个简化的语法并退出。
--仅令牌
仅生成令牌类型定义，无代码。
--原始依赖
调用 ocamldep 并回显其原始输出。
--标准库 目录
指定标准库所在的位置。
--建议补偿标志
为 ocaml{c,opt} 建议编译标志。
--建议链接标志字节
为 ocamlc 建议链接标志。
--建议链接标志选项
为 ocamlopt 建议链接标志。
-t, - 桌子
使用基于表的后端。
--计时
显示内部计时。
- 痕迹
在生成的代码中包含跟踪指令。
- 版
显示版本号并退出。
-v 同义词 - 倾倒 - 解释.
使用 onworks.net 服务在线使用 menhir