NuSMV最后make报错，求大牛帮忙NuSMV是一个基于linux的模型检测工具，小弟安装它出现了问题，求大牛帮帮忙。这是在Ubuntu Server上安装的，我在此系统上安装成功过NuSMV。系统里直接apt-get的g++包。$$ ./configure 命令执行成功截图如下：$$ make命令后报错如下：求大牛帮帮忙，看看怎么弄这个 $$ make命令后报错如下：求大牛帮帮忙，看看怎么弄这个
