报错如下：

    Compiling : bm::dc.cpp

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

Please submit a full bug report,

with preprocessed source if appropriate.

See <file:///usr/share/doc/gcc-4.8/README.Bugs> for instructions.

make: *** [/home/wasdns/p4factory/targets/switch/build//bm/obj/dc.o] Error 4

这种类型的错误：

make: *** [···/xx.o] Error 4

一般是由于你对虚拟机的RAM内存分配不足。解决方法一个是关闭虚拟机，然后修改其分配的内存；另一个是换一台配置好些的机子。

在p4lang的Github中也有人遇到过这种问题，下面贴出链接。

参考：Problem on building the docker image

The build process can run for pretty long, especially if you don't have much memory. You can speed things up by assigning more resources to your VM.

2016/12/25