如何从源代码编译 NuSMV 2.6.0

编程问答 2022-05-27

问题描述

我正在尝试从源代码编译软件 nusmv 2.6.0。

cd nusmv-2.6.0/nusmv/
mkdir build
cd build
cmake ..
make

但我收到以下错误：

[ 16%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/getopt.c.o
[ 16%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/safe_mem.c.o
[ 16%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/strsav.c.o
[ 16%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/texpand.c.o
[ 17%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/ptime.c.o
[ 17%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/prtime.c.o
[ 17%] Building C object build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/pipefork.c.o
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c: In function ‘util_pipefork’:
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:46:16: error: storage size of ‘status’ isn’t kNown
   46 |     union wait status;
      |                ^~~~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:53:12: warning: implicit declaration of function ‘pipe’ [-Wimplicit-function-declaration]
   53 |     (void) pipe(topipe);
      |            ^~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:59:20: warning: implicit declaration of function ‘vfork’ [-Wimplicit-function-declaration]
   59 |     if ((forkpid = vfork()) == 0) {
      |                    ^~~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:62:9: warning: implicit declaration of function ‘dup2’ [-Wimplicit-function-declaration]
   62 |  (void) dup2(topipe[0],fileno(stdin));
      |         ^~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:65:9: warning: implicit declaration of function ‘close’; did you mean ‘pclose’? [-Wimplicit-function-declaration]
   65 |  (void) close(topipe[0]);
      |         ^~~~~
      |         pclose
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:70:9: warning: implicit declaration of function ‘execvp’ [-Wimplicit-function-declaration]
   70 |  (void) execvp(argv[0],argv);
      |         ^~~~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:73:9: warning: implicit declaration of function ‘_exit’ [-Wimplicit-function-declaration]
   73 |  (void) _exit(1);
      |         ^~~~~
nusmv-a/nusmv-2.6.0/cudd-2.4.1.1/util/pipefork.c:73:9: warning: incompatible implicit declaration of built-in function ‘_exit’
make[2]: *** [build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/build.make:167: build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/pipefork.c.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:2174: build-cudd/util/CMakeFiles/cudd_UTIL_LIB.dir/all] Error 2

我使用的是 Ubuntu 20.04 LTS。我不知道我能做些什么来解决这个问题。它曾经有效。

有人可以帮忙吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

gccgccmakefilemakefilenusmv