在Docker上的terminal上安装Gambit

我使用Docker版本的Gambit（全球和模块化超越标准模型推理工具），基本上是Docker平台上的一个软件。 而且我正在使用OS X Sierra，当我编译它时，我运行以下命令：

($ mkdir build cd build cmake .. make) 

那么我得到错误

c ++：内部编译错误：杀死（程序cc1plus）

（我已经附加了整个东西，并没有像//usr/share/doc/gcc-6/README.Bugs这样的文件）

我想知道是否有人可以帮助我解决这个问题。

Answer 1

Docker运行的MobyVM默认有2GB的内存限制。 有时这些汇编需要大量的内存才能使用

您应该尝试将内存增加到4GB甚至更高，然后再次尝试您的docker运行语句