码头安装Gambit

Question

我使用的对接版本的Gambit (全球和模块以外的标准模型推断工具)基本上是一个软件的码头平台。当我编译它时，我运行以下命令：

($ mkdir build

cd build 

cmake ..

make)

那我就错了

c++：内部编译器错误:终止(程序cc1plus)

(我已经附上了整个文件，并且没有像//usr/share/doc/gcc-6/README.Bugs这样的文件)

我想知道是否有人能在这个问题上帮助我。

​

​

Answer 1

默认情况下，在其中运行停靠程序的MobyVM具有2GB内存限制。有时候，这些编译需要相当数量的内存才能使用。

​

​

您应该尝试将内存增加到4GB或更高，然后再尝试您的docker语句。