IntelligentSoftwareSystems/Galois

Compilation Problems

Steamgjk opened this issue · 2 comments

图片

I can successfully compile and run the tutorial examples.
However, when I try to compile the entire project with make -j, I encountered the failure.
It also makes the VM dead (Seems it hajacks my terminal and I cannot even open new terminals to kill it), and I have to reboot the VM to recover.

Anyone knows about the issue?

If you dont specify the number of jobs, make -j will create an infinite number of jobs when compile the code, which may exceed the memory limit, and you can try to use make -j8 (in my computer 8 is the number of threads) to reduce the number of jobs.

Thanks. @Sanzo00
It is really this case. My VM has 8 cores, and after I specified make -j4, I can successfully compile it.
For the previous failure, I think it may be related to resource insufficiency, so reducing parallel jobs can address it. (Maybe should add a reminder note in the ReadMe.md

图片