本文介绍了在Mac上运行NuSMV的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

我下载了Mac的NuSMV源代码,并开始使用README安装。但是,有一个步骤要求我在运行时使用 cmake ..进行构建,但出现问题源目录似乎不包含CMakeLists.txt。

I downloaded NuSMV source code for mac and started installing using the README. However, there is a step which asks me to build using 'cmake..' when I run that I get the issue The source directory does not appear to contain CMakeLists.txt.

请帮忙吗?

推荐答案

NuSMV 二进制文件当然可以不需要编译,因此我得出结论,您下载了 NuSMV sources 软件包。

The NuSMV binaries certainly do not need to be compiled, so I conclude that you downloaded the sources package of NuSMV.

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

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

Check again that you created the build directory within such path [as the README.txt file asks you to do], or simply set the argument of the cmake <path> command to correctly point to the path ..../NuSMV-<version>/NuSMV.

这篇关于在Mac上运行NuSMV的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!

08-28 18:52