Вращение: gcc-6: опция непризнанной командной строки

#gcc #mingw #spin #activetcl Вопрос: Я хочу использовать SPIN model checker в Windows 10 (64-разрядная версия), и я следовал инструкциям на веб-сайте spin: Я установил MinGW и gcc, обновил путь…