在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）

我想知道是否有人可以幫我解決這個問題。

2017-08-31 ShS

我已經改進的格式和嵌入圖像（爲了更好的可讀性） –

的MobyVM在泊塢窗運行默認擁有2GB內存限制。有些時候這些編譯需要的內存體面的數額可用

你應該嘗試增加內存到4GB甚至更高，然後再次嘗試您的碼頭工人跑聲明

2017-09-01 06:20:05

回答