从源代码构建 NuSMV 2.6，在 ubuntu 上创建实用程序

Question

我正在尝试使用 cmake 实用程序在 Ubuntu 17.04 上构建 NuSMV。

使用 cmake 工具创建 make 文件，但是当我尝试使用 make 实用程序时出现错误

 Error 1
CMakeFiles/Makefile2:824: recipe for target 'build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/all' failed
make[1]: *** [build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/all] Error 2
Makefile:162: recipe for target 'all' failed
make: *** [all] Error 2

任何人都可以请帮忙。如何解决

Answer 1

如果问题的详细信息是这样的

\n\n

NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c:46:16: error: storage size of \xe2\x80\x98status\xe2\x80\x99 isn\xe2\x80\x99t known union wait status;\n

\n\n

您可以打开 pipelinefork.c 并尝试将第 43 行更改为

\n\n

#if (defined __linux__) || (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__)\n

\n