make with multi-threaded fail

[boyang-zhang1]

Hi Sergey,

After using the Dockerfile to build and enter the docker, run activate.
When I run make default, it failed with:

...
[ 95%] Building CXX object tools/clang/tools/libclang/CMakeFiles/libclang.dir/Indexing.cpp.o
[ 95%] Building CXX object tools/clang/tools/libclang/CMakeFiles/libclang.dir/IndexingContext.cpp.o
Linking CXX shared library ../../../../lib/libclang.so
collect2: error: ld terminated with signal 9 [Killed]
make[3]: *** [lib/libclang.so.3.7] Error 1
make[3]: Leaving directory /angelix/build/llvm-3.7.0.src/build' make[2]: *** [tools/clang/tools/libclang/CMakeFiles/libclang.dir/all] Error 2 make[2]: Leaving directory /angelix/build/llvm-3.7.0.src/build'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/angelix/build/llvm-3.7.0.src/build'
make: *** [clang] Error 2

I run several times, but they failed not in the same position but all in 95%.

I delete the multi-threaded content in makefile

klee-uclibc: $(KLEE_UCLIBC_DIR)
	cd $(KLEE_UCLIBC_DIR) && ./configure --make-llvm-lib && make -j2

to

klee-uclibc: $(KLEE_UCLIBC_DIR)
	cd $(KLEE_UCLIBC_DIR) && ./configure --make-llvm-lib && make

It passed finally.
The similar issue came when I build the docker image, again failed at about 95%, so I have to delete the multi-threaded -j.
I don't know why multi-threaded make infects the results.

[mechtaev]

Hi Boyang,

Thank you for pointing this out. I will remove -j2 from the Dockerfile. I think the crash might be due to insufficient memory, because linking Clang uses quite a lot of memory.

Sergey