Я установил NuSMV с помощью предоставленного файла readme, однако, когда я пытаюсь использовать команду NuSMV, я получаю следующее сообщение: -bash: NuSMV: команда не найдена
В интернете мало информации по этому поводу, буду признателен за любую помощь.
Перейдя в мой домашний каталог, создав новый профиль bash и добавив в каталог bin исполняемый файл NuSMV, все заработало нормально.
Как заставить его работать на MacOSX
попал по этой ссылке: http://nusmv.fbk.eu/
click
NuSMV 2.6.0 ВЫШЕЛ!
Выберите: исполняемые файлы NuSMV изображение
Заполните данные и зарегистрируйтесь: вы сможете скачать zip-файл, распаковать его и скопировать куда угодно. Теперь нам нужно задать путь.
Откройте терминал и сделайте что-то вроде этого: Добавьте каталог /opt/nusmv-X.Y.Z/bin в переменную окружения PATH для поиска команды. Например. для оболочки bash:
% экспорта PATH=${PATH}:/opt/nusmv-X.Y.Z/bin
установите переменную среды NUSMV_LIBRARY_PATH. Например. для оболочки bash:
% экспорта NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/доля/nusmv
Теперь вы готовы запустить и наслаждаться NuSMV.
% NuSMV -int # для запуска интерактивного режима
bin, включая исполняемый файл NuSMV, который вы только что создали, к переменнойPATHи экспортировать его? - person Patrick Trentin schedule 16.04.2016PATH- person Patrick Trentin schedule 16.04.2016