ubuntu 安装ninja https://blog.csdn.net/qiuguolu1108/article/details/103842556 https://blog.csdn.net/qq_36287943/article/details/105343192