DockerのターミナルにGambitをインストール

Question

私はGockitのドッカーバージョン（The Global and Modular Beyond-the-Standard-Model Inference Tool）を基本的にドッカープラットフォームのソフトウェアとして使用しています。そして、私はOS Xシエラでの作業、そしてときに私はそれをコンパイルし、私は、次のコマンドを実行しています：

($ mkdir build 

cd build 

cmake .. 

make) 

が、私はエラー

c++: internal compiler error: Killed (program cc1plus)

（私は全部を取り付けられており、そこにきます//usr/share/doc/gcc-6/README.Bugsのようなファイルはありません）

私は誰でもこの問題を手伝うことができますか？

Answer 1

実行をドッカーするMobyVMはデフォルトで2GBのメモリ制限があります。いつかこれらのコンパイルが利用できるようにメモリのまともな量を必要と

あなたがしようとすると4ギガバイトのメモリを増やすか、さらに高いし、私は書式設定を改善し、埋め込まれている再び