Macos 在Mac上运行NuSMV

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

有什么帮助吗？

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

文件

CmakeLists.txt

包含在

…/NuSMV-/NuSMV

中

再次检查您是否在该路径中创建了

build

目录[如

README.txt

文件所要求的那样]，或者只需将

cmake

命令的参数设置为正确指向路径

…/NuSMV-/NuSMV

当然不需要编译NuSMV二进制文件，因此，我的结论是您下载了NuSMV的源文件包

文件

CmakeLists.txt

包含在

…/NuSMV-/NuSMV

中

---

再次检查您是否在该路径中创建了

build

目录[如

README.txt

文件所要求的那样]，或者只需将

cmake

命令的参数设置为正确指向路径

…/NuSMV-/NuSMV
是源代码而不是二进制文件。现在一切都正常了，但是我不能让NuSMV真正运行。你应该用新的错误更新你的问题，或者提出一个新的问题。我在这里做了，是的，源代码不是二进制文件。现在一切都正常了，但是我不能让NuSMV真正运行。你应该用新的错误更新你的问题，或者生成一个新的问题。我在这里已经完成了