在Docker上在终端上安装Gambit
问题描述：
我使用Docker版本的Gambit（全球和模块化超越标准模型推理工具），基本上是Docker平台上的一个软件。而我与OS X塞拉利昂的工作，当我编译它，我运行以下命令：在Docker上在终端上安装Gambit
($ mkdir build
cd build
cmake ..
make)
然后我得到错误
c++: internal compiler error: Killed (program cc1plus)
（我已经连接了整个事情，并有是没有这样的文件//usr/share/doc/gcc-6/README.Bugs）
我想知道是否有人可以帮我解决这个问题。
答
的MobyVM在泊坞窗运行默认拥有2GB内存限制。有些时候这些编译需要的内存体面的数额可用
你应该尝试增加内存到4GB甚至更高，然后再次尝试您的码头工人跑声明
我已经改进的格式和嵌入图像（为了更好的可读性） –