zhaowq

[make.log](https://github.com/msoos/cryptominisat/files/8889390/make.log) [Cmake.log](https://github.com/msoos/cryptominisat/files/8889392/Cmake.log) [Command.log](https://github.com/msoos/cryptominisat/files/8889393/Command.log) Command.log lists what I typed.

Hi, I build and install the project successfully now after your modification. Thank you for your reply.