欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Make
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Make Thanks, Wikipedia. |
make是一个自动转化文件形式的工具,转换的目标称为“target”;与此同时,它也检查文件的依赖关系,如果需要的话,它会调用一些外部软件来完成任务。
分享您的观点