文章/答案/技术大牛

发布

问在Mac上运行NuSMV
EN

Stack Overflow用户

提问于 2016-04-15 22:25:57

回答 1查看 1.4K关注 0票数 1

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

有什么帮助吗？

回答已采纳

发布于 2016-04-16 07:45:27

NuSMV 二进制文件当然不需要编译，所以我的结论是您下载了NuSMV的源代码包。

文件CmakeLists.txt 是包含在..../NuSMV-<version>/NuSMV中的。

再次检查您是否在这样的路径中创建了build目录(正如README.txt文件所要求的那样)，或者简单地设置cmake <path>命令的参数以正确指向path ..../NuSMV-<version>/NuSMV。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/36657806

复制

相似问题

问在Mac上运行NuSMVEN