这是命令 mcrl2compilerewriter，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
mcrl2compilerewriter - 为 mCRL2 工具编译重写器
概要
mcrl2编译器 文件
商品描述
此脚本是为 mCRL2 编译重写器库的默认脚本。 它编译
INFILE 中的源文件。 输出由换行符分隔的文件列表组成。 这
列表中的最后一个文件被视为编译器库，并且必须是有效的可执行文件。
调用此脚本的 mCRL2 工具会删除输出中列出的所有文件，一次
不再需要图书馆。
要更改编译行为，请执行以下步骤：
- 创建一个新脚本（可能基于原始脚本）
- 让 MCRL2_COMPILE_REWRITER 环境变量指向新脚本。
使用 onworks.net 服务在线使用 mcrl2compilerewriter
