make.c revision 1.10 1 1.10 christos /* $NetBSD: make.c,v 1.10 1996/11/06 17:59:15 christos Exp $ */
2 1.7 christos
3 1.1 cgd /*
4 1.10 christos * Copyright (c) 1988, 1989, 1990, 1993
5 1.10 christos * The Regents of the University of California. All rights reserved.
6 1.1 cgd * Copyright (c) 1989 by Berkeley Softworks
7 1.1 cgd * All rights reserved.
8 1.1 cgd *
9 1.1 cgd * This code is derived from software contributed to Berkeley by
10 1.1 cgd * Adam de Boor.
11 1.1 cgd *
12 1.1 cgd * Redistribution and use in source and binary forms, with or without
13 1.1 cgd * modification, are permitted provided that the following conditions
14 1.1 cgd * are met:
15 1.1 cgd * 1. Redistributions of source code must retain the above copyright
16 1.1 cgd * notice, this list of conditions and the following disclaimer.
17 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
18 1.1 cgd * notice, this list of conditions and the following disclaimer in the
19 1.1 cgd * documentation and/or other materials provided with the distribution.
20 1.1 cgd * 3. All advertising materials mentioning features or use of this software
21 1.1 cgd * must display the following acknowledgement:
22 1.1 cgd * This product includes software developed by the University of
23 1.1 cgd * California, Berkeley and its contributors.
24 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
25 1.1 cgd * may be used to endorse or promote products derived from this software
26 1.1 cgd * without specific prior written permission.
27 1.1 cgd *
28 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
29 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
30 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
31 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
32 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
33 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
34 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
35 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
36 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
37 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38 1.1 cgd * SUCH DAMAGE.
39 1.1 cgd */
40 1.1 cgd
41 1.1 cgd #ifndef lint
42 1.7 christos #if 0
43 1.10 christos static char sccsid[] = "@(#)make.c 8.1 (Berkeley) 6/6/93";
44 1.7 christos #else
45 1.10 christos static char rcsid[] = "$NetBSD: make.c,v 1.10 1996/11/06 17:59:15 christos Exp $";
46 1.7 christos #endif
47 1.1 cgd #endif /* not lint */
48 1.1 cgd
49 1.1 cgd /*-
50 1.1 cgd * make.c --
51 1.1 cgd * The functions which perform the examination of targets and
52 1.1 cgd * their suitability for creation
53 1.1 cgd *
54 1.1 cgd * Interface:
55 1.1 cgd * Make_Run Initialize things for the module and recreate
56 1.1 cgd * whatever needs recreating. Returns TRUE if
57 1.1 cgd * work was (or would have been) done and FALSE
58 1.1 cgd * otherwise.
59 1.1 cgd *
60 1.1 cgd * Make_Update Update all parents of a given child. Performs
61 1.1 cgd * various bookkeeping chores like the updating
62 1.1 cgd * of the cmtime field of the parent, filling
63 1.1 cgd * of the IMPSRC context variable, etc. It will
64 1.1 cgd * place the parent on the toBeMade queue if it
65 1.1 cgd * should be.
66 1.1 cgd *
67 1.1 cgd * Make_TimeStamp Function to set the parent's cmtime field
68 1.1 cgd * based on a child's modification time.
69 1.1 cgd *
70 1.1 cgd * Make_DoAllVar Set up the various local variables for a
71 1.1 cgd * target, including the .ALLSRC variable, making
72 1.1 cgd * sure that any variable that needs to exist
73 1.1 cgd * at the very least has the empty value.
74 1.1 cgd *
75 1.1 cgd * Make_OODate Determine if a target is out-of-date.
76 1.1 cgd *
77 1.1 cgd * Make_HandleUse See if a child is a .USE node for a parent
78 1.1 cgd * and perform the .USE actions if so.
79 1.1 cgd */
80 1.1 cgd
81 1.1 cgd #include "make.h"
82 1.4 cgd #include "hash.h"
83 1.4 cgd #include "dir.h"
84 1.4 cgd #include "job.h"
85 1.1 cgd
86 1.1 cgd static Lst toBeMade; /* The current fringe of the graph. These
87 1.1 cgd * are nodes which await examination by
88 1.1 cgd * MakeOODate. It is added to by
89 1.1 cgd * Make_Update and subtracted from by
90 1.1 cgd * MakeStartJobs */
91 1.1 cgd static int numNodes; /* Number of nodes to be processed. If this
92 1.1 cgd * is non-zero when Job_Empty() returns
93 1.1 cgd * TRUE, there's a cycle in the graph */
94 1.1 cgd
95 1.5 jtc static int MakeAddChild __P((ClientData, ClientData));
96 1.5 jtc static int MakeAddAllSrc __P((ClientData, ClientData));
97 1.5 jtc static int MakeTimeStamp __P((ClientData, ClientData));
98 1.5 jtc static int MakeHandleUse __P((ClientData, ClientData));
99 1.4 cgd static Boolean MakeStartJobs __P((void));
100 1.5 jtc static int MakePrintStatus __P((ClientData, ClientData));
101 1.1 cgd /*-
102 1.1 cgd *-----------------------------------------------------------------------
103 1.1 cgd * Make_TimeStamp --
104 1.1 cgd * Set the cmtime field of a parent node based on the mtime stamp in its
105 1.10 christos * child. Called from MakeOODate via Lst_ForEach.
106 1.1 cgd *
107 1.1 cgd * Results:
108 1.10 christos * Always returns 0.
109 1.1 cgd *
110 1.1 cgd * Side Effects:
111 1.1 cgd * The cmtime of the parent node will be changed if the mtime
112 1.1 cgd * field of the child is greater than it.
113 1.1 cgd *-----------------------------------------------------------------------
114 1.1 cgd */
115 1.1 cgd int
116 1.1 cgd Make_TimeStamp (pgn, cgn)
117 1.5 jtc GNode *pgn; /* the current parent */
118 1.5 jtc GNode *cgn; /* the child we've just examined */
119 1.1 cgd {
120 1.1 cgd if (cgn->mtime > pgn->cmtime) {
121 1.1 cgd pgn->cmtime = cgn->mtime;
122 1.1 cgd }
123 1.1 cgd return (0);
124 1.1 cgd }
125 1.5 jtc
126 1.5 jtc static int
127 1.5 jtc MakeTimeStamp (pgn, cgn)
128 1.5 jtc ClientData pgn; /* the current parent */
129 1.5 jtc ClientData cgn; /* the child we've just examined */
130 1.5 jtc {
131 1.5 jtc return Make_TimeStamp((GNode *) pgn, (GNode *) cgn);
132 1.5 jtc }
133 1.1 cgd
134 1.1 cgd /*-
136 1.1 cgd *-----------------------------------------------------------------------
137 1.1 cgd * Make_OODate --
138 1.1 cgd * See if a given node is out of date with respect to its sources.
139 1.1 cgd * Used by Make_Run when deciding which nodes to place on the
140 1.1 cgd * toBeMade queue initially and by Make_Update to screen out USE and
141 1.1 cgd * EXEC nodes. In the latter case, however, any other sort of node
142 1.1 cgd * must be considered out-of-date since at least one of its children
143 1.1 cgd * will have been recreated.
144 1.1 cgd *
145 1.10 christos * Results:
146 1.1 cgd * TRUE if the node is out of date. FALSE otherwise.
147 1.1 cgd *
148 1.1 cgd * Side Effects:
149 1.1 cgd * The mtime field of the node and the cmtime field of its parents
150 1.1 cgd * will/may be changed.
151 1.1 cgd *-----------------------------------------------------------------------
152 1.1 cgd */
153 1.1 cgd Boolean
154 1.1 cgd Make_OODate (gn)
155 1.1 cgd register GNode *gn; /* the node to check */
156 1.1 cgd {
157 1.1 cgd Boolean oodate;
158 1.1 cgd
159 1.1 cgd /*
160 1.1 cgd * Certain types of targets needn't even be sought as their datedness
161 1.1 cgd * doesn't depend on their modification time...
162 1.1 cgd */
163 1.1 cgd if ((gn->type & (OP_JOIN|OP_USE|OP_EXEC)) == 0) {
164 1.1 cgd (void) Dir_MTime (gn);
165 1.1 cgd if (DEBUG(MAKE)) {
166 1.1 cgd if (gn->mtime != 0) {
167 1.1 cgd printf ("modified %s...", Targ_FmtTime(gn->mtime));
168 1.1 cgd } else {
169 1.1 cgd printf ("non-existent...");
170 1.1 cgd }
171 1.1 cgd }
172 1.1 cgd }
173 1.1 cgd
174 1.1 cgd /*
175 1.1 cgd * A target is remade in one of the following circumstances:
176 1.1 cgd * its modification time is smaller than that of its youngest child
177 1.1 cgd * and it would actually be run (has commands or type OP_NOP)
178 1.1 cgd * it's the object of a force operator
179 1.1 cgd * it has no children, was on the lhs of an operator and doesn't exist
180 1.1 cgd * already.
181 1.1 cgd *
182 1.1 cgd * Libraries are only considered out-of-date if the archive module says
183 1.1 cgd * they are.
184 1.1 cgd *
185 1.1 cgd * These weird rules are brought to you by Backward-Compatability and
186 1.1 cgd * the strange people who wrote 'Make'.
187 1.1 cgd */
188 1.1 cgd if (gn->type & OP_USE) {
189 1.1 cgd /*
190 1.1 cgd * If the node is a USE node it is *never* out of date
191 1.1 cgd * no matter *what*.
192 1.1 cgd */
193 1.1 cgd if (DEBUG(MAKE)) {
194 1.1 cgd printf(".USE node...");
195 1.1 cgd }
196 1.10 christos oodate = FALSE;
197 1.1 cgd } else if ((gn->type & OP_LIB) && Arch_IsLib(gn)) {
198 1.1 cgd if (DEBUG(MAKE)) {
199 1.1 cgd printf("library...");
200 1.6 christos }
201 1.6 christos
202 1.6 christos /*
203 1.6 christos * always out of date if no children and :: target
204 1.6 christos */
205 1.6 christos
206 1.6 christos oodate = Arch_LibOODate (gn) ||
207 1.1 cgd ((gn->cmtime == 0) && (gn->type & OP_DOUBLEDEP));
208 1.1 cgd } else if (gn->type & OP_JOIN) {
209 1.1 cgd /*
210 1.1 cgd * A target with the .JOIN attribute is only considered
211 1.1 cgd * out-of-date if any of its children was out-of-date.
212 1.1 cgd */
213 1.1 cgd if (DEBUG(MAKE)) {
214 1.1 cgd printf(".JOIN node...");
215 1.1 cgd }
216 1.8 christos oodate = gn->childMade;
217 1.1 cgd } else if (gn->type & (OP_FORCE|OP_EXEC|OP_PHONY)) {
218 1.1 cgd /*
219 1.1 cgd * A node which is the object of the force (!) operator or which has
220 1.1 cgd * the .EXEC attribute is always considered out-of-date.
221 1.1 cgd */
222 1.1 cgd if (DEBUG(MAKE)) {
223 1.1 cgd if (gn->type & OP_FORCE) {
224 1.8 christos printf("! operator...");
225 1.8 christos } else if (gn->type & OP_PHONY) {
226 1.1 cgd printf(".PHONY node...");
227 1.1 cgd } else {
228 1.1 cgd printf(".EXEC node...");
229 1.1 cgd }
230 1.1 cgd }
231 1.1 cgd oodate = TRUE;
232 1.1 cgd } else if ((gn->mtime < gn->cmtime) ||
233 1.1 cgd ((gn->cmtime == 0) &&
234 1.1 cgd ((gn->mtime==0) || (gn->type & OP_DOUBLEDEP))))
235 1.1 cgd {
236 1.1 cgd /*
237 1.1 cgd * A node whose modification time is less than that of its
238 1.1 cgd * youngest child or that has no children (cmtime == 0) and
239 1.1 cgd * either doesn't exist (mtime == 0) or was the object of a
240 1.1 cgd * :: operator is out-of-date. Why? Because that's the way Make does
241 1.1 cgd * it.
242 1.1 cgd */
243 1.1 cgd if (DEBUG(MAKE)) {
244 1.1 cgd if (gn->mtime < gn->cmtime) {
245 1.1 cgd printf("modified before source...");
246 1.1 cgd } else if (gn->mtime == 0) {
247 1.1 cgd printf("non-existent and no sources...");
248 1.1 cgd } else {
249 1.1 cgd printf(":: operator and no sources...");
250 1.1 cgd }
251 1.1 cgd }
252 1.1 cgd oodate = TRUE;
253 1.1 cgd } else {
254 1.1 cgd #if 0
255 1.1 cgd /* WHY? */
256 1.1 cgd if (DEBUG(MAKE)) {
257 1.1 cgd printf("source %smade...", gn->childMade ? "" : "not ");
258 1.1 cgd }
259 1.1 cgd oodate = gn->childMade;
260 1.1 cgd #else
261 1.1 cgd oodate = FALSE;
262 1.1 cgd #endif /* 0 */
263 1.1 cgd }
264 1.1 cgd
265 1.1 cgd /*
266 1.1 cgd * If the target isn't out-of-date, the parents need to know its
267 1.1 cgd * modification time. Note that targets that appear to be out-of-date
268 1.1 cgd * but aren't, because they have no commands and aren't of type OP_NOP,
269 1.1 cgd * have their mtime stay below their children's mtime to keep parents from
270 1.1 cgd * thinking they're out-of-date.
271 1.1 cgd */
272 1.5 jtc if (!oodate) {
273 1.1 cgd Lst_ForEach (gn->parents, MakeTimeStamp, (ClientData)gn);
274 1.1 cgd }
275 1.1 cgd
276 1.1 cgd return (oodate);
277 1.1 cgd }
278 1.1 cgd
279 1.1 cgd /*-
281 1.1 cgd *-----------------------------------------------------------------------
282 1.1 cgd * MakeAddChild --
283 1.1 cgd * Function used by Make_Run to add a child to the list l.
284 1.1 cgd * It will only add the child if its make field is FALSE.
285 1.1 cgd *
286 1.1 cgd * Results:
287 1.1 cgd * Always returns 0
288 1.1 cgd *
289 1.1 cgd * Side Effects:
290 1.1 cgd * The given list is extended
291 1.1 cgd *-----------------------------------------------------------------------
292 1.5 jtc */
293 1.5 jtc static int
294 1.5 jtc MakeAddChild (gnp, lp)
295 1.1 cgd ClientData gnp; /* the node to add */
296 1.5 jtc ClientData lp; /* the list to which to add it */
297 1.5 jtc {
298 1.1 cgd GNode *gn = (GNode *) gnp;
299 1.1 cgd Lst l = (Lst) lp;
300 1.1 cgd if (!gn->make && !(gn->type & OP_USE)) {
301 1.1 cgd (void)Lst_EnQueue (l, (ClientData)gn);
302 1.1 cgd }
303 1.1 cgd return (0);
304 1.1 cgd }
305 1.1 cgd
306 1.1 cgd /*-
307 1.1 cgd *-----------------------------------------------------------------------
308 1.1 cgd * Make_HandleUse --
309 1.1 cgd * Function called by Make_Run and SuffApplyTransform on the downward
310 1.1 cgd * pass to handle .USE and transformation nodes. A callback function
311 1.1 cgd * for Lst_ForEach, it implements the .USE and transformation
312 1.1 cgd * functionality by copying the node's commands, type flags
313 1.1 cgd * and children to the parent node. Should be called before the
314 1.1 cgd * children are enqueued to be looked at by MakeAddChild.
315 1.1 cgd *
316 1.1 cgd * A .USE node is much like an explicit transformation rule, except
317 1.1 cgd * its commands are always added to the target node, even if the
318 1.1 cgd * target already has commands.
319 1.1 cgd *
320 1.1 cgd * Results:
321 1.1 cgd * returns 0.
322 1.1 cgd *
323 1.1 cgd * Side Effects:
324 1.1 cgd * Children and commands may be added to the parent and the parent's
325 1.1 cgd * type may be changed.
326 1.1 cgd *
327 1.1 cgd *-----------------------------------------------------------------------
328 1.1 cgd */
329 1.1 cgd int
330 1.1 cgd Make_HandleUse (cgn, pgn)
331 1.1 cgd register GNode *cgn; /* The .USE node */
332 1.1 cgd register GNode *pgn; /* The target of the .USE node */
333 1.1 cgd {
334 1.1 cgd register GNode *gn; /* A child of the .USE node */
335 1.1 cgd register LstNode ln; /* An element in the children list */
336 1.1 cgd
337 1.1 cgd if (cgn->type & (OP_USE|OP_TRANSFORM)) {
338 1.1 cgd if ((cgn->type & OP_USE) || Lst_IsEmpty(pgn->commands)) {
339 1.1 cgd /*
340 1.1 cgd * .USE or transformation and target has no commands -- append
341 1.1 cgd * the child's commands to the parent.
342 1.1 cgd */
343 1.10 christos (void) Lst_Concat (pgn->commands, cgn->commands, LST_CONCNEW);
344 1.1 cgd }
345 1.1 cgd
346 1.1 cgd if (Lst_Open (cgn->children) == SUCCESS) {
347 1.1 cgd while ((ln = Lst_Next (cgn->children)) != NILLNODE) {
348 1.1 cgd gn = (GNode *)Lst_Datum (ln);
349 1.1 cgd
350 1.1 cgd if (Lst_Member (pgn->children, gn) == NILLNODE) {
351 1.1 cgd (void) Lst_AtEnd (pgn->children, gn);
352 1.1 cgd (void) Lst_AtEnd (gn->parents, pgn);
353 1.1 cgd pgn->unmade += 1;
354 1.1 cgd }
355 1.1 cgd }
356 1.10 christos Lst_Close (cgn->children);
357 1.1 cgd }
358 1.1 cgd
359 1.1 cgd pgn->type |= cgn->type & ~(OP_OPMASK|OP_USE|OP_TRANSFORM);
360 1.1 cgd
361 1.1 cgd /*
362 1.1 cgd * This child node is now "made", so we decrement the count of
363 1.1 cgd * unmade children in the parent... We also remove the child
364 1.1 cgd * from the parent's list to accurately reflect the number of decent
365 1.1 cgd * children the parent has. This is used by Make_Run to decide
366 1.1 cgd * whether to queue the parent or examine its children...
367 1.1 cgd */
368 1.1 cgd if (cgn->type & OP_USE) {
369 1.1 cgd pgn->unmade -= 1;
370 1.1 cgd }
371 1.1 cgd }
372 1.5 jtc return (0);
373 1.5 jtc }
374 1.5 jtc static int
375 1.5 jtc MakeHandleUse (pgn, cgn)
376 1.5 jtc ClientData pgn; /* the current parent */
377 1.5 jtc ClientData cgn; /* the child we've just examined */
378 1.5 jtc {
379 1.1 cgd return Make_HandleUse((GNode *) pgn, (GNode *) cgn);
380 1.1 cgd }
381 1.1 cgd
382 1.1 cgd /*-
384 1.1 cgd *-----------------------------------------------------------------------
385 1.10 christos * Make_Update --
386 1.1 cgd * Perform update on the parents of a node. Used by JobFinish once
387 1.1 cgd * a node has been dealt with and by MakeStartJobs if it finds an
388 1.1 cgd * up-to-date node.
389 1.1 cgd *
390 1.1 cgd * Results:
391 1.1 cgd * Always returns 0
392 1.1 cgd *
393 1.1 cgd * Side Effects:
394 1.1 cgd * The unmade field of pgn is decremented and pgn may be placed on
395 1.1 cgd * the toBeMade queue if this field becomes 0.
396 1.1 cgd *
397 1.1 cgd * If the child was made, the parent's childMade field will be set true
398 1.1 cgd * and its cmtime set to now.
399 1.1 cgd *
400 1.1 cgd * If the child wasn't made, the cmtime field of the parent will be
401 1.1 cgd * altered if the child's mtime is big enough.
402 1.1 cgd *
403 1.1 cgd * Finally, if the child is the implied source for the parent, the
404 1.1 cgd * parent's IMPSRC variable is set appropriately.
405 1.1 cgd *
406 1.1 cgd *-----------------------------------------------------------------------
407 1.1 cgd */
408 1.1 cgd void
409 1.1 cgd Make_Update (cgn)
410 1.1 cgd register GNode *cgn; /* the child node */
411 1.1 cgd {
412 1.5 jtc register GNode *pgn; /* the parent node */
413 1.1 cgd register char *cname; /* the child's name */
414 1.5 jtc register LstNode ln; /* Element in parents and iParents lists */
415 1.5 jtc char *p1;
416 1.5 jtc
417 1.1 cgd cname = Var_Value (TARGET, cgn, &p1);
418 1.1 cgd if (p1)
419 1.1 cgd free(p1);
420 1.1 cgd
421 1.1 cgd /*
422 1.1 cgd * If the child was actually made, see what its modification time is
423 1.1 cgd * now -- some rules won't actually update the file. If the file still
424 1.1 cgd * doesn't exist, make its mtime now.
425 1.1 cgd */
426 1.1 cgd if (cgn->made != UPTODATE) {
427 1.1 cgd #ifndef RECHECK
428 1.1 cgd /*
429 1.1 cgd * We can't re-stat the thing, but we can at least take care of rules
430 1.1 cgd * where a target depends on a source that actually creates the
431 1.1 cgd * target, but only if it has changed, e.g.
432 1.1 cgd *
433 1.1 cgd * parse.h : parse.o
434 1.1 cgd *
435 1.1 cgd * parse.o : parse.y
436 1.1 cgd * yacc -d parse.y
437 1.1 cgd * cc -c y.tab.c
438 1.1 cgd * mv y.tab.o parse.o
439 1.1 cgd * cmp -s y.tab.h parse.h || mv y.tab.h parse.h
440 1.1 cgd *
441 1.1 cgd * In this case, if the definitions produced by yacc haven't changed
442 1.1 cgd * from before, parse.h won't have been updated and cgn->mtime will
443 1.1 cgd * reflect the current modification time for parse.h. This is
444 1.1 cgd * something of a kludge, I admit, but it's a useful one..
445 1.1 cgd * XXX: People like to use a rule like
446 1.1 cgd *
447 1.1 cgd * FRC:
448 1.1 cgd *
449 1.1 cgd * To force things that depend on FRC to be made, so we have to
450 1.1 cgd * check for gn->children being empty as well...
451 1.1 cgd */
452 1.1 cgd if (!Lst_IsEmpty(cgn->commands) || Lst_IsEmpty(cgn->children)) {
453 1.1 cgd cgn->mtime = now;
454 1.1 cgd }
455 1.1 cgd #else
456 1.1 cgd /*
457 1.1 cgd * This is what Make does and it's actually a good thing, as it
458 1.1 cgd * allows rules like
459 1.1 cgd *
460 1.1 cgd * cmp -s y.tab.h parse.h || cp y.tab.h parse.h
461 1.1 cgd *
462 1.1 cgd * to function as intended. Unfortunately, thanks to the stateless
463 1.1 cgd * nature of NFS (by which I mean the loose coupling of two clients
464 1.1 cgd * using the same file from a common server), there are times
465 1.1 cgd * when the modification time of a file created on a remote
466 1.1 cgd * machine will not be modified before the local stat() implied by
467 1.1 cgd * the Dir_MTime occurs, thus leading us to believe that the file
468 1.1 cgd * is unchanged, wreaking havoc with files that depend on this one.
469 1.1 cgd *
470 1.1 cgd * I have decided it is better to make too much than to make too
471 1.4 cgd * little, so this stuff is commented out unless you're sure it's ok.
472 1.4 cgd * -- ardeb 1/12/88
473 1.4 cgd */
474 1.4 cgd /*
475 1.4 cgd * Christos, 4/9/92: If we are saving commands pretend that
476 1.4 cgd * the target is made now. Otherwise archives with ... rules
477 1.1 cgd * don't work!
478 1.1 cgd */
479 1.1 cgd if (noExecute || (cgn->type & OP_SAVE_CMDS) || Dir_MTime(cgn) == 0) {
480 1.1 cgd cgn->mtime = now;
481 1.1 cgd }
482 1.1 cgd if (DEBUG(MAKE)) {
483 1.1 cgd printf("update time: %s\n", Targ_FmtTime(cgn->mtime));
484 1.10 christos }
485 1.1 cgd #endif
486 1.1 cgd }
487 1.1 cgd
488 1.1 cgd if (Lst_Open (cgn->parents) == SUCCESS) {
489 1.1 cgd while ((ln = Lst_Next (cgn->parents)) != NILLNODE) {
490 1.1 cgd pgn = (GNode *)Lst_Datum (ln);
491 1.1 cgd if (pgn->make) {
492 1.1 cgd pgn->unmade -= 1;
493 1.1 cgd
494 1.1 cgd if ( ! (cgn->type & (OP_EXEC|OP_USE))) {
495 1.1 cgd if (cgn->made == MADE) {
496 1.1 cgd pgn->childMade = TRUE;
497 1.1 cgd if (pgn->cmtime < cgn->mtime) {
498 1.1 cgd pgn->cmtime = cgn->mtime;
499 1.1 cgd }
500 1.1 cgd } else {
501 1.1 cgd (void)Make_TimeStamp (pgn, cgn);
502 1.1 cgd }
503 1.1 cgd }
504 1.1 cgd if (pgn->unmade == 0) {
505 1.1 cgd /*
506 1.1 cgd * Queue the node up -- any unmade predecessors will
507 1.1 cgd * be dealt with in MakeStartJobs.
508 1.1 cgd */
509 1.1 cgd (void)Lst_EnQueue (toBeMade, (ClientData)pgn);
510 1.1 cgd } else if (pgn->unmade < 0) {
511 1.1 cgd Error ("Graph cycles through %s", pgn->name);
512 1.1 cgd }
513 1.1 cgd }
514 1.1 cgd }
515 1.1 cgd Lst_Close (cgn->parents);
516 1.1 cgd }
517 1.1 cgd /*
518 1.1 cgd * Deal with successor nodes. If any is marked for making and has an unmade
519 1.1 cgd * count of 0, has not been made and isn't in the examination queue,
520 1.1 cgd * it means we need to place it in the queue as it restrained itself
521 1.1 cgd * before.
522 1.1 cgd */
523 1.1 cgd for (ln = Lst_First(cgn->successors); ln != NILLNODE; ln = Lst_Succ(ln)) {
524 1.1 cgd GNode *succ = (GNode *)Lst_Datum(ln);
525 1.1 cgd
526 1.1 cgd if (succ->make && succ->unmade == 0 && succ->made == UNMADE &&
527 1.1 cgd Lst_Member(toBeMade, (ClientData)succ) == NILLNODE)
528 1.1 cgd {
529 1.10 christos (void)Lst_EnQueue(toBeMade, (ClientData)succ);
530 1.1 cgd }
531 1.1 cgd }
532 1.1 cgd
533 1.1 cgd /*
534 1.1 cgd * Set the .PREFIX and .IMPSRC variables for all the implied parents
535 1.5 jtc * of this node.
536 1.5 jtc */
537 1.1 cgd if (Lst_Open (cgn->iParents) == SUCCESS) {
538 1.1 cgd char *p1;
539 1.1 cgd char *cpref = Var_Value(PREFIX, cgn, &p1);
540 1.1 cgd
541 1.1 cgd while ((ln = Lst_Next (cgn->iParents)) != NILLNODE) {
542 1.1 cgd pgn = (GNode *)Lst_Datum (ln);
543 1.1 cgd if (pgn->make) {
544 1.1 cgd Var_Set (IMPSRC, cname, pgn);
545 1.5 jtc Var_Set (PREFIX, cpref, pgn);
546 1.5 jtc }
547 1.1 cgd }
548 1.1 cgd if (p1)
549 1.1 cgd free(p1);
550 1.1 cgd Lst_Close (cgn->iParents);
551 1.1 cgd }
552 1.1 cgd }
553 1.1 cgd
554 1.1 cgd /*-
556 1.1 cgd *-----------------------------------------------------------------------
557 1.1 cgd * MakeAddAllSrc --
558 1.1 cgd * Add a child's name to the ALLSRC and OODATE variables of the given
559 1.1 cgd * node. Called from Make_DoAllVar via Lst_ForEach. A child is added only
560 1.1 cgd * if it has not been given the .EXEC, .USE or .INVISIBLE attributes.
561 1.1 cgd * .EXEC and .USE children are very rarely going to be files, so...
562 1.1 cgd * A child is added to the OODATE variable if its modification time is
563 1.1 cgd * later than that of its parent, as defined by Make, except if the
564 1.1 cgd * parent is a .JOIN node. In that case, it is only added to the OODATE
565 1.1 cgd * variable if it was actually made (since .JOIN nodes don't have
566 1.1 cgd * modification times, the comparison is rather unfair...)..
567 1.1 cgd *
568 1.1 cgd * Results:
569 1.1 cgd * Always returns 0
570 1.1 cgd *
571 1.1 cgd * Side Effects:
572 1.5 jtc * The ALLSRC variable for the given node is extended.
573 1.5 jtc *-----------------------------------------------------------------------
574 1.5 jtc */
575 1.1 cgd static int
576 1.1 cgd MakeAddAllSrc (cgnp, pgnp)
577 1.5 jtc ClientData cgnp; /* The child to add */
578 1.5 jtc ClientData pgnp; /* The parent to whose ALLSRC variable it should be */
579 1.1 cgd /* added */
580 1.5 jtc {
581 1.9 christos GNode *cgn = (GNode *) cgnp;
582 1.1 cgd GNode *pgn = (GNode *) pgnp;
583 1.9 christos if ((cgn->type & (OP_EXEC|OP_USE|OP_INVISIBLE)) == 0) {
584 1.9 christos char *child;
585 1.9 christos char *p1 = NULL;
586 1.9 christos
587 1.9 christos if (OP_NOP(cgn->type)) {
588 1.9 christos /*
589 1.9 christos * this node is only source; use the specific pathname for it
590 1.9 christos */
591 1.1 cgd child = cgn->path ? cgn->path : cgn->name;
592 1.1 cgd }
593 1.1 cgd else
594 1.1 cgd child = Var_Value(TARGET, cgn, &p1);
595 1.1 cgd Var_Append (ALLSRC, child, pgn);
596 1.1 cgd if (pgn->type & OP_JOIN) {
597 1.1 cgd if (cgn->made == MADE) {
598 1.1 cgd Var_Append(OODATE, child, pgn);
599 1.1 cgd }
600 1.1 cgd } else if ((pgn->mtime < cgn->mtime) ||
601 1.1 cgd (cgn->mtime >= now && cgn->made == MADE))
602 1.1 cgd {
603 1.1 cgd /*
604 1.1 cgd * It goes in the OODATE variable if the parent is younger than the
605 1.1 cgd * child or if the child has been modified more recently than
606 1.1 cgd * the start of the make. This is to keep pmake from getting
607 1.1 cgd * confused if something else updates the parent after the
608 1.1 cgd * make starts (shouldn't happen, I know, but sometimes it
609 1.1 cgd * does). In such a case, if we've updated the kid, the parent
610 1.1 cgd * is likely to have a modification time later than that of
611 1.1 cgd * the kid and anything that relies on the OODATE variable will
612 1.1 cgd * be hosed.
613 1.1 cgd *
614 1.1 cgd * XXX: This will cause all made children to go in the OODATE
615 1.1 cgd * variable, even if they're not touched, if RECHECK isn't defined,
616 1.1 cgd * since cgn->mtime is set to now in Make_Update. According to
617 1.5 jtc * some people, this is good...
618 1.5 jtc */
619 1.1 cgd Var_Append(OODATE, child, pgn);
620 1.1 cgd }
621 1.1 cgd if (p1)
622 1.1 cgd free(p1);
623 1.1 cgd }
624 1.1 cgd return (0);
625 1.1 cgd }
626 1.1 cgd
627 1.1 cgd /*-
629 1.1 cgd *-----------------------------------------------------------------------
630 1.1 cgd * Make_DoAllVar --
631 1.1 cgd * Set up the ALLSRC and OODATE variables. Sad to say, it must be
632 1.1 cgd * done separately, rather than while traversing the graph. This is
633 1.1 cgd * because Make defined OODATE to contain all sources whose modification
634 1.1 cgd * times were later than that of the target, *not* those sources that
635 1.1 cgd * were out-of-date. Since in both compatibility and native modes,
636 1.1 cgd * the modification time of the parent isn't found until the child
637 1.1 cgd * has been dealt with, we have to wait until now to fill in the
638 1.1 cgd * variable. As for ALLSRC, the ordering is important and not
639 1.1 cgd * guaranteed when in native mode, so it must be set here, too.
640 1.1 cgd *
641 1.1 cgd * Results:
642 1.1 cgd * None
643 1.1 cgd *
644 1.1 cgd * Side Effects:
645 1.1 cgd * The ALLSRC and OODATE variables of the given node is filled in.
646 1.1 cgd * If the node is a .JOIN node, its TARGET variable will be set to
647 1.1 cgd * match its ALLSRC variable.
648 1.1 cgd *-----------------------------------------------------------------------
649 1.5 jtc */
650 1.1 cgd void
651 1.1 cgd Make_DoAllVar (gn)
652 1.1 cgd GNode *gn;
653 1.1 cgd {
654 1.1 cgd Lst_ForEach (gn->children, MakeAddAllSrc, (ClientData) gn);
655 1.1 cgd
656 1.1 cgd if (!Var_Exists (OODATE, gn)) {
657 1.1 cgd Var_Set (OODATE, "", gn);
658 1.1 cgd }
659 1.5 jtc if (!Var_Exists (ALLSRC, gn)) {
660 1.5 jtc Var_Set (ALLSRC, "", gn);
661 1.5 jtc }
662 1.5 jtc
663 1.1 cgd if (gn->type & OP_JOIN) {
664 1.1 cgd char *p1;
665 1.1 cgd Var_Set (TARGET, Var_Value (ALLSRC, gn, &p1), gn);
666 1.1 cgd if (p1)
667 1.1 cgd free(p1);
668 1.1 cgd }
669 1.1 cgd }
670 1.1 cgd
671 1.1 cgd /*-
673 1.1 cgd *-----------------------------------------------------------------------
674 1.1 cgd * MakeStartJobs --
675 1.1 cgd * Start as many jobs as possible.
676 1.1 cgd *
677 1.1 cgd * Results:
678 1.1 cgd * If the query flag was given to pmake, no job will be started,
679 1.1 cgd * but as soon as an out-of-date target is found, this function
680 1.1 cgd * returns TRUE. At all other times, this function returns FALSE.
681 1.1 cgd *
682 1.1 cgd * Side Effects:
683 1.1 cgd * Nodes are removed from the toBeMade queue and job table slots
684 1.1 cgd * are filled.
685 1.1 cgd *
686 1.10 christos *-----------------------------------------------------------------------
687 1.1 cgd */
688 1.1 cgd static Boolean
689 1.1 cgd MakeStartJobs ()
690 1.1 cgd {
691 1.1 cgd register GNode *gn;
692 1.1 cgd
693 1.1 cgd while (!Job_Full() && !Lst_IsEmpty (toBeMade)) {
694 1.1 cgd gn = (GNode *) Lst_DeQueue (toBeMade);
695 1.1 cgd if (DEBUG(MAKE)) {
696 1.1 cgd printf ("Examining %s...", gn->name);
697 1.1 cgd }
698 1.1 cgd /*
699 1.1 cgd * Make sure any and all predecessors that are going to be made,
700 1.1 cgd * have been.
701 1.1 cgd */
702 1.1 cgd if (!Lst_IsEmpty(gn->preds)) {
703 1.1 cgd LstNode ln;
704 1.1 cgd
705 1.1 cgd for (ln = Lst_First(gn->preds); ln != NILLNODE; ln = Lst_Succ(ln)){
706 1.1 cgd GNode *pgn = (GNode *)Lst_Datum(ln);
707 1.1 cgd
708 1.1 cgd if (pgn->make && pgn->made == UNMADE) {
709 1.1 cgd if (DEBUG(MAKE)) {
710 1.1 cgd printf("predecessor %s not made yet.\n", pgn->name);
711 1.1 cgd }
712 1.1 cgd break;
713 1.1 cgd }
714 1.1 cgd }
715 1.1 cgd /*
716 1.1 cgd * If ln isn't nil, there's a predecessor as yet unmade, so we
717 1.1 cgd * just drop this node on the floor. When the node in question
718 1.1 cgd * has been made, it will notice this node as being ready to
719 1.10 christos * make but as yet unmade and will place the node on the queue.
720 1.1 cgd */
721 1.1 cgd if (ln != NILLNODE) {
722 1.1 cgd continue;
723 1.1 cgd }
724 1.1 cgd }
725 1.1 cgd
726 1.1 cgd numNodes--;
727 1.1 cgd if (Make_OODate (gn)) {
728 1.1 cgd if (DEBUG(MAKE)) {
729 1.1 cgd printf ("out-of-date\n");
730 1.1 cgd }
731 1.1 cgd if (queryFlag) {
732 1.1 cgd return (TRUE);
733 1.1 cgd }
734 1.1 cgd Make_DoAllVar (gn);
735 1.1 cgd Job_Make (gn);
736 1.1 cgd } else {
737 1.1 cgd if (DEBUG(MAKE)) {
738 1.1 cgd printf ("up-to-date\n");
739 1.1 cgd }
740 1.1 cgd gn->made = UPTODATE;
741 1.1 cgd if (gn->type & OP_JOIN) {
742 1.1 cgd /*
743 1.1 cgd * Even for an up-to-date .JOIN node, we need it to have its
744 1.10 christos * context variables so references to it get the correct
745 1.1 cgd * value for .TARGET when building up the context variables
746 1.1 cgd * of its parent(s)...
747 1.1 cgd */
748 1.1 cgd Make_DoAllVar (gn);
749 1.1 cgd }
750 1.1 cgd
751 1.1 cgd Make_Update (gn);
752 1.1 cgd }
753 1.1 cgd }
754 1.1 cgd return (FALSE);
755 1.1 cgd }
756 1.1 cgd
757 1.1 cgd /*-
759 1.1 cgd *-----------------------------------------------------------------------
760 1.1 cgd * MakePrintStatus --
761 1.1 cgd * Print the status of a top-level node, viz. it being up-to-date
762 1.1 cgd * already or not created due to an error in a lower level.
763 1.1 cgd * Callback function for Make_Run via Lst_ForEach.
764 1.1 cgd *
765 1.1 cgd * Results:
766 1.1 cgd * Always returns 0.
767 1.5 jtc *
768 1.5 jtc * Side Effects:
769 1.5 jtc * A message may be printed.
770 1.1 cgd *
771 1.1 cgd *-----------------------------------------------------------------------
772 1.1 cgd */
773 1.5 jtc static int
774 1.5 jtc MakePrintStatus(gnp, cyclep)
775 1.1 cgd ClientData gnp; /* Node to examine */
776 1.1 cgd ClientData cyclep; /* True if gn->unmade being non-zero implies
777 1.1 cgd * a cycle in the graph, not an error in an
778 1.1 cgd * inferior */
779 1.5 jtc {
780 1.1 cgd GNode *gn = (GNode *) gnp;
781 1.1 cgd Boolean cycle = *(Boolean *) cyclep;
782 1.1 cgd if (gn->made == UPTODATE) {
783 1.1 cgd printf ("`%s' is up to date.\n", gn->name);
784 1.1 cgd } else if (gn->unmade != 0) {
785 1.1 cgd if (cycle) {
786 1.1 cgd Boolean t = TRUE;
787 1.1 cgd /*
788 1.1 cgd * If printing cycles and came to one that has unmade children,
789 1.1 cgd * print out the cycle by recursing on its children. Note a
790 1.1 cgd * cycle like:
791 1.1 cgd * a : b
792 1.1 cgd * b : c
793 1.5 jtc * c : b
794 1.1 cgd * will cause this to erroneously complain about a being in
795 1.1 cgd * the cycle, but this is a good approximation.
796 1.1 cgd */
797 1.5 jtc if (gn->made == CYCLE) {
798 1.1 cgd Error("Graph cycles through `%s'", gn->name);
799 1.1 cgd gn->made = ENDCYCLE;
800 1.1 cgd Lst_ForEach(gn->children, MakePrintStatus, (ClientData) &t);
801 1.1 cgd gn->made = UNMADE;
802 1.1 cgd } else if (gn->made != ENDCYCLE) {
803 1.1 cgd gn->made = CYCLE;
804 1.1 cgd Lst_ForEach(gn->children, MakePrintStatus, (ClientData) &t);
805 1.1 cgd }
806 1.1 cgd } else {
807 1.1 cgd printf ("`%s' not remade because of errors.\n", gn->name);
808 1.1 cgd }
809 1.1 cgd }
810 1.1 cgd return (0);
811 1.1 cgd }
812 1.1 cgd
813 1.1 cgd /*-
815 1.1 cgd *-----------------------------------------------------------------------
816 1.1 cgd * Make_Run --
817 1.1 cgd * Initialize the nodes to remake and the list of nodes which are
818 1.1 cgd * ready to be made by doing a breadth-first traversal of the graph
819 1.1 cgd * starting from the nodes in the given list. Once this traversal
820 1.1 cgd * is finished, all the 'leaves' of the graph are in the toBeMade
821 1.1 cgd * queue.
822 1.1 cgd * Using this queue and the Job module, work back up the graph,
823 1.1 cgd * calling on MakeStartJobs to keep the job table as full as
824 1.1 cgd * possible.
825 1.1 cgd *
826 1.1 cgd * Results:
827 1.1 cgd * TRUE if work was done. FALSE otherwise.
828 1.1 cgd *
829 1.1 cgd * Side Effects:
830 1.1 cgd * The make field of all nodes involved in the creation of the given
831 1.1 cgd * targets is set to 1. The toBeMade list is set to contain all the
832 1.1 cgd * 'leaves' of these subgraphs.
833 1.1 cgd *-----------------------------------------------------------------------
834 1.1 cgd */
835 1.1 cgd Boolean
836 1.1 cgd Make_Run (targs)
837 1.1 cgd Lst targs; /* the initial list of targets */
838 1.1 cgd {
839 1.10 christos register GNode *gn; /* a temporary pointer */
840 1.1 cgd register Lst examine; /* List of targets to examine */
841 1.1 cgd int errors; /* Number of errors the Job module reports */
842 1.1 cgd
843 1.1 cgd toBeMade = Lst_Init (FALSE);
844 1.1 cgd
845 1.1 cgd examine = Lst_Duplicate(targs, NOCOPY);
846 1.10 christos numNodes = 0;
847 1.1 cgd
848 1.1 cgd /*
849 1.1 cgd * Make an initial downward pass over the graph, marking nodes to be made
850 1.10 christos * as we go down. We call Suff_FindDeps to find where a node is and
851 1.1 cgd * to get some children for it if it has none and also has no commands.
852 1.1 cgd * If the node is a leaf, we stick it on the toBeMade queue to
853 1.1 cgd * be looked at in a minute, otherwise we add its children to our queue
854 1.10 christos * and go on about our business.
855 1.1 cgd */
856 1.1 cgd while (!Lst_IsEmpty (examine)) {
857 1.1 cgd gn = (GNode *) Lst_DeQueue (examine);
858 1.1 cgd
859 1.5 jtc if (!gn->make) {
860 1.1 cgd gn->make = TRUE;
861 1.1 cgd numNodes++;
862 1.1 cgd
863 1.1 cgd /*
864 1.1 cgd * Apply any .USE rules before looking for implicit dependencies
865 1.1 cgd * to make sure everything has commands that should...
866 1.1 cgd */
867 1.1 cgd Lst_ForEach (gn->children, MakeHandleUse, (ClientData)gn);
868 1.1 cgd Suff_FindDeps (gn);
869 1.10 christos
870 1.1 cgd if (gn->unmade != 0) {
871 1.1 cgd Lst_ForEach (gn->children, MakeAddChild, (ClientData)examine);
872 1.1 cgd } else {
873 1.1 cgd (void)Lst_EnQueue (toBeMade, (ClientData)gn);
874 1.1 cgd }
875 1.1 cgd }
876 1.1 cgd }
877 1.1 cgd
878 1.1 cgd Lst_Destroy (examine, NOFREE);
879 1.1 cgd
880 1.1 cgd if (queryFlag) {
881 1.1 cgd /*
882 1.1 cgd * We wouldn't do any work unless we could start some jobs in the
883 1.1 cgd * next loop... (we won't actually start any, of course, this is just
884 1.1 cgd * to see if any of the targets was out of date)
885 1.10 christos */
886 1.1 cgd return (MakeStartJobs());
887 1.1 cgd } else {
888 1.1 cgd /*
889 1.1 cgd * Initialization. At the moment, no jobs are running and until some
890 1.1 cgd * get started, nothing will happen since the remaining upward
891 1.1 cgd * traversal of the graph is performed by the routines in job.c upon
892 1.1 cgd * the finishing of a job. So we fill the Job table as much as we can
893 1.1 cgd * before going into our loop.
894 1.1 cgd */
895 1.1 cgd (void) MakeStartJobs();
896 1.1 cgd }
897 1.1 cgd
898 1.1 cgd /*
899 1.1 cgd * Main Loop: The idea here is that the ending of jobs will take
900 1.1 cgd * care of the maintenance of data structures and the waiting for output
901 1.1 cgd * will cause us to be idle most of the time while our children run as
902 1.1 cgd * much as possible. Because the job table is kept as full as possible,
903 1.1 cgd * the only time when it will be empty is when all the jobs which need
904 1.1 cgd * running have been run, so that is the end condition of this loop.
905 1.1 cgd * Note that the Job module will exit if there were any errors unless the
906 1.1 cgd * keepgoing flag was given.
907 1.1 cgd */
908 1.1 cgd while (!Job_Empty ()) {
909 1.1 cgd Job_CatchOutput ();
910 1.1 cgd Job_CatchChildren (!usePipes);
911 1.1 cgd (void)MakeStartJobs();
912 1.5 jtc }
913 1.5 jtc
914 1.10 christos errors = Job_End();
915 1.1 cgd
916 1.1 cgd /*
917 * Print the final status of each target. E.g. if it wasn't made
918 * because some inferior reported an error.
919 */
920 errors = ((errors == 0) && (numNodes != 0));
921 Lst_ForEach(targs, MakePrintStatus, (ClientData) &errors);
922
923 return (TRUE);
924 }
925