我下载了用于mac的NuSMV源代码并使用README开始安装。但是，有一个步骤要求我使用＆＃c; cmake来构建。＆＃39;当我运行时，我得到问题源目录似乎不包含CMakeLists.txt。
请帮忙吗？
答案 0 :(得分：1)
NuSMV 二进制文件当然不需要编译，因此我总结说您下载了 NuSMV的来源包< / em>的
CmakeLists.txt中包含{/ 1}} 文件。
再次检查您在此类路径中创建..../NuSMV-<version>/NuSMV目录 [由于build文件要求您执行此操作] ，或者只需设置{{1}的参数}}命令正确指向路径README.txt。