来源自我的博客
http://www.yingzinanfei.com/2017/02/01/cygwinhuanjinganzhuangnusmv/
安装NuSMV的过程参见另一篇安装过程,本文记录安装中出现的错误及解决方案
- 安装供下载MiniSat依赖的patch指令
apt-cyg install patch
- 安装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