Ошибка установки средства проверки Bigraph Ошибка команды Makefile - PullRequest
0 голосов
/ 09 марта 2020

Я хотел установить инструмент проверки модели BigM C (https://github.com/AlessandroCaste/bigmc), но у меня есть следующие ошибки:

enter image description here

1 Ответ

1 голос
/ 09 марта 2020

Эта языковая конструкция доступна только начиная со стандарта C ++ 11, и кажется, что ваш код компилируется со старым стандартом. Причина root заключается в том, что автор не указал явно используемый им стандарт C ++, но значение по умолчанию изменилось с C ++ 98 на C ++ 14 в GCC6 . Автор использует более новую версию G CC, в то время как ваша система, кажется, имеет более старую версию.

Вы можете попробовать скомпилировать программное обеспечение, передав дополнительные флаги на шаге configure, т.е. ./configure CXXFLAGS=-std=c++11

Кстати. На будущее, пожалуйста, попробуйте скопировать и вставить свою ошибку как текст, , а не как изображение . Изображения недоступны для чтения, поиска и не позволяют копировать фрагменты текста.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...