我正在尝试使用 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
任何人都可以请帮忙。如何解决