ubuntu - Bigram Model checker 安装报错 Makefile 命令问题

Question

我想安装模型检查器 BigMC 工具 (https://github.com/AlessandroCaste/bigmc)，但出现以下错误:

Answer 1

这种语言结构仅在 C++11 标准之后才可用，并且您的代码似乎使用较旧的标准进行编译。根本原因是作者没有明确说明他使用的C++标准，而是GCC6中默认的从C++98变成了C++14。 .作者一直在使用较新的 GCC，而您的系统似乎有较旧的版本。

您可以尝试通过在 configure 处传递附加标志来编译软件。步骤，即 ./configure CXXFLAGS=-std=c++11 .

顺便提一句。为了将来，请尝试将您的错误复制并粘贴为文本，not as an image .图像不可读、不可搜索，也不允许复制文本片段。