NuSMV最后make报错，求大牛帮忙
NuSMV是一个基于linux的模型检测工具，小弟安装它出现了问题，求大牛帮帮忙。
这是在Ubuntu Server上安装的，我在此系统上安装成功过NuSMV。
系统里直接apt-get的g++包。
$$ ./configure
命令执行成功
截图如下：
$$ make
命令后报错如下：
求大牛帮帮忙，看看怎么弄这个
[解决办法]
这个错误，应该是由配置不正确引起的。。。
[解决办法]
我在Ubuntu12.04上测试没有问题，会不会是你的flex和bison没有安装。
