NuSMV最后make报错，求大牛帮忙
NuSMV是一个基于linux的模型检测工具，小弟安装它出现了问题，求大牛帮帮忙。

这是在Ubuntu Server上安装的，我在此系统上安装成功过NuSMV。

系统里直接apt-get的g++包。

$$ ./configure
命令执行成功
截图如下：


$$ make
命令后报错如下：


求大牛帮帮忙，看看怎么弄这个

$$ make
命令后报错如下：


求大牛帮帮忙，看看怎么弄这个