#gcc #mingw #spin #activetcl
Вопрос:
Я хочу использовать SPIN model checker в Windows 10 (64-разрядная версия), и я следовал инструкциям на веб-сайте spin:
- Я установил MinGW и gcc, обновил путь и проверил в командной строке, что он показывает версию 6.3.0
- Я установил обновленный путь ActiveTcl, обновленный путь с iSpin тоже, я могу открыть iSpin
когда я пытаюсь скомпилировать предварительно включенный пример файла leader.pml, я получаю эту ошибку:
spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "leader.pml" > "pan.pre"
gcc: error: unrecognized command line option '-Wformat-overflow=0'; did you mean '-Wstrict-overflow='?
Я не понимаю ошибки, кто-нибудь знает, чего не хватает?
Ответ №1:
Ошибка точно указывает, в чем проблема: -Wformat-overflow=0
не распознан параметр командной строки.
Не то чтобы вы использовали MinGW GCC 6.3.0, который очень старый.
Рассмотрите возможность использования MinGW-w64, который появился гораздо позже. В настоящее время GCC 11.2.0 является последней версией. Вы можете найти автономную сборку по адресу https://winlibs.com/
Поэтому, пожалуйста, попробуйте использовать более новый GCC. Если это все еще не работает, запустите gcc --help -v
, чтобы просмотреть все параметры командной строки.