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

我正在尝试使用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

---

谁能帮忙吗。如果问题的详细信息是

NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c:46:16: error: storage size of ‘status’ isn’t known union wait status;

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

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