运行 Mac 上的 NuSMV
Running NuSMV on Mac
我下载了 mac 的 NuSMV 源代码并开始使用 README 安装。但是，有一个步骤要求我使用 'cmake..' 进行构建，当我 运行 出现问题时源目录似乎不包含 CMakeLists.txt.
有什么帮助吗？
NuSMV binaries当然不需要编译，所以我断定你下载了sources NuSMV.
包
文件 CmakeLists.txt 是 包含在 ..../NuSMV-<version>/NuSMV 中。
再次检查您是否在 [按照 README.txt 文件要求您做的] 路径中创建了 build 目录，或者简单地设置参数cmake <path> 命令正确指向路径 ..../NuSMV-<version>/NuSMV.
我下载了 mac 的 NuSMV 源代码并开始使用 README 安装。但是，有一个步骤要求我使用 'cmake..' 进行构建，当我 运行 出现问题时源目录似乎不包含 CMakeLists.txt.
有什么帮助吗？
NuSMV binaries当然不需要编译，所以我断定你下载了sources NuSMV.
包文件 CmakeLists.txt 是 包含在 ..../NuSMV-<version>/NuSMV 中。
再次检查您是否在 [按照 README.txt 文件要求您做的] 路径中创建了 build 目录，或者简单地设置参数cmake <path> 命令正确指向路径 ..../NuSMV-<version>/NuSMV.