macos - 在 Mac 上运行 NuSMV

Question

我下载了适用于 mac 的 NuSMV 源代码并开始使用自述文件进行安装。但是，有一个步骤要求我在运行时使用“cmake ..”进行构建，但我遇到了问题源目录似乎不包含 CMakeLists.txt。

请问有什么帮助吗？

Answer 1

NuSMV二进制 文件当然不需要编译，所以我断定您下载了NuSMV的源包。

该文件包含CmakeLists.txt 在..../NuSMV-<version>/NuSMV.

再次检查您是否build在此类路径中创建了目录[如README.txt文件要求您执行的那样]，或者只是将cmake <path>命令的参数设置为正确指向路径..../NuSMV-<version>/NuSMV。