собрать NuSMV 2.6 из исходников, сделать утилиту на ubuntu

Я пытаюсь собрать NuSMV на Ubuntu 17.04, используя утилиту cmake.

Использовал инструмент 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

Кто-нибудь может помочь. Как это решить


ubuntu nusmv
person Sharjeel Ahmed    schedule 10.10.2017    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Если подробная информация о проблеме похожа на

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__)
person William    schedule 21.02.2019