构建系统解决的是“为了得到这个产物,哪些输入必须先准备好,什么变化要求重做哪些步骤”。写出一条能编译的命令只是起点;增量构建、并行和依赖传播是否正确,取决于图是否完整。
Make 根据规则与文件状态执行任务。CMake 和 Meson 通常先配置、生成后端构建描述,再交给 Ninja、Make 等执行器。不能把 CMake 的配置阶段时间直接与 Ninja 的编译时间比较,得出某种语言天生构建更慢。
同一个最小项目
以下三个方案分别构建同一组文件,源码位于项目根目录:
#ifndef DEMO_LIB_H
#define DEMO_LIB_H
int twice ( int x ) ;
#endif
#include " lib.h"
int twice ( int x ) { return x * 2 ; }
#include " lib.h"
int main ( void ) { return twice ( 21 ) == 42 ? 0 : 1 ; }
增量构建依据依赖图:公共头文件变化影响两次编译
lib.h
main.c
lib.c
main.o
lib.o
libdemo.a
prog
main.o 与 lib.o 可并行;链接需要 main.o 和更新后的静态库都已完成。
修改 lib.c 应重新构建库并链接;修改公共头文件 lib.h 应让两个使用者重新编译。无修改再构建,应该没有不必要的编译动作。遗漏这条头文件依赖可能造成旧声明与新库混用,仅“全量构建成功”发现不了这个问题。
GNU Make:规则、变量与自动依赖
保存为 Makefile。下面配方行的第一个字符是实际 Tab,不能换成普通空格:
.DEFAULT_GOAL := all
CC ?= cc
AR ?= ar
CFLAGS ?= -O2 -g -Wall -Wextra
CPPFLAGS ?=
LDFLAGS ?=
LDLIBS ?=
OBJS := main.o lib.o
.PHONY : all clean
all : prog
prog : main.o libdemo.a
$( CC) $( LDFLAGS) -o $@ $^ $( LDLIBS)
libdemo.a : lib.o
$( AR) rcs $@ $^
% .o: % .c Makefile
$( CC) $( CPPFLAGS) $( CFLAGS) -MMD - MP - MF $( @: .o= .d) - MT $@ - c $< - o $@
-include $( OBJS: .o= .d)
clean :
$( RM) $( OBJS) $( OBJS: .o= .d) libdemo.a prog
这里 $@ 是目标,$< 是第一个前置依赖,$^ 是去重后的前置依赖列表。库参数放在引用它的对象之后,是传统静态库提取规则下常见的正确顺序。
CPPFLAGS 放预处理参数,CFLAGS 放 C 编译参数,LDFLAGS 放链接选项,LDLIBS 放 -lm 等库依赖。分类使调用者能覆盖其中一类而不误伤另一阶段。
编译时顺带生成每个对象的 .d,-MMD 通常省略系统头依赖,-MP 为头文件生成辅助空规则,-include 允许第一次尚无 .d。Make 读取生成的文件后才能知道间接 include 关系。GNU Make 自动前置依赖
make - j4
./prog
make
Make 主要依据时间戳和依赖判断是否更新,默认不记录“命令行参数变了”。本例把 Makefile 本身作为对象依赖,编辑文件会重编译,但命令行改 CFLAGS 仍不会自动让旧对象失效;实际项目可用配置签名、分构建目录,或在切换配置时清理。
生成头文件还必须明确依赖生成动作;首次构建前没有 .d 时,仅靠自动扫描不能保证生成器先运行。输出目录一般适合作为 order-only 前置条件,避免目录时间戳变化触发不必要的重编译。
CMake:target 携带使用需求
保存为 CMakeLists.txt:
cmake_minimum_required(VERSION 3.16)
project(demo VERSION 1.0 LANGUAGES C)
add_library(demo STATIC lib.c)
target_include_directories(demo PUBLIC "${CMAKE_CURRENT_SOURCE_DIR}")
target_compile_features(demo PUBLIC c_std_11)
add_executable(prog main.c)
target_link_libraries(prog PRIVATE demo)
cmake - S . - B build-cmake - G Ninja - DCMAKE_BUILD_TYPE= Release \
- DCMAKE_EXPORT_COMPILE_COMMANDS= ON
cmake -- build build-cmake -- parallel 4
./build-cmake/prog
PUBLIC 表示构建 demo 自己和使用 demo 的目标都需要该属性;PRIVATE 只服务于目标自身,INTERFACE 只传给使用者。头文件若公开依赖某个类型、编译定义或语言特性,就要考虑相应使用需求是否应传播。CMake 构建系统
静态库的“实现依赖不公开”不等于最终链接永远不需要它;构建系统会按目标种类处理链接依赖传播。应使用目标关系,不要把 include 路径、库名和全局 flags 到处复制。
CMAKE_BUILD_TYPE 适用于示例的单配置生成器。多配置生成器通常在构建时通过 --config Release 选择,不能把两种模型混用。编译数据库记录实际编译命令,适合 clangd 等工具,见 LSP 与语言服务器 。
Meson:显式声明目标与依赖对象
保存为 meson.build:
project('demo', 'c', version: '1.0',
default_options: ['c_std=c11', 'warning_level=2'])
inc = include_directories('.')
lib = static_library('demo', 'lib.c', include_directories: inc)
demo_dep = declare_dependency(link_with: lib, include_directories: inc)
executable('prog', 'main.c', dependencies: demo_dep)
meson setup build-meson -- buildtype= release
meson compile - C build-meson - j 4
./build-meson/prog
用 dependency 对象把链接库和 include 要求一起传递,避免消费者遗漏其中一项。优化与调试策略通常用 buildtype 或选项表达,不必把 -O2 硬编码到每个目标的 c_args,尤其要兼顾不同编译器。Meson 目标 、Meson 依赖
已经 setup 的目录可以 reconfigure;更换编译器、交叉配置等关键环境时,独立构建目录有助于避免缓存混用。配置是否自动下载某些 fallback 依赖由项目和选项决定,不应把 dependency() 一律理解成包管理器安装命令。
增加生成头文件,验证完整的构建图
将 factor.txt 写为整数 2,新增下面的 generate.py。它只接受 1–100,避免把任意输入直接拼入 C 源码;输出放在命令指定的位置。
from pathlib import Path
import sys
source , output = map ( Path , sys . argv [ 1 : ] )
factor = int ( source . read_text ( ) . strip ( ) )
if not 1 <= factor <= 100 :
raise SystemExit ( " factor must be in 1..100" )
output . write_text ( f " #define DEMO_FACTOR { factor } \n " )
将 lib.c 与 main.c 分别替换为以下内容,lib.h 保持前面的声明。twice 沿用原函数名,但实际倍数现在由配置控制;例子仅以 21 调用,范围不会导致 int 溢出。
#include " lib.h"
#include " generated.h"
int twice ( int x ) { return x * DEMO_FACTOR; }
#include " lib.h"
#include " generated.h"
int main ( void ) { return twice ( 21 ) == 21 * DEMO_FACTOR ? 0 : 1 ; }
生成头文件是编译输入,首次构建也必须有依赖边
factor.txt + generate.py
数据变化或生成器变化
generated.h
先由唯一生成规则产生
编译 lib.c
读取 DEMO_FACTOR
编译 main.c
同样读取 DEMO_FACTOR
编译器生成 .d 发生在编译时;缺失的头文件不能靠尚不存在的 .d 提前生成。
Make 显式声明首次构建依赖
在前面的 Makefile 追加下面规则,并在 clean 配方的删除列表中加入 generated.h:
PYTHON ?= python3
main.o lib.o : generated.h
generated.h : factor.txt generate.py
$( PYTHON) generate.py factor.txt $@
两个对象都要依赖 generated.h,不能只让最终 prog 依赖它,否则并行构建可能先开始编译缺少头文件的源码。这里生成头文件是普通前置依赖:它改变后应重编译使用者。若误写成 order-only,就只保证先后顺序,不由此表达内容变化的重编译要求。
第一次成功编译后 .d 会进一步记录实际 include 关系,但首次构建的生成规则仍需要手工建边。生成多个输出时也要让它们归属于同一正确规则,避免多个任务同时写同一文件。
CMake 用唯一生成目标连接多个消费者
将以下片段加入已有 CMakeLists.txt,放在 demo 与 prog 都定义之后:
find_package(Python3 REQUIRED COMPONENTS Interpreter)
set(generated_header "${CMAKE_CURRENT_BINARY_DIR}/generated.h")
add_custom_command(
OUTPUT "${generated_header}"
COMMAND "${Python3_EXECUTABLE}"
"${CMAKE_CURRENT_SOURCE_DIR}/generate.py"
"${CMAKE_CURRENT_SOURCE_DIR}/factor.txt"
"${generated_header}"
DEPENDS generate.py factor.txt
VERBATIM)
add_custom_target(generate_header DEPENDS "${generated_header}")
add_dependencies(demo generate_header)
add_dependencies(prog generate_header)
target_include_directories(demo PUBLIC "${CMAKE_CURRENT_BINARY_DIR}")
自定义命令拥有文件输出,公共生成目标保证两个消费者都在生成完成后编译;头文件内容变化后的细粒度重编译还由编译依赖扫描完成。VERBATIM 帮助正确传递路径参数,避免手工拼接 shell 引号。若生成器还产生必要副产物,应在适用版本下用 BYPRODUCTS 声明,不能把 Ninja 需要的输入藏在命令内部。CMake 自定义输出
Meson 把生成目标放入使用方的源列表
此步骤将原 meson.build 替换为:
project('demo', 'c', version: '1.0',
default_options: ['c_std=c11', 'warning_level=2'])
python = import('python').find_installation('python3')
header = custom_target('generate_header',
input: 'factor.txt', output: 'generated.h',
command: [python, files('generate.py'), '@INPUT@', '@OUTPUT@'])
inc = include_directories('.')
lib = static_library('demo', ['lib.c', header], include_directories: inc)
demo_dep = declare_dependency(link_with: lib, include_directories: inc)
executable('prog', ['main.c', header], dependencies: demo_dep)
这里 include_directories('.') 包括对应的源码与构建目录,消费者源列表中的 header 表达生成顺序。generate.py 作为文件对象参与命令,数据 factor.txt 是显式输入,两者变化都能进入构建判断。不能只写一个指向未来生成目录的 include 路径,就期待构建系统推断生产者是谁。Meson 生成源码
用四种变化检查三套构建方案
三套实验建议分别使用独立的源码副本:Make 在源码目录生成 generated.h,而 CMake/Meson 在各自构建目录生成。若混用同一源码目录,C 的引号 include 可能优先找到 Make 遗留的头文件,使另一套构建使用了错误的生成结果。
变化 预期动作 发现的问题
全新目录、并行构建 先生成,再编译两个对象,再链接 首次依赖缺失
无任何修改再次构建 没有生成或编译动作 无条件运行导致无效工作
factor.txt 从 2 改为 3 重新生成、重编译使用方、重新链接 只表达先后而没表达变化
删除 generated.h 自动重建输出并恢复成功构建 输出未登记或依赖缓存掩盖问题
生成器本例每次真正执行都会更新时间戳,便于理解传播。如果采用“内容不变就不重写”来减少后续编译,Make 中还要处理输入比输出新的情况,避免每次都重新运行生成器;可以按项目需求设计 stamp 与真实输出的关系,不能只修改 Python 写入逻辑就认为增量行为已经完整。
少一条边,哪些产物会悄悄变旧?
生成头文件的内容变化需要分别使 main.o 和 lib.o 失效。删掉通往 main.o 的边,即使链接仍被另一条路径触发,main.o 也可能沿用旧宏值,形成混合版本产物。全新构建还需要这些边保证生成先于编译;增量正确与首次并行正确应分别验证。
正在呈现知识画面 重新加载
少一条边,哪些产物会悄悄变旧? 构建图需要从变化输入传递到所有消费者。只让最终程序依赖生成头文件,不能代替对象文件的编译依赖。
{"id":"build-dependency-propagation","title":"少一条边,哪些产物会悄悄变旧?","summary":"构建图需要从变化输入传递到所有消费者。只让最终程序依赖生成头文件,不能代替对象文件的编译依赖。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"presets\" role=\"group\" data-i18n-label=\"input\"><button data-mode=\"factor\" data-i18n=\"factor\"></button><button data-mode=\"main\" data-i18n=\"main\"></button><button data-mode=\"lib\" data-i18n=\"lib\"></button></div><label class=\"check\"><input type=\"checkbox\" id=\"omit\"><span data-i18n=\"omit\"></span></label><svg id=\"dag\" class=\"diagram\" viewBox=\"0 0 360 245\" role=\"img\" data-i18n-label=\"heading\"></svg><div class=\"metrics\"><div><span data-i18n=\"required\"></span><strong id=\"required\"></strong></div><div><span data-i18n=\"scheduled\"></span><strong id=\"scheduled\"></strong></div><div><span data-i18n=\"stale\"></span><strong id=\"stale\"></strong></div></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 var(--viz-font-mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px var(--viz-font-ui)}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 var(--viz-font-mono);white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:var(--viz-font-ui)}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px var(--viz-font-ui);padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui);overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n.metrics strong{font-size:17px}.diagram text{font-size:10px}","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}let changed='factor';function draw(){pressed(changed);const omit=$('#omit').checked,truth=changed==='factor'?['main.o','lib.o']:[changed+'.o'],actual=truth.filter(n=>!(changed==='factor'&&omit&&n==='main.o')),miss=truth.filter(n=>!actual.includes(n));set('required',truth.join(', '));set('scheduled',actual.join(', '));set('stale',miss.join(', ')||'∅');$('#stale').dataset.items=JSON.stringify(miss);const nodes=[['factor.txt',180,20],['generated.h',180,80],['main.c',45,80],['lib.c',315,80],['main.o',90,150],['lib.o',270,150],['prog',180,220]],edges=[[0,1],[1,4],[1,5],[2,4],[3,5],[4,6],[5,6]],active=new Set(changed==='factor'?[0,1,...(omit?[5,6]:[4,5,6])]:changed==='main'?[2,4,6]:[3,5,6]);$('#dag').innerHTML=edges.map(([a,b])=>'<line x1=\"'+nodes[a][1]+'\" y1=\"'+(nodes[a][2]+12)+'\" x2=\"'+nodes[b][1]+'\" y2=\"'+(nodes[b][2]-12)+'\" stroke=\"'+(a===1&&b===4&&omit?'var(--second)':'var(--rule)')+'\" stroke-width=\"2\"'+(a===1&&b===4&&omit?' stroke-dasharray=\"5 4\"':'')+'/>').join('')+nodes.map(([name,x,y],i)=>'<rect x=\"'+(x-42)+'\" y=\"'+(y-12)+'\" width=\"84\" height=\"24\" rx=\"4\" fill=\"'+(active.has(i)?'var(--accent-soft)':'var(--surface)')+'\" stroke=\"'+(active.has(i)?'var(--accent)':'var(--rule)')+'\"/><text x=\"'+x+'\" y=\"'+(y+4)+'\" text-anchor=\"middle\">'+name+'</text>').join('');}document.querySelectorAll('[data-mode]').forEach(e=>e.onclick=()=>{changed=e.dataset.mode;draw()});$('#omit').onchange=draw;draw();","audio":false,"strings":{"factor":"factor.txt","heading":"少一条边,哪些产物会悄悄变旧?","input":"变化输入","intro":"选择变化的输入,并移除一个生成头文件依赖,比较实际需要与声明触发的重建。","lib":"lib.c","main":"main.c","omit":"漏掉 generated.h → main.o","required":"实际需要重编译的对象","reset":"重置","scheduled":"声明图触发的对象","scope":"已构建项目的一次增量失效分析,不模拟时间戳精度、内容哈希与实际并行执行。虚线表示故意漏掉的真实依赖。","scopeLabel":"模型范围与约定","stale":"遗漏的对象"}}
pkg-config:查询已安装库的构建元数据
pkg-config -- modversion zlib
pkg-config -- cflags -- libs zlib
pkg-config -- static -- libs zlib
.pc 文件告诉使用者头文件位置、库和相关依赖,并不负责安装库,也不保证运行时加载器能找到它。路径会随发行版、架构和安装前缀变化,不能固定成一个 /usr/lib64/pkgconfig。
一个示意的 demo.pc 内容如下,应保存为文本文件,不是当 shell 脚本执行:
prefix = /usr/local
libdir = ${prefix}/lib
includedir = ${prefix}/include
Name: demo
Description: Small example library
Version: 1.0
Libs: -L${libdir} -ldemo
Cflags: -I${includedir}
需要区分公开依赖与静态链接时所需的私有依赖,按情况填写 Requires、Requires.private、Libs.private。--static 查询更完整的依赖信息,并不单独强制链接器选用所有静态库。pkg-config 作者指南
CMake 中优先消费导入目标,避免只复制 ${ZLIB_LIBRARIES} 而漏掉目录或链接选项:
find_package(PkgConfig REQUIRED)
pkg_check_modules(ZLIB REQUIRED IMPORTED_TARGET zlib)
target_link_libraries(prog PRIVATE PkgConfig::ZLIB)
这段加入前面的 CMakeLists.txt 即可为 prog 附加依赖。若已有适用的 find_package(ZLIB) 导入目标,也可直接使用,无须强制经过 pkg-config。FindPkgConfig
交叉编译与可复现构建
构建时运行的代码生成器属于构建机器,最终程序属于目标机器。交叉编译要分别指定编译器、sysroot、工具与目标依赖搜索路径;不能误用宿主机 .pc 结果,再期待链接器自动纠正架构。
CMake toolchain 文件与 Meson cross file 用于描述这些环境。更完整的可复现性还涉及依赖版本、生成器、环境变量、路径嵌入与时间信息,并非用了某个构建系统就自动获得。
如何比较与验证
关注点 应验证的行为
正确性 干净构建、头文件变化、生成文件依赖都正确
增量效率 无变化不重编译,局部变化只更新必要目标
并行 多任务构建不出现偶发缺失文件或竞态
配置切换 Debug、Release、不同编译器不混用旧产物
集成 编译数据库、测试、安装与包元数据符合项目需要
构建快慢主要还取决于真实编译工作、依赖图粒度、缓存和执行器。Make 也有依赖图,CMake 也可生成 Ninja,不能用“命令式慢、声明式快”替代测量。
关键词:Make, CMake, Meson, Ninja, dependency graph, depfile, target, usage requirements, pkg-config, cross compilation, incremental build