Я скачал исходный код NuSMV для Mac и начал установку с помощью README. Тем не менее, есть шаг, который просит меня выполнить сборку с использованием «cmake..», когда я запускаю эту проблему. Исходный каталог не содержит CMakeLists.txt.
Любая помощь, пожалуйста?
NuSMV двоичные файлы, конечно, не нужно компилировать, поэтому я делаю вывод, что вы загрузили пакет исходников NuSMV .
Файл CmakeLists.txt находится в папке ..../NuSMV-<version>/NuSMV.
Еще раз проверьте, создали ли вы каталог build по такому пути [как просит вас сделать файл README.txt], или просто установите аргумент команды cmake <path> так, чтобы он правильно указывал на путь ..../NuSMV-<version>/NuSMV.
