NuSMV最后make报错，求大牛帮忙

[dc老师]

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

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

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

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


$$ make
命令后报错如下：


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

[dc老师]

换成Ubuntu12.10 后编译成功

[shiter]

这个错误，应该是由配置不正确引起的。。。

[shiter]

我猜的 ，看看楼下大牛的说法

[dc老师]

引用 1 楼 wangyaninglm 的回复:

这个错误，应该是由配置不正确引起的。。。

求解释啊

[图灵狗]

我在Ubuntu12.04上测试没有问题，会不会是你的flex和bison没有安装。

引用 楼主 dengnanyi 的回复:

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

[dc老师]

那个在 $$ ./configure 的时候不装会报错，我试试Ubunut 12.04 吧 Thanks

引用 4 楼 turingo 的回复:

我在Ubuntu12.04上测试没有问题，会不会是你的flex和bison没有安装。 [quote=引用 楼主 dengnanyi 的回复:] NuSMV是一个基于linux的模型检测工具，小弟安装它出现了问题，求大牛帮帮忙。 这是在Ubuntu Server上安装的，我在此系统上安装成功过NuSMV。 系统里直接apt-get的g++包。 $$ ./configure 命令执行成功 截图如下： $$ make 命令后报错如下： 求大牛帮帮忙，看看怎么弄这个

[/quote]