如何调试makefile
" @/ S: f* ~* e. R) s! A9 w: H- ~4 f/ P6 m4 e8 d; P) J4 r8 O# x! Y
" U+ d" o& u, M9 a2 H/ Pmakefile 的调试有点像魔法。可惜,并不存在makefile 调试器之类的东西可用来查看特定规则是如何被求值的,或某个变量是如何被扩展的。相反,大部分的调试过程只是在执 行输出的动作以及查看makefile。事实上,GNU make 提供了若干可以协助调试的内置函数以及命令行选项。 用来调试makefile 的一个最好方法就是加入调试挂钩以及使用具保护的编程技术,让你能够在事情出错时恢复原状。我将会介绍若干基本的调试技术以及我所发现的最有用的具保 护能力的编码习惯。 1.make 的调试功能
) p$ M/ G& Q2 ] t, Pwarning函数非常适合用来调试难以捉摸的makefile。因为warning函数会被扩展成空字符串,所以它可以放在makefile 中的任何地方:开始的位置、工作目标或必要条件列表中以 及命令脚本中。这让你能够在最方便查看变量的地方输出变量的值。例如: $(warning A top-level warning) FOO := $(warning Right-hand side of a simple variable)bar
) t8 v% q% Q) C& K+ Q# PBAZ = $(warning Right-hand side of a recursive variable)boo $(warning A target)target: $(warning In a prerequisite list)makefile ^; V& V* d- X7 R* Y7 @6 u
$(BAZ)5 a/ r6 K! ^/ [
$(warning In a command script)- o! J/ O- d# k6 o9 U& |% f# t
ls, B: M7 V* y% O+ r
$(BAZ): 这会产生如下的输出: $ make
& c. p7 E! G& T$ k1 e& W4 Fmakefile:1: A top-level warning
2 a" z/ J, r# I$ Z- h+ j# xmakefile:2: Right-hand side of a simple variable
0 s% O8 O% H$ U7 Wmakefile:5: A target/ d/ Y! o1 ~1 Y& b8 b [, m; X
makefile:5: In a prerequisite list) E5 A, b% j: Q
makefile:5: Right-hand side of a recursive variable# K( [4 _2 l+ s+ E* d. S+ s
makefile:8: Right-hand side of a recursive variable* U, b& M; l: ^4 q/ Q, n
makefile:6: In a command script
) o. M' y b5 q1 ]# G4 Ols
% }, s: a7 m# c0 q j$ v* vmakefile 请注意,warning函数的求值方式是按照make标准的立即和延后求值算法。虽然对BAZ的赋值动作中包含了一个warning函数,但是直到BAZ在必要条件列表中被求值后,这个信息才 会被输出来。 “可以在任何地方安插warning调用”的这个特性,让它能够成为一个基本的调试工具。 2.命令行选项
" H: b! h" G; A8 s. @2 \3 @2 ^我找到了三个最适合用来调试的命令行选项:* K- C4 j4 s2 I$ T* D
--just-print(-n)
3 D: E% K K. h( R% C1 [1 ?--print-database(-p)8 T) f8 T* W/ g, x3 w8 q
--warn-undefined-variables。 2.1 --just-print2 `0 X X+ R; Z
在一个新的makefile 工作目标上,我所做的第一个测试就是以--just-print(-n)选项来调用make。这会使得make读进makefile并且输出它更新工作目标时将会执行的命令,但是 不会真的执行它们。GNU make 有一个方便的功能,就是允许你为将被输出的命令标上安静模式修饰符(@)。 这个选项被假设可以抑制所有命令的执行动作,然而这只在特定的状况下为真。实际上,你必须小心以对。尽管make不会运行命令脚本,但是在立即的语境之中,它会对shell函数 调用进行求值动作。例如: REQUIRED_DIRS = ...
8 }. V4 e* F6 T0 z; f% V_MKDIRS := $(shell for d in $(REQUIRED_DIRS); \* v- k9 b- a( e ~1 m: w) X
do \+ e* b8 K, V! n. z9 o9 m9 ~
[[ -d $$d ]] || mkdir -p $$d; \, l0 M+ r N: _ @, p1 P) M
done) $(objects) : $(sources) 正如我们之前所见,_MKDIRS 简单变量的目的是触发必要目录的创建动作。如果这个makefile 是以--just-print 选项的方式运行的,那么当make 读进makefile 时,shell命令将 会一如往常般被执行。然后,make 将会输出(但不会执行)更新$(objects)文件列表所需要进行的每个编译命令。 2.2 --print-data-base4 ]% r: v+ }% M1 W: w1 p
--print-data-base(-p)是另一个你常会用到的选项。它会运行makefile,显示GNU版权信息以及make 所运行的命令,然后输出它的内部数据库。数据库里的数据将会依种类划分 成以下几个组:variables、directories、implicit rules、pattern-specific variables、files(explicit rules)以及vpath earch path。如下所示: # GNU Make 3.80
* k% C2 F' C6 h; `" e3 B2 {# Copyright (C) 2002 Free Software Foundation, Inc.
) n. D3 [: f x) }# ?# O# This is free software; see the source for copying conditions.
$ U4 R3 I( \" [# There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A0 Z" V2 {4 L3 x5 S: B( |' ?: M
# PARTICULAR PURPOSE.
8 R0 y9 ~, F; Q7 H正常的命令将会在此处执行 # Make data base, printed on Thu Apr 29 20:58:13 2004
' n' m7 l6 `9 ]" S9 D# Variables
! R9 a2 s) ]! U' A...
4 N$ B( f( S# r* {# Directories
) K' ]" }, ?5 X4 C7 h0 b* ?8 ^- b) Z...+ W+ S3 Y9 Z" n+ |1 H* m/ h- e
# Implicit Rules; K7 c' M& G; a0 M; T9 s2 i
...
2 C. ^) `* K; S* ?# Pattern-specific variable values- C( G3 z6 I$ C+ E; S6 l
...+ n& b! C) J3 t0 s( e
# Files/ }; r. G/ J: ~( h$ A w! V
...1 N8 L; u0 F* ?! M! v1 d
# VPATH Search Paths 让我们更详细地查看以上这几个区段。" B% W* L6 ?0 Z2 o
变量区段(variable)将会列出每个变量以及具描述性的注释: # automatic
; q3 R/ U/ N/ t! W J* Q: o' N. ?<d =="" $(patsubst="" %="" ,%,$(dir="" $<))" n5 z3 y2 `* _+ E
# environment8 Q9 j% }, u8 ^, |( y# p
EMACS_DIR = C:/usr/emacs-21.3.50.7
- k$ g& P( R6 L4 a# default/ a5 l1 T9 l" x7 j& K, h! A& o
CWEAVE = cweave! Q% o* e# ~3 e' Q, L) @& H$ W
# makefile (from `../mp3_player/makefile', line 35), Q( z) l1 U/ O
CPPFLAGS = $(addprefix -I ,$(include_dirs))0 |+ A" o! Y9 W+ G& e0 s, j Z
# makefile (from `../ch07-separate-binaries/makefile', line 44)# j* P6 D/ k* O5 t( |6 I9 g! L
RM := rm -f
- k1 b B% v7 r. d/ M$ c' a# makefile (from `../mp3_player/makefile', line 14)! Q y0 @8 x1 ?" V- m( I
define make-library
; A. s+ M1 K5 ^ d7 B libraries += $17 E2 P. W8 p' |! T2 m3 D
sources += $2 $1: $(call source-to-object,$2)# p1 d6 s# H$ c: ]' f# {
$(AR) $(ARFLAGS) $$@ $$^$ A& e$ ^9 u5 D, G* C
endef 自动变量不会被显示出来,但是通过它们可以方便变量的获得,像$(<d)。注释所指出的是origin 函数所返回的变量类型(参见“较不重要的杂项函数”一节)。如果变量被定义="" 在一个文件中,则会在注释中指出其文件名以及该定义所在的行号。简单变量和递归变量的差别在于赋值运算符。简单变量的值将会被显示成右边部分被求值的形式。 下一个区段标示为Directories,它对make 开发人员比对make 用户有用。它列出了将会被make 检查的目录,包括可能会存在的SCCS 和RCS 子目录,但它们通常不存在。对每个目 录来说,make 会显示实现细节,比如设备编号、inode 以及文件名模式匹配的统计数据。 接着是Implicit Rules 区段。这个区段包含了make 数据库中所有的内置的和用户自定义的模式规则。此外,对于那些定义在文件中的规则,它们的注释将会指出文件名以及行号 : %.c %.h: %.y
; O) F6 i5 H0 s$ Y5 t# commands to execute (from `../mp3_player/makefile', line 73):
% p, F6 @4 y/ O+ Z1 ^- ?# ]$(YACC.y) --defines $<
! S9 V4 L$ q1 b5 C$(MV) y.tab.c $*.c' O( E: G% W( J" |- s
$(MV) y.tab.h $*.h %: %.c! k$ d' F0 G, l9 O9 U
# commands to execute (built-in):1 c% B) { Q! n
$(LINK.c) $^ $(LOADLIBES) $(LDLIBS) -o $@ %.o: %.c& W- c" P( ^0 \" q
# commands to execute (built-in):& B) l" r" f7 o
$(COMPILE.c) $(OUTPUT_OPTION) $< 查看这个区段,是让你能够熟悉make 内置规则的变化和结构的最佳方法。当然,并非所有的内置规则都会被实现成模式规则。如果你没有找到你想要的规则,可以查看Files区段 ,旧式后缀规则就列在该处。 下一个区段被标示为Pattern-specific variables,此处所列出的是定义在makefile 里的模式专属变量。所谓模式专属变量,就是变量定义的有效范围被限定在相关的模式规则执 行的时候。例如,模式变量YYLEXFLAG 被定义成: %.c %.h: YYLEXFLAG := -d3 H1 Y, Q" [% y3 }- g2 l3 b' m
%.c %.h: %.y
( l& [5 Q+ K8 l# J4 Z @$(YACC.y) --defines $<
, @8 \4 y$ v Z) j" K6 H, N$(MV) y.tab.c $*.c
6 x9 m: |8 E n0 @8 y$(MV) y.tab.h $*.h 将会被显示成: # Pattern-specific variable values1 h2 V9 L2 W+ h2 T0 y# G6 w
%.c :: B1 l$ w; w1 x: t1 A
# makefile (from `Makefile', line 1)
. F$ Z1 S e# Q" U# YYLEXFLAG := -d
# e0 v! e9 V: B1 w( `4 c; l# variable set hash-table stats:
9 t: D9 j+ B! W: H& p6 G# Load=1/16=6%, Rehash=0, Collisions=0/1=0%* N. M7 O5 ]0 M5 X' ~3 v
%.h :# W3 ~ _7 C( W* B. O( o0 G% V" q
# makefile (from `Makefile', line 1)# |) h% w* R% Y6 S! N" q( ^
# YYLEXFLAG := -d
$ Y# {0 ?$ v6 c/ |& l# variable set hash-table stats:
! F( K/ x1 {' Y, Z5 M' y# Load=1/16=6%, Rehash=0, Collisions=0/1=0%/ d7 ?' l2 J8 g- b2 m
# 2 pattern-specific variable values 接着是Files 区段,此处所列出的都是与特定文件有关的自定义和后缀规则: # Not a target:
r! h, x: w9 ^) I; X9 t: h.p.o:
' _# \. c- z* [5 i4 K) G8 R3 [# Implicit rule search has not been done., t+ j1 _0 u3 C( N/ H
# Modification time never checked.. h% _7 x8 [* y4 h
# File has not been updated.
* w4 C6 @& k/ x2 k+ A# commands to execute (built-in):
+ ? @( s( z0 T8 O* A$(COMPILE.p) $(OUTPUT_OPTION) $< lib/ui/libui.a: lib/ui/ui.o
' ?5 |* K! A8 B1 `. B# Implicit rule search has not been done.! q( Z, q3 @- y5 q
# Last modified 2004-04-01 22:04:09.515625
4 p f( y+ P' r$ H! U# e$ V4 t2 \2 O# File has been updated.! ]' S# W- x6 P- L5 I3 P
# Successfully updated.% ~/ v2 i5 T$ W* T
# commands to execute (from `../mp3_player/lib/ui/module.mk', line 3):
7 t' @0 O5 L7 C% c0 a& }ar rv $@ $^ lib/codec/codec.o: ../mp3_player/lib/codec/codec.c ../mp3_player/lib/codec/codec.c ../mp3_player/include/codec/codec.h1 i/ [# z4 E+ A& s# l
# Implicit rule search has been done.
% `9 |/ F" i _+ L4 ?) B# Implicit/static pattern stem: `lib/codec/codec'0 r+ e' e. v+ m# D6 H
# Last modified 2004-04-01 22:04:08.40625
. u$ X1 Z3 u' }$ O! y0 \# File has been updated.
O" p# J+ ~2 ^* b; a# Successfully updated.: A" j: s1 w" J' s8 C
# commands to execute (built-in):1 p" x3 o/ u q
$(COMPILE.c) $(OUTPUT_OPTION) $< 中间文件与后缀规则会被标示为Not a target,其余是工作目标。每个文件将会包含注释,用以指出make 是如何处理此规则的。被找到的文件在被显示的时候将会通过标准的 vpath 搜索来找出其路径。 最后一个区段被标示为VPATH Search Paths,列出了VPATH 的值以及所有的vpath模式。 对于大规模使用eval 以及用户自定义函数来建立复杂的变量和规则的makefile 来说,查看它们的输出结果通常是确认宏是否已被扩展成预期值的唯一方法。 2.3 --warn-undefined-variables. s. H( V* J9 {, z& i; s2 q# d% c
这个选项会使得make 在未定义的变量被扩展时显示警告信息。因为未定义的变量会被扩展成空字符串,这常见于变量名称打错而且很长一段时间未被发现到。这个选项有个问题, 这也是为什么我很少使用这个选项的原因,那就是许多内置规则都会包含未定义的变量以作为用户自定义值的挂钩。所以使用这个选项来运行make必然会产生许多不是错误的警告 信息,而且对用户的makefile 没有什么用处。例如: $ make --warn-undefined-variables -n
* K! Y$ w D, k# K1 Q5 F7 O! umakefile:35: warning: undefined variable MAKECMDGOALS
& m. W& r) j1 z7 g" C9 R" l3 Nmakefile:45: warning: undefined variable CFLAGS
' L; a8 @9 q: u1 rmakefile:45: warning: undefined variable TARGET_ARCH& E8 a k+ h/ P3 a
...
7 w" ^' q- Y4 q2 I: ymakefile:35: warning: undefined variable MAKECMDGOALS2 K# ]' V. k2 ^) {+ T
make: warning: undefined variable CFLAGS
6 F# V% `# Y% u: H c. k3 Mmake: warning: undefined variable TARGET_ARCH3 s: N$ o5 v4 W7 U5 r8 g: a/ }
make: warning: undefined variable CFLAGS
6 T3 n* f9 y, J5 A2 q. Q" W, qmake: warning: undefined variable TARGET_ARCH
3 Q0 K& B# s" N1 e...
4 S' F2 X( p! ^' D; i4 N2 pmake: warning: undefined variable LDFLAGS# }6 ~9 }( X7 K3 Z
make: warning: undefined variable TARGET_ARCH4 x, E/ o% F3 O& U
make: warning: undefined variable LOADLIBES# ~) |* g) O8 H4 Q
make: warning: undefined variable LDLIBS 不过,此命令在需要捕获此类错误的某些场合上可能非常有用。 3.--debug 选项- c x0 q+ o# q) k2 ]$ x
当你需要知道make 如何分析你的依存图时,可以使用--debug 选项。除了运行调试器,这个选项是让你获得最详细信息的另一个方法。你有五个调试选项以及一个修饰符可用,分 别是:basic、verbose、implicit、jobs、all 以及makefile。 如果调试选项被指定成--debug,就是在进行basic 调试;如果调试选项被指定成-d,就是在进行all调试;如果要使用选项的其他组合,则可以使用--debug=option1,option2 这 个以逗号为分隔符的列表,此处的选项可以是下面任何一个单词(实际上,make 只会查看第一个字母): 3.1 basic4 m+ Y- [; Z6 h1 W# [$ Q
这是所提供的信息最不详细的基本调试功能。启用时,make会输出被发现尚未更新的工作目标并更新动作的状态。它的输出会像下面这样: File all does not exist.
' n; K" X% S, u7 V& ~File app/player/play_mp3 does not exist.
; h0 r7 r6 m& F* L: TFile app/player/play_mp3.o does not exist.' r: [3 O% S& u6 U5 ?# c
Must remake target app/player/play_mp3.o.* b3 k1 r+ x7 ] m! f" p
gcc ... ../mp3_player/app/player/play_mp3.c0 v) P+ V) N& @2 c
Successfully remade target file app/player/play_mp3.o. 3.2 verbose; }0 c) ^' O1 J5 b' Y f
这个选项会设定basic 选项,以及提供关于“哪些文件被分析、哪些必要条件不需要重建等”的额外信息: File all does not exist.
" g. |' |+ f9 R8 NConsidering target file app/player/play_mp3.
! P" v( S4 q# R3 w8 i/ a6 j* N. hFile app/player/play_mp3 does not exist.
; t; v. r6 J1 w& U' ?Considering target file app/player/play_mp3.o.# M8 _4 L/ h* u/ K
File app/player/play_mp3.o does not exist.
. v) X }4 f0 xPruning file ../mp3_player/app/player/play_mp3.c.
$ [- o0 q- P! hPruning file ../mp3_player/app/player/play_mp3.c.
; l# |, L- b1 y, V$ q- z- ?0 kPruning file ../mp3_player/include/player/play_mp3.h.
. i' R0 T7 R- u) n7 Y. m2 SFinished prerequisites of target file app/player/play_mp3.o.5 r$ X* B3 A/ O/ @
Must remake target app/player/play_mp3.o.+ A5 o; ?; v7 @. T7 Y
gcc ... ../mp3_player/app/player/play_mp3.c
# l) {4 K2 G% c+ s; _2 T+ t+ cSuccessfully remade target file app/player/play_mp3.o. T% N9 a+ Y9 j. r
Pruning file app/player/play_mp3.o. 3.3 implicit
5 A( k5 |% ?( R0 K7 ^% Y* }$ U这个选项会设定basic 选项,以及提供关于“为每个工作目标搜索隐含规则”的额外信息: File all does not exist.
+ T; w9 y$ q/ d, |File app/player/play_mp3 does not exist.& @% V/ y' V4 K2 P8 T8 P; t- |
Looking for an implicit rule for app/player/play_mp3.
( e& J9 I. W( U% e5 Z, y* Q, BTrying pattern rule with stem play_mp3.4 |: y/ s4 h0 _# L* c [+ X
Trying implicit prerequisite app/player/play_mp3.o.
# Z9 k+ K, K* }9 OFound an implicit rule for app/player/play_mp3.
6 Z8 C% `& {' |1 B* i# @% q7 @ cFile app/player/play_mp3.o does not exist.
- e$ _! q" H5 t s6 XLooking for an implicit rule for app/player/play_mp3.o., f' D/ b" |3 K8 w
Trying pattern rule with stem play_mp3.
) O3 i! L; k$ S' m, i8 WTrying implicit prerequisite app/player/play_mp3.c.
2 X' l3 J6 m( Q# cFound prerequisite app/player/play_mp3.c as VPATH ../mp3_player/app/
5 K; _$ R6 U0 @$ Vplayer/play_mp3.c
* ]6 ?" E' j8 h- g1 h5 g6 cFound an implicit rule for app/player/play_mp3.o.8 R. g3 {0 ~' w+ r& l. ^
Must remake target app/player/play_mp3.o. e2 a( X B! n5 Q8 w6 @$ a
gcc ... ../mp3_player/app/player/play_mp3.c
% m; r) n8 R4 R3 v, RSuccessfully remade target file app/player/play_mp3.o. 3.4 jobs
, ?6 t8 _; r% M% F: c7 Z这个选项会输出被make 调用的子进程的细节,它不会启用basic 选项的功能。 Got a SIGCHLD; 1 unreaped children.
+ C. {$ Q7 Z( \* P. V) Pgcc ... ../mp3_player/app/player/play_mp3.c$ ~: j. g' _( ~5 S
Putting child 0x10033800 (app/player/play_mp3.o) PID 576 on the chain.
& U( ]2 g$ Q/ B8 o' n x6 h$ yLive child 0x10033800 (app/player/play_mp3.o) PID 576
1 ]3 Z5 p$ q2 Z2 ]Got a SIGCHLD; 1 unreaped children.
! j$ k; t" d9 O1 RReaping winning child 0x10033800 PID 5767 _0 s4 i/ w, \* G
Removing child 0x10033800 PID 576 from chain. 3.5 all
! h1 m6 w1 l* m6 D0 y5 y2 A1 z6 o% p5 K3 h这会启用前面的所有选项,当你使用-d 选项时,默认会启用此功能。 3.6 makefile
/ X) t! B+ z2 T它不会启用调试信息,直到makefile 被更新—— 这包括更新任何的引入文件。如果使用此修饰符,make 会在重编译makefile 以及引入文件的时候,输出被选择的信息。这个选 项会启用basic 选项,all 选项也会启用此选项。 4.编写用于调试的代码8 y$ |* K; F0 R
如你所见,并没有太多的工具可用来调试makefile,你只有几个方法可以输出若干可能有用的信息。当这些方法都不管用时,你就得将makefile 编写成可以尽量减少错误发生的机 会,或是可以为自己提供一个舞台来协助你进行调试。 这一节所提供的建议被我(有点随意地)分类成:良好的编码习惯、具保护功能的编码以及调试技术等部分。然而一些特殊的项目,像是检查命令的结束状态,可能会被放在良好 的编码习惯中或是具保护功能的编码中,做这样的分类适当地反映出了趋势所在。将焦点好好地放在makefile 上,尽量避免简单行事。采用具保护的编码以避免makefile被非预期 的事件和环境状态所影响。最后,当缺陷出现时,使用你可以找到的用来压制它们的每个诀窍。 makefile 马上就会变得很复杂—— 即使是一般的工作,比如依存关系的产生。要对抗“在你的编译系统中加入越来越多的功能”的潮流,你将会失败,但如果你只是不经思索地 加入你
4 n, H' h2 n" k9 C- f) I# l所发现的每个功能,失败并不会比你这么做的后果还糟。 4.1 良好的编码习惯
8 ^- i9 n! g0 |/ S1 W/ p" V3 i4 }以我的经验来说,大部分的程序员都不会把makefile 作为程序来写,因此,他们不会像编写C++或Java 时那样细心。事实上,make 语言是一个完整的非程序语言。如果可靠性和 可维护性对你的编译系统来说很重要,那么请小心编写你的makefile,并且尽量遵守良好的编码习惯。 编码健全的makefile 的重点之一就是检查命令的返回状态。当然,make 将会自动检查简单的命令,但是makefile 通常会使用可能不会处理失败状态的复合命令:
1 l% T. j' D0 }: Q* u3 v9 M# b) Edo:
4 [: y9 F' r* {9 [cd i-dont-exist; \
4 R7 H% Z! t+ q8 {# c. ^3 _echo *.c 运行时,此makefile 并不会因为有错误发生而终止运行,尽管这是一个必然会发生的错误: $ make
6 q7 @3 M& b' O% t5 H# N! `, bcd i-dont-exist; \7 {1 p4 r! g/ R( Q1 G: ^& O0 v2 a
echo *.c& ^& T( s" r- ~3 W: [% _6 U
/bin/sh: line 1: cd: i-dont-exist: No such file or directory, a2 `5 ^1 a# D" H. i8 p8 U* r
*.c 此外,当文件名匹配表达式(globbing expression)找不到任何的.c 文件时,它会不动声色地返回文件名匹配表达式。一个比较好的做法,就是在你编码此命令脚本时,使用 shell 的功能来检查以及防止错误: SHELL = /bin/bash" u4 a: Y) g; G" K. h6 [$ J
do:$ g: c+ T) |9 o0 }
cd i-dont-exist && \5 n* w' v) m0 { p3 x& M5 n4 @
shopt -s nullglob &&
; m6 G4 N0 @7 {& Lecho *.c 现在cd 的错误会被正确传送到make,所以echo 命令不会被执行,而且make 会因为有错误发生而终止运行。此外,设定bash的nullglob选项,将会使得文件名匹配模式在找不到文 件时返回空字符串。(当然,你的应用程序可能比较喜欢文件名匹配模式。) $ make; t7 B5 o$ `8 q5 Z* p
cd i-dont-exist && \% v' l9 y1 c- h2 u$ \5 X+ S( v& O
echo *.c3 j6 O" ^% \* q
/bin/sh: line 1: cd: i-dont-exist: No such file or directory
. b9 D1 P! e& Y) Q9 }( {2 Omake: *** [do] Error 1 另一个良好的编码习惯,就是将你的代码编排成最具可读性的形式。我所看过的makefile,多半编排得很差,这必然会造成难以阅读的情况。下面这两段代码哪一个比较容易阅读 ? _MKDIRS := $(shell for d in $(REQUIRED_DIRS); do [[ -d $$d \- M' q: N7 Z, I! N- N
]] || mkdir -p $$d; done) 或: _MKDIRS := $(shell \- {4 {8 g3 ? E7 S3 \
for d in $(REQUIRED_DIRS); \
l7 H6 h( E6 U do \
, s- u; e6 A4 G. V$ E1 I [[ -d $$d ]] || mkdir -p $$d; \
& u8 c- ~. O0 f8 c- Q done) 如果你像大部分人那样,你将会觉得第一段代码比较难分析,不容易找到分号,很难计算有几句语句。这些都是必须注意到的地方。在命令脚本中,你会遇到的语法错误,多半是 由于漏掉了分号、反斜线或是其他的分隔符,比如管道(pipe)和逻辑运算符。 此外请注意,并非任何分隔符被漏掉都会产生错误。例如,下面的错误都不会产生shell的语法错误: TAGS:) b! R4 g9 J. ~% Y, F4 [
cd src \$ f# \9 z2 x- o& \' I/ m6 w
ctags --recurse disk_free:
0 K) M, K5 t, {2 C6 Z9 Fecho "Checking free disk space..." \
* K+ T/ r7 s8 U! g% p/ ` n0 jdf . | awk '{ print $$4 }' 把命令编排得具有可读性,将会让以上所提到的错误很容易被发现。编排用户自定义函数的时候可以采用内缩的做法。有时候,宏扩展后的结果中,额外的空格将会造成问题。如 果是这样,你可以将它的编排结果封装在strip 函数的调用中。编排一长串值时,你可以让每个值自成一行。在每个工作目标的前面加上注释,可以提供简介以及说明参数列表。 下一个良好的编码习惯就是大量使用变量来保存常用的值。如同在程序中一样,过度使用文字值将会造成重复的程序代码,以及导致维护困难与缺陷。变量的另一个优点是在执行 期间,你可以基于调试的目的,让make 把它们给显示出来。稍后你将会在“调试技术”一节中看到一个不错的命令行界面。 4.2 具保护功能的编码" Q6 S$ Y# B) z
具保护功能的代码,就是如果你的假设或预计有一个是错误的(if 测试结果永远为假、assert 函数决不会失败或追踪代码)才会执行的代码,这让你能够查看make 内部工作的状 态。 事实上,你已经在本书其他地方看到过此类代码,不过为了方便起见,此处会重复加以描述。 确认检查就是具保护功能代码的最佳范例。如下的代码范例可用来确认当前所运行的make 版本是否为3.80: NEED_VERSION := 3.80( f- p" {' D7 L6 J- R9 o
$(if $(filter $(NEED_VERSION),$(MAKE_VERSION)),, \
1 W! w U* n# O4 u. C$(error You must be running make version $(NEED_VERSION).)) 对Java 应用程序来说,它可用来检查CLASSPATH 中的文件。 进行确认的代码还可以用来确认某个东西是否为真,比如前一节用来创建目录的代码就是这样。 另一个重要的具保护功能的编码技术,就是使用“流程控制”一节所定义的assert 函数。下面是其中的若干版本: # $(call assert,condition,message)
# ^ r$ e2 P# K& \0 A0 b7 P9 adefine assert% X. Z* _# B9 P. x8 w3 E
$(if $1,,$(error Assertion failed: $2))
/ U1 j4 j& e9 o- S5 Q; G1 ?$ kendef # $(call assert-file-exists,wildcard-pattern)
2 [& {& U- b! L6 V0 ]+ ?3 _6 Sdefine assert-file-exists$ @7 A* r7 C9 k" S" U$ y
$(call assert,$(wildcard $1),$1 does not exist)
% ]1 p: S' w8 ^1 W( c+ @endef # $(call assert-not-null,make-variable)* L( m" {3 M0 X" `/ ~4 u
define assert-not-null* z& d( a5 p" G7 J$ J, @" |* H
$(call assert,$($1),The variable "$1" is null)
. e% S9 T2 ^0 f! aendef 我发现在makefile 中到处声明assert的调用,是找出漏掉和打错的参数以及违反其他假定的既便宜又有效的方法。 我曾在第四章中编写了一对可用来追踪用户自定义函数扩展过程的函数: # $(debug-enter)
: \: n# U3 I' O( udebug-enter = $(if $(debug_trace),\' y( n/ ?. ~2 I
$(warning Entering $0($(echo-args)))) # $(debug-leave)/ d* t* ?% I9 s0 P( k
debug-leave = $(if $(debug_trace),$(warning Leaving $0)) comma := ,+ S+ [/ E* F1 I/ v
echo-args = $(subst ' ','$(comma) ',\. [8 ?! B6 A3 h' J
$(foreach a,1 2 3 4 5 6 7 8 9,'$($a)')) 你可以把这些宏调用到自己的函数里,并让它们处在停用状态,直到你需要进行调试。要启用它们时,请将debug_trace 设定成任何非空值: $ make debug_trace=1 正如第四章所说,这些追踪宏本身存在一些问题,不过仍然可用来追踪缺陷。 最后要介绍的具保护功能的编码技术,就是通过make 变量让@ 命令修饰符的禁用更容易进行: QUIET := @
7 C, S4 v1 \1 \1 x; n8 {) R...# N4 C% x/ ^1 U! }" x) l# M; ^
target:
% z, y7 V) x# y. u$(QUIET) some command 使用此技术时,如果想看到安静模式命令的执行,你可以在命令行上以如下的方式重新定义QUIET: $ make QUIET= 5.调试技术0 G6 i: x& T# c# f9 I
这一节将会探讨一般的调试技术与相关主题。最后你会觉得,调试就好像是一个装了各种你需要的东西的幸运袋。这些技术对我来说都很实用,即使是最简单的makefile问题,我 也是靠着它们来进行调试的,或许它们也能协助你。 3.80版中一个非常恼人的缺陷是,当make汇报makefile中的问题时还会包含一个行号,我发现那个行号通常是错的。我并未调查出是否此问题是由于引入文件、多行变量赋值或用 户自定义宏的关系,但是它的确是存在的。make 所汇报的行号通常会比实际的行号还大,在复杂的makefile 中,我发现行号差了20 行之多。 通常,查看make 变量值的最简单方法,就是在工作目标的执行期间输出它。尽管使用warning加入输出语句很简单,而为了在长期运行中节省时间你会想要加入通用的debug工作目 标,但是必须多费一番工夫。下面是一个简单的debug 工作目标: debug:
# q' P0 S" d9 a# n: c- t$(for v,$(V), \% N( ^" `0 d8 f1 R8 ~) j% c; c! k! `$ y
$(warning $v = $($v))) 要使用此功能,只需要在命令行上将一份需要输出的变量的列表赋值给变量V以及指定debug 工作目标: $ make V="USERNAME SHELL" debug
5 Q4 {3 E5 N; G% v+ Cmakefile:2: USERNAME = Owner
5 Y# O" m1 Y0 i) r2 \9 ^makefile:2: SHELL = /bin/sh.exe
( z' S/ u' X( u2 `make: debug is up to date. 如果你觉得这样很麻烦,只要使用MAKECMDGOALS就可以避免对变量V进行赋值的动作: debug:
- s i+ f! X- k9 c9 q* J$(for v,$(V) $(MAKECMDGOALS), \% Z3 g! S& U, {$ R% o2 s+ @ x
$(if $(filter debug,$v),,$(warning $v = $($v)))) 现在,你只需要在命令行上直接指定需要输出的变量即可。但是我并不建议使用这个技术,因为当make 的警告信息指出它不知道如何更新变量时(因为它们是以工作目标的形式出 现在命令行上的),你可能会产生混淆: $ make debug PATH SHELL
$ x, o+ x' _( o* I) b/ zmakefile:2: USERNAME = Owner: Q6 @( [: E% J
makefile:2: SHELL = /bin/sh.exe
6 t8 ~( s$ g% y8 F, m" ]6 xmake: debug is up to date." O G8 T7 P1 R, G* Y& B: Z
make: *** No rule to make target USERNAME. Stop. 我在第十章曾简单提到过,使用开启调试功能的shell可协助我们了解make在后台所进行的活动。尽管make 在执行命令之前会输出命令脚本中的命令,但是它并不会输出shell函数 中所执行的命令。通常这些命令是既微妙且复杂的,尤其是因为它们可能会被立即执行或是延后执行(如果它们出现在递归变量中)。查看这些命令如何执行的一个方法,就是要 求subshell 启用调试的功能: DATE := $(shell date +%F)
6 ?, [$ n% G' N1 d$ uOUTPUT_DIR = out-$(DATE) make-directories := $(shell [ -d $(OUTPUT_DIR) ] || mkdir -p
- g, w% Y4 Q N, E$(OUTPUT_DIR)) all: ; 如果运行时指定了sh 的调试选项,我们将会看到: $ make SHELL="sh -x": |) G" C; D1 b6 _
+ date +%F
8 e9 [! l2 X& {# I( k% H$ q+ '[' -d out-2004-05-11 ']'
' }7 i' t+ {& @) k& k4 l+ mkdir -p out-2004-05-11 这么做,你不仅可以看到make 的警告信息,也可以看到额外的调试信息,因为开启调试功能的shell 还会显示变量和表达式的值。 本书所举过的许多范例都用到了嵌套层极深的表达式,比如下面这个用来在Windows/Cygwin 系统上检查PATH 变量的表达式: $(if $(findstring /bin/, \ C' k; X) ]8 _8 ^& v
$(firstword \& ]# x( K/ B. ]6 X0 Z% T h! S5 U
$(wildcard \
1 i; G9 d+ @* {1 [7 _# `2 `& h $(addsuffix /sort$(if $(COMSPEC),.exe), \; w/ N/ c/ G9 v% u. A& Z
$(subst :, ,$(PATH)))))),, \: ]5 Z& s# o' P; G) o& a7 ?" }- X
$(error Your PATH is wrong, c:/usr/cygwin/bin should \
) b2 t" H. L% D% F; d/ C, f precede c:/WINDOWS/system32)) 要对这些表达式进行调试并没有什么好办法。一个可行的办法就是将它们拆开,输出每个子表达式(subexpression): $(warning $(subst :, ,$(PATH)))0 G, w2 `" |$ `1 ? f
$(warning /sort$(if $(COMSPEC),.exe))/ l- D2 q3 Z/ z# \; ~0 t
$(warning $(addsuffix /sort$(if $(COMSPEC),.exe), \
* A, M2 C4 W, Q1 S3 h! s" Y3 ^ $(subst :, ,$(PATH)))) $(warning $(wildcard \
' M ]% x& x. {9 p- j$(addsuffix /sort$(if $(COMSPEC),.exe), \4 w9 T6 L- K0 H
$(subst :, ,$(PATH))))) 尽管这有点烦人,但是在没有调试器可用的状况下,这或许是确定各个子表达式值的最好办法(有时是唯一的办法)。 6.常见的错误信息
3 L$ t9 @4 X0 _& n; F; N3.81 版的GNU make 在线使用手册列有make 的错误信息以及它们产生的原因。我们在此只会介绍若干最常见的错误。此处所提到的问题中的部分并非完全是make 的错误,比如命 令脚本中的语法错误,但是它们仍然是开发人员常会遇到的问题。至于完整的make 错误列表,请参考make 在线使用手册。 make 所输出的错误信息具有如下的标准格式: makefile:n: *** message. Stop. 或: make:n: *** message. Stop. makefile 部分是发生错误的makefile 或引入文件的名称,下一个部分是发生错误的行号,接着是三个星号,最后是错误信息。 请注意,make的工作就是运行其他的程序,如果发生错误,即使问题出在你的makefile上,也非常可能会让人觉得错误是来自其他程序。例如,shell 发生错误有可能是命令脚本 形式不正确的结果,编译器发生错误有可能是因为命令行参数不正确。找出错误信息产生自哪个程序,是你解决此问题时所必须进行的第一项工作。幸好,make 的错误信息相当具 有说明性。 6.1 语法错误
1 @* ]5 G" T9 n2 e. R: ~5 A0 U这些通常是打字上的错误:漏掉圆括号、以空格代替跳格等。 make 的新用户最常会遇到的一个错误,就是漏掉变量名称的圆括号: foo:
0 n- k/ }4 b% u5 A" j1 Z) [for f in $SOURCES; \& j& u& o6 C3 V8 e: z( l
do \
" c6 {8 ]5 O3 y; G, }9 k* Q ... \
3 ]" t( b+ l2 t7 ~/ fdone 这可能会使得make 把$S 扩展成空无一物,而且shell 只会以值为OURCES 的f 执行循环一次。你可能会看到如下适当的shell 错误信息: OURCES: No such file or directory 不过也可能看不到任何信息,这取决于你处理f 的方式。所以,别忘了为你的make 变量加上圆括号。 6.2 missing separator 如下的错误信息: makefile:2:missing separator. Stop. 或: makefile:2:missing separator (did you mean TAB instead of 8 spaces?). Stop. 通常代表你的命令脚本以空格代替了跳格。 以文字来解释的话,就是make 想要查找一个make 分隔符,比如:、= 或一个跳格符,但是找不到。它所找到的是它不了解的东西。 6.3 commands commence before first target 跳格符的问题又出现了! 此信息首次出现在“分析命令”一节中。当命令脚本之外的文本行以一个跳格符开头时,此错误似乎通常会出现在makefile的中间。make将会尽可能消除此模糊不清的状态,但如 果该文本行无法被确定为变量赋值、条件表达式或多行宏定义,make 就会认为这代表命令放错地方了。 6.4 unterminated variable reference6 k6 A/ P3 k7 h) @# d8 j6 H8 }
这是一个简单但常见的错误,代表你没有为变量引用或函数调用加上适当数目的右圆括号。当函数调用和变量引用嵌套很多层时,make 文件看起来很像Lisp!使用能够检查圆括号 是否完整的编辑器,比如Emacs,是避免此类错误最可靠的方法。 6.5 命令脚本中的错误
; D1 `- i4 ?7 \- r0 _脚本中有三种常见的错误:在多行命令中漏掉一个分号,一个不完整或不正确的路径变量,或是一个“执行时会遇到问题的”命令。 我们已经在“良好的编码习惯”一节中探讨过漏掉分号的问题,所以此处不再做进一步的说明。 当shell 无法找到foo 命令时,将会显示如下的典型错误信息: bash: foo: command not found 这表示shell 已经搜索过PATH变量中的每个变量,但是找不到相符的可执行文件。要修正此错误,你必须更新你的PATH变量,它通常被放在你的.profile 文件(Bourne shell)、 .bashrc 文件(bash)或.cshrc 文件(C shell)中。当然,它也有可能设定在makefile 文件中的PATH 变量里,并且从make 导出PATH 变量。 最后,当shell命令执行失败的时候,它会以非零的结束状态终止执行。在此状况下,make
. R z R- S! a+ v2 w6 W将会以如下的信息汇报此错误: $ make
. m3 s6 R. V* n/ T# @5 _touch /foo/bar
$ a. s4 M. y( _8 E# Qtouch: creating /foo/bar: No such file or directory
, D7 o) K3 @5 Tmake: *** [all] Error 1 此处执行失败的命令是touch,它会输出自己的错误信息以说明此状态。下一行是make的错误摘要。执行失败的makefile 工作目标会被显示在中括号里,后面还会跟着运行失败的 程序的结束值。如果程序结束运行是因为信号的缘故,make 将会输出比较详细的信息,而不会只显示非零的结束状态。 并请注意,因为@ 修饰符而安静执行的命令也会执行失败。在此状况下,所显示的错误信息好像到处都是。 不管是以上哪种状况,错误信息皆来自make 所运行的程序,而不是make 本身。 6.6 No Rule to Make Target 此信息有两种形式: make: *** No rule to make target XXX. Stop. 以及: make: *** No rule to make target XXX, needed by YYY. Stop. 这代表make 判断文件XXX 需要更新,但是make 找不到执行此工作的任何规则。在放弃和输出此信息之前,make 将会在它的数据库中搜索所有的隐含和具体规则。 此项错误的理由可能有三个:+ s2 f9 l! W" h. C: U
? 你的makefile 漏掉了更新此文件所需要的一个规则。在此状况下,你必须加入描述如何建立此工作目标的规则。 ? 在makefile 中打错了字。不是make 找错了文件,就是更新此文件的规则指定了错误的文件。因为make 变量的使用,你很难在makefile 中发现打错字的问题。有时候,要确定 复杂文件名的值是否正确唯有将它输出:你可以直接输出变量,或是查看make 的内部数据库。 ? 这个文件应该存在,但是make 就是找不到它,可能是因为把它漏掉了,或是因为make不知道要到哪里找它。当然,有时make是绝对正确的,文件缺失的原因或许是你忘了将它从 CVS调出。较常见的状况是,make找不到源文件只是因为文件放错地方了。有时是因为源文件放在独立的源文件树中,或是文件产生自另一个程序
* J1 g: O* s6 s且所产生的文件放在二进制文件树中。 6.7 Overriding Commands for Target9 `* Y! Z. Y9 f) g
make只允许一个工作目标拥有一个命令脚本(双冒号规则除外,但是很少使用)。如果一个工作目标被指定了一个以上的命令脚本,make 将会输出如下的警告信息: makefile:5: warning: overriding commands for target foo 它也可能会显示如下的警告信息: makefile:2: warning: ignoring old commands for target foo 第一个警告信息指出,make 在第5 行找到了第二个命令脚本;第二个警告信息指出,位于第2 行的最初命令脚本被覆盖掉了。 在复杂的makefile 中,一个工作目标通常会被定义许多次,每一次都会加入它自己的必要条件。这些工作目标中通常会有一个被指定命令脚本,但是在开发或调试期间,你很容易 会加入另一个命令脚本而忘记这么做会覆盖掉现有的命令脚本。 例如,我们可能会在一个引入文件中定义一个通用的工作目标: # 建立一个jar 文件。
4 `4 X* s4 z" ?. I( l3 r: B, {$(jar_file):, i2 T4 f- `7 r
$(JAR) $(JARFLAGS) -f $@ $^ 这使得其他的makefile 可以加入自己的必要条件。然后我们可能会在某个makefile 文件中这么做: # 为jar 的建立设定工作目标并且加入必要条件
b9 O# S+ G t3 L) @6 }. Z. Ijar_file = parser.jar% j, S% V$ v; ~; e; N' n3 k
$(jar_file): $(class_files) 如果我们不小心将一个命令脚本加入此makefile,make可能会产生overriding的警告信 ) ]+ \) ?3 y3 C5 G
|