cygwin环境安装NuSMV

安装NuSMV的过程参见另一篇安装过程,本文记录安装中出现的错误及解决方案

  1. 安装供下载MiniSat依赖的patch指令
apt-cyg install patch
  1. 安装readline
apt-cyg install libreadline7 libreadline-devel

如果安装后在NuSMV中cmake时仍然报错,则在github上下载readline进行安装(官网下载的安装时缺少依赖,暂不知原因)
3. readline安装包进行安装

解压后文件夹为readline-master
./configure
make
make install

如果make时报cannot find -ltermcap的错,则安装依赖的libncureses

apt-cyg install libncureses-devel libncursesw-devel libncursesw10

发表评论