各位大佬,不管用哪个分支,使用lean源码编译报错,已经试了N遍了,都是同样问题,环境也重置N次了,依旧报错,请问怎么解决? [](https://imgtu.com/i/oUXDL8)