2022年3月10日
gnu make、Makefile知识整理
摘要： make是什么 make是一个编译工具，能够方便我们对大型程序进行自动化的编译管理。 make官网 https://www.gnu.org/software/make/ make资料 make的官方文档，搜索某个知识点细节的时候可以看看， https://www.gnu.org/software/m 阅读全文
posted @ 2022-03-10 16:25 zephyr~ 阅读(209) 评论(0) 推荐(0) 编辑