在 OSX 上运行 NuSMV答案

【问题标题】：Running NuSMV on OSX在 OSX 上运行 NuSMV
【发布时间】：2016-04-16 10:30:07
【问题描述】：

我已经使用提供的自述文件安装了 NuSMV，但是当我尝试使用 NuSMV 命令时，我收到以下消息： -bash: NuSMV: 找不到命令

互联网上没有太多关于此的信息，所以我很感激任何帮助

【问题讨论】：

您是否尝试将包含您刚刚构建的 NuSMV 可执行文件的bin 目录附加到PATH 变量并导出？
这是我做的最后一步 % export NUSMV_LIBRARY_PATH=[...]//NuSMV/share/nusmv 我确实有一个包含 NuSMV 可执行文件的 bin 目录
我的意思是PATH变量
是的，我已经包含了这个，export PATH="$HOME/nusmv/NuSMV-2.6.0/NuSMV/build/bin:$PATH"

【解决方案1】：

转到我的主目录，创建一个新的 bash 配置文件并在 bin 目录中附加 NuSMV 可执行文件，使其工作正常。

【讨论】：

【解决方案2】：

如何让它在 MacOSX 上运行

点击
NuSMV 2.6.0 已发布！

选择：NuSMV 二进制文件 image

填写详细信息并注册：您将能够下载一个 zip 文件，将其解压缩并复制到您想要的任何位置。现在我们需要设置路径。

打开终端并执行以下操作：将目录 /opt/nusmv-X.Y.Z/bin 添加到您的命令中搜索 PATH 环境变量。例如。对于 bash 外壳：

% export PATH=${PATH}:/opt/nusmv-X.Y.Z/bin

设置 NUSMV_LIBRARY_PATH 环境变量。例如。对于 bash 外壳：

% 导出 NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/share/nusmv

现在您已准备好运行并享受 NuSMV。

% NuSMV -int # 运行交互模式

【讨论】：