verdi 编译选项

Verdi 是一个用于验证分布式系统的工具，它是基于 Coq 定理证明助手构建的。在使用 Verdi 进行编译时，可以使用以下选项：

1. `-I <dir>`：指定 Coq 源文件的搜索路径。
2. `-R <dir> <name>`：将 `dir` 添加到 Coq 资源路径中，`name` 是 `dir` 的别名。
3. `-Q <dir> <name>`：将 `dir` 添加到 Coq 资源路径中，`name` 是 `dir` 的别名，并且在 Coq 中将其视为一个命名空间。
4. `-vos <file>`：指定要编译的 `.v` 文件，生成 `.vo` 文件。
5. `-Q -R -I` 选项可以多次使用，以添加多个搜索路径。

这些选项可以根据具体的项目需求进行调整和配置。请注意，Verdi 的编译选项与 Coq 的编译选项类似，因为 Verdi 是基于 Coq 构建的。