如何在Makefile中合理使用断言？仅按需触发编译任务

你的问题根源在于ASSERT是一个无实际输出文件的伪目标——Make会默认这类目标每次都需要重新构建，进而强制依赖它的%.x目标也重复编译，哪怕源文件和变量都没有变化。下面提供两种可靠的解决方式：

方法一：解析阶段直接检查变量（推荐） #

在Make读取解析Makefile的阶段就完成变量合法性校验，不需要依赖任何构建目标，从根源避免不必要的重编译：

SHELL := /bin/bash

NUMBER := 1

# 解析阶段校验NUMBER的范围
ifeq ($(shell echo "$(NUMBER) < 0 || $(NUMBER) > 4" | bc), 1)
$(error ERROR: NUMBER must be positive and less than 4.)
endif

all:    test.x

%.x:    %.c
	@echo "Compiling $< -> $@ with NUMBER=$(NUMBER)."
	@gcc $< -D NUMBER=$(NUMBER) -o $@

说明 #

• 利用bc命令做数值逻辑判断，返回1表示条件成立（变量不合法），此时用$(error)直接终止Make并输出错误信息。
• 只有当源文件%.c修改，或者NUMBER变量变更导致编译参数变化时，才会触发重新编译。

方法二：用标记文件跟踪变量变化（适用于动态变量场景） #

如果NUMBER是动态生成的（比如从环境变量、命令行传入），无法在解析阶段确定，可以生成一个记录当前变量值的标记文件，让编译目标依赖这个文件：

SHELL := /bin/bash

NUMBER := 1

all:    test.x

# 生成记录NUMBER值的标记文件
.NUMBER_FLAG: Makefile
	@if (( $(NUMBER) < 0 || $(NUMBER) > 4 )); then \
		echo "ERROR: NUMBER must be positive and less than 4."; \
		exit 1; \
	fi
	@echo "$(NUMBER)" > $@
	@echo "Ran ASSERT. No errors found."

%.x:    %.c .NUMBER_FLAG
	@echo "Compiling $< -> $@ with NUMBER=$(NUMBER)."
	@gcc $< -D NUMBER=$(NUMBER) -o $@

clean:
	rm -f test.x .NUMBER_FLAG

说明 #

• .NUMBER_FLAG是实际存在的文件，内容为当前NUMBER的值。
• 只有当NUMBER变化（标记文件内容不符）或Makefile修改时，才会重新生成标记文件，进而触发编译任务。
• 源文件未修改且NUMBER未变化时，Make会判定所有目标已最新，不会执行任何操作。

内容的提问来源于stack exchange，提问作者Nanashi No Gombe