- Add a new test suite for LIBPATTERNS
[make.git] / remake.c
blob0d940d6b3cc47b84926a4f1e4eef7d0ea49e300b
1 /* Basic dependency engine for GNU Make.
2 Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software
4 Foundation, Inc.
5 This file is part of GNU Make.
7 GNU Make is free software; you can redistribute it and/or modify it under the
8 terms of the GNU General Public License as published by the Free Software
9 Foundation; either version 3 of the License, or (at your option) any later
10 version.
12 GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
14 A PARTICULAR PURPOSE. See the GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License along with
17 this program. If not, see <http://www.gnu.org/licenses/>. */
19 #include "make.h"
20 #include "filedef.h"
21 #include "job.h"
22 #include "commands.h"
23 #include "dep.h"
24 #include "variable.h"
25 #include "debug.h"
27 #include <assert.h>
29 #ifdef HAVE_FCNTL_H
30 #include <fcntl.h>
31 #else
32 #include <sys/file.h>
33 #endif
35 #ifdef VMS
36 #include <starlet.h>
37 #endif
38 #ifdef WINDOWS32
39 #include <io.h>
40 #endif
42 extern int try_implicit_rule (struct file *file, unsigned int depth);
45 /* The test for circular dependencies is based on the 'updating' bit in
46 `struct file'. However, double colon targets have seperate `struct
47 file's; make sure we always use the base of the double colon chain. */
49 #define start_updating(_f) (((_f)->double_colon ? (_f)->double_colon : (_f))\
50 ->updating = 1)
51 #define finish_updating(_f) (((_f)->double_colon ? (_f)->double_colon : (_f))\
52 ->updating = 0)
53 #define is_updating(_f) (((_f)->double_colon ? (_f)->double_colon : (_f))\
54 ->updating)
57 /* Incremented when a command is started (under -n, when one would be). */
58 unsigned int commands_started = 0;
60 /* Current value for pruning the scan of the goal chain (toggle 0/1). */
61 static unsigned int considered;
63 static int update_file (struct file *file, unsigned int depth);
64 static int update_file_1 (struct file *file, unsigned int depth);
65 static int check_dep (struct file *file, unsigned int depth,
66 FILE_TIMESTAMP this_mtime, int *must_make_ptr);
67 static int touch_file (struct file *file);
68 static void remake_file (struct file *file);
69 static FILE_TIMESTAMP name_mtime (const char *name);
70 static const char *library_search (const char *lib, FILE_TIMESTAMP *mtime_ptr);
73 /* Remake all the goals in the `struct dep' chain GOALS. Return -1 if nothing
74 was done, 0 if all goals were updated successfully, or 1 if a goal failed.
76 If rebuilding_makefiles is nonzero, these goals are makefiles, so -t, -q,
77 and -n should be disabled for them unless they were also command-line
78 targets, and we should only make one goal at a time and return as soon as
79 one goal whose `changed' member is nonzero is successfully made. */
81 int
82 update_goal_chain (struct dep *goals)
84 int t = touch_flag, q = question_flag, n = just_print_flag;
85 unsigned int j = job_slots;
86 int status = -1;
88 #define MTIME(file) (rebuilding_makefiles ? file_mtime_no_search (file) \
89 : file_mtime (file))
91 /* Duplicate the chain so we can remove things from it. */
93 goals = copy_dep_chain (goals);
96 /* Clear the `changed' flag of each goal in the chain.
97 We will use the flag below to notice when any commands
98 have actually been run for a target. When no commands
99 have been run, we give an "up to date" diagnostic. */
101 struct dep *g;
102 for (g = goals; g != 0; g = g->next)
103 g->changed = 0;
106 /* All files start with the considered bit 0, so the global value is 1. */
107 considered = 1;
109 /* Update all the goals until they are all finished. */
111 while (goals != 0)
113 register struct dep *g, *lastgoal;
115 /* Start jobs that are waiting for the load to go down. */
117 start_waiting_jobs ();
119 /* Wait for a child to die. */
121 reap_children (1, 0);
123 lastgoal = 0;
124 g = goals;
125 while (g != 0)
127 /* Iterate over all double-colon entries for this file. */
128 struct file *file;
129 int stop = 0, any_not_updated = 0;
131 for (file = g->file->double_colon ? g->file->double_colon : g->file;
132 file != NULL;
133 file = file->prev)
135 unsigned int ocommands_started;
136 int x;
137 check_renamed (file);
138 if (rebuilding_makefiles)
140 if (file->cmd_target)
142 touch_flag = t;
143 question_flag = q;
144 just_print_flag = n;
146 else
147 touch_flag = question_flag = just_print_flag = 0;
150 /* Save the old value of `commands_started' so we can compare
151 later. It will be incremented when any commands are
152 actually run. */
153 ocommands_started = commands_started;
155 x = update_file (file, rebuilding_makefiles ? 1 : 0);
156 check_renamed (file);
158 /* Set the goal's `changed' flag if any commands were started
159 by calling update_file above. We check this flag below to
160 decide when to give an "up to date" diagnostic. */
161 if (commands_started > ocommands_started)
162 g->changed = 1;
164 /* If we updated a file and STATUS was not already 1, set it to
165 1 if updating failed, or to 0 if updating succeeded. Leave
166 STATUS as it is if no updating was done. */
168 stop = 0;
169 if ((x != 0 || file->updated) && status < 1)
171 if (file->update_status != 0)
173 /* Updating failed, or -q triggered. The STATUS value
174 tells our caller which. */
175 status = file->update_status;
176 /* If -q just triggered, stop immediately. It doesn't
177 matter how much more we run, since we already know
178 the answer to return. */
179 stop = (question_flag && !keep_going_flag
180 && !rebuilding_makefiles);
182 else
184 FILE_TIMESTAMP mtime = MTIME (file);
185 check_renamed (file);
187 if (file->updated && g->changed &&
188 mtime != file->mtime_before_update)
190 /* Updating was done. If this is a makefile and
191 just_print_flag or question_flag is set (meaning
192 -n or -q was given and this file was specified
193 as a command-line target), don't change STATUS.
194 If STATUS is changed, we will get re-exec'd, and
195 enter an infinite loop. */
196 if (!rebuilding_makefiles
197 || (!just_print_flag && !question_flag))
198 status = 0;
199 if (rebuilding_makefiles && file->dontcare)
200 /* This is a default makefile; stop remaking. */
201 stop = 1;
206 /* Keep track if any double-colon entry is not finished.
207 When they are all finished, the goal is finished. */
208 any_not_updated |= !file->updated;
210 if (stop)
211 break;
214 /* Reset FILE since it is null at the end of the loop. */
215 file = g->file;
217 if (stop || !any_not_updated)
219 /* If we have found nothing whatever to do for the goal,
220 print a message saying nothing needs doing. */
222 if (!rebuilding_makefiles
223 /* If the update_status is zero, we updated successfully
224 or not at all. G->changed will have been set above if
225 any commands were actually started for this goal. */
226 && file->update_status == 0 && !g->changed
227 /* Never give a message under -s or -q. */
228 && !silent_flag && !question_flag)
229 message (1, ((file->phony || file->cmds == 0)
230 ? _("Nothing to be done for `%s'.")
231 : _("`%s' is up to date.")),
232 file->name);
234 /* This goal is finished. Remove it from the chain. */
235 if (lastgoal == 0)
236 goals = g->next;
237 else
238 lastgoal->next = g->next;
240 /* Free the storage. */
241 free (g);
243 g = lastgoal == 0 ? goals : lastgoal->next;
245 if (stop)
246 break;
248 else
250 lastgoal = g;
251 g = g->next;
255 /* If we reached the end of the dependency graph toggle the considered
256 flag for the next pass. */
257 if (g == 0)
258 considered = !considered;
261 if (rebuilding_makefiles)
263 touch_flag = t;
264 question_flag = q;
265 just_print_flag = n;
266 job_slots = j;
269 return status;
272 /* If FILE is not up to date, execute the commands for it.
273 Return 0 if successful, 1 if unsuccessful;
274 but with some flag settings, just call `exit' if unsuccessful.
276 DEPTH is the depth in recursions of this function.
277 We increment it during the consideration of our dependencies,
278 then decrement it again after finding out whether this file
279 is out of date.
281 If there are multiple double-colon entries for FILE,
282 each is considered in turn. */
284 static int
285 update_file (struct file *file, unsigned int depth)
287 register int status = 0;
288 register struct file *f;
290 f = file->double_colon ? file->double_colon : file;
292 /* Prune the dependency graph: if we've already been here on _this_
293 pass through the dependency graph, we don't have to go any further.
294 We won't reap_children until we start the next pass, so no state
295 change is possible below here until then. */
296 if (f->considered == considered)
298 DBF (DB_VERBOSE, _("Pruning file `%s'.\n"));
299 return f->command_state == cs_finished ? f->update_status : 0;
302 /* This loop runs until we start commands for a double colon rule, or until
303 the chain is exhausted. */
304 for (; f != 0; f = f->prev)
306 f->considered = considered;
308 status |= update_file_1 (f, depth);
309 check_renamed (f);
311 /* Clean up any alloca() used during the update. */
312 alloca (0);
314 /* If we got an error, don't bother with double_colon etc. */
315 if (status != 0 && !keep_going_flag)
316 return status;
318 if (f->command_state == cs_running
319 || f->command_state == cs_deps_running)
321 /* Don't run the other :: rules for this
322 file until this rule is finished. */
323 status = 0;
324 break;
328 /* Process the remaining rules in the double colon chain so they're marked
329 considered. Start their prerequisites, too. */
330 if (file->double_colon)
331 for (; f != 0 ; f = f->prev)
333 struct dep *d;
335 f->considered = considered;
337 for (d = f->deps; d != 0; d = d->next)
338 status |= update_file (d->file, depth + 1);
341 return status;
344 /* Show a message stating the target failed to build. */
346 static void
347 complain (const struct file *file)
349 const char *msg_noparent
350 = _("%sNo rule to make target `%s'%s");
351 const char *msg_parent
352 = _("%sNo rule to make target `%s', needed by `%s'%s");
354 if (!keep_going_flag)
356 if (file->parent == 0)
357 fatal (NILF, msg_noparent, "", file->name, "");
359 fatal (NILF, msg_parent, "", file->name, file->parent->name, "");
362 if (file->parent == 0)
363 error (NILF, msg_noparent, "*** ", file->name, ".");
364 else
365 error (NILF, msg_parent, "*** ", file->name, file->parent->name, ".");
368 /* Consider a single `struct file' and update it as appropriate. */
370 static int
371 update_file_1 (struct file *file, unsigned int depth)
373 register FILE_TIMESTAMP this_mtime;
374 int noexist, must_make, deps_changed;
375 int dep_status = 0;
376 register struct dep *d, *lastd;
377 int running = 0;
379 DBF (DB_VERBOSE, _("Considering target file `%s'.\n"));
381 if (file->updated)
383 if (file->update_status > 0)
385 DBF (DB_VERBOSE,
386 _("Recently tried and failed to update file `%s'.\n"));
388 /* If the file we tried to make is marked dontcare then no message
389 was printed about it when it failed during the makefile rebuild.
390 If we're trying to build it again in the normal rebuild, print a
391 message now. */
392 if (file->dontcare && !rebuilding_makefiles)
394 file->dontcare = 0;
395 complain (file);
398 return file->update_status;
401 DBF (DB_VERBOSE, _("File `%s' was considered already.\n"));
402 return 0;
405 switch (file->command_state)
407 case cs_not_started:
408 case cs_deps_running:
409 break;
410 case cs_running:
411 DBF (DB_VERBOSE, _("Still updating file `%s'.\n"));
412 return 0;
413 case cs_finished:
414 DBF (DB_VERBOSE, _("Finished updating file `%s'.\n"));
415 return file->update_status;
416 default:
417 abort ();
420 ++depth;
422 /* Notice recursive update of the same file. */
423 start_updating (file);
425 /* Looking at the file's modtime beforehand allows the possibility
426 that its name may be changed by a VPATH search, and thus it may
427 not need an implicit rule. If this were not done, the file
428 might get implicit commands that apply to its initial name, only
429 to have that name replaced with another found by VPATH search. */
431 this_mtime = file_mtime (file);
432 check_renamed (file);
433 noexist = this_mtime == NONEXISTENT_MTIME;
434 if (noexist)
435 DBF (DB_BASIC, _("File `%s' does not exist.\n"));
436 else if (ORDINARY_MTIME_MIN <= this_mtime && this_mtime <= ORDINARY_MTIME_MAX
437 && file->low_resolution_time)
439 /* Avoid spurious rebuilds due to low resolution time stamps. */
440 int ns = FILE_TIMESTAMP_NS (this_mtime);
441 if (ns != 0)
442 error (NILF, _("*** Warning: .LOW_RESOLUTION_TIME file `%s' has a high resolution time stamp"),
443 file->name);
444 this_mtime += FILE_TIMESTAMPS_PER_S - 1 - ns;
447 must_make = noexist;
449 /* If file was specified as a target with no commands,
450 come up with some default commands. */
452 if (!file->phony && file->cmds == 0 && !file->tried_implicit)
454 if (try_implicit_rule (file, depth))
455 DBF (DB_IMPLICIT, _("Found an implicit rule for `%s'.\n"));
456 else
457 DBF (DB_IMPLICIT, _("No implicit rule found for `%s'.\n"));
458 file->tried_implicit = 1;
460 if (file->cmds == 0 && !file->is_target
461 && default_file != 0 && default_file->cmds != 0)
463 DBF (DB_IMPLICIT, _("Using default recipe for `%s'.\n"));
464 file->cmds = default_file->cmds;
467 /* Update all non-intermediate files we depend on, if necessary,
468 and see whether any of them is more recent than this file. */
470 lastd = 0;
471 d = file->deps;
472 while (d != 0)
474 FILE_TIMESTAMP mtime;
475 int maybe_make;
476 int dontcare = 0;
478 check_renamed (d->file);
480 mtime = file_mtime (d->file);
481 check_renamed (d->file);
483 if (is_updating (d->file))
485 error (NILF, _("Circular %s <- %s dependency dropped."),
486 file->name, d->file->name);
487 /* We cannot free D here because our the caller will still have
488 a reference to it when we were called recursively via
489 check_dep below. */
490 if (lastd == 0)
491 file->deps = d->next;
492 else
493 lastd->next = d->next;
494 d = d->next;
495 continue;
498 d->file->parent = file;
499 maybe_make = must_make;
501 /* Inherit dontcare flag from our parent. */
502 if (rebuilding_makefiles)
504 dontcare = d->file->dontcare;
505 d->file->dontcare = file->dontcare;
509 dep_status |= check_dep (d->file, depth, this_mtime, &maybe_make);
511 /* Restore original dontcare flag. */
512 if (rebuilding_makefiles)
513 d->file->dontcare = dontcare;
515 if (! d->ignore_mtime)
516 must_make = maybe_make;
518 check_renamed (d->file);
521 register struct file *f = d->file;
522 if (f->double_colon)
523 f = f->double_colon;
526 running |= (f->command_state == cs_running
527 || f->command_state == cs_deps_running);
528 f = f->prev;
530 while (f != 0);
533 if (dep_status != 0 && !keep_going_flag)
534 break;
536 if (!running)
537 /* The prereq is considered changed if the timestamp has changed while
538 it was built, OR it doesn't exist. */
539 d->changed = ((file_mtime (d->file) != mtime)
540 || (mtime == NONEXISTENT_MTIME));
542 lastd = d;
543 d = d->next;
546 /* Now we know whether this target needs updating.
547 If it does, update all the intermediate files we depend on. */
549 if (must_make || always_make_flag)
551 for (d = file->deps; d != 0; d = d->next)
552 if (d->file->intermediate)
554 int dontcare = 0;
556 FILE_TIMESTAMP mtime = file_mtime (d->file);
557 check_renamed (d->file);
558 d->file->parent = file;
560 /* Inherit dontcare flag from our parent. */
561 if (rebuilding_makefiles)
563 dontcare = d->file->dontcare;
564 d->file->dontcare = file->dontcare;
568 dep_status |= update_file (d->file, depth);
570 /* Restore original dontcare flag. */
571 if (rebuilding_makefiles)
572 d->file->dontcare = dontcare;
574 check_renamed (d->file);
577 register struct file *f = d->file;
578 if (f->double_colon)
579 f = f->double_colon;
582 running |= (f->command_state == cs_running
583 || f->command_state == cs_deps_running);
584 f = f->prev;
586 while (f != 0);
589 if (dep_status != 0 && !keep_going_flag)
590 break;
592 if (!running)
593 d->changed = ((file->phony && file->cmds != 0)
594 || file_mtime (d->file) != mtime);
598 finish_updating (file);
600 DBF (DB_VERBOSE, _("Finished prerequisites of target file `%s'.\n"));
602 if (running)
604 set_command_state (file, cs_deps_running);
605 --depth;
606 DBF (DB_VERBOSE, _("The prerequisites of `%s' are being made.\n"));
607 return 0;
610 /* If any dependency failed, give up now. */
612 if (dep_status != 0)
614 file->update_status = dep_status;
615 notice_finished_file (file);
617 --depth;
619 DBF (DB_VERBOSE, _("Giving up on target file `%s'.\n"));
621 if (depth == 0 && keep_going_flag
622 && !just_print_flag && !question_flag)
623 error (NILF,
624 _("Target `%s' not remade because of errors."), file->name);
626 return dep_status;
629 if (file->command_state == cs_deps_running)
630 /* The commands for some deps were running on the last iteration, but
631 they have finished now. Reset the command_state to not_started to
632 simplify later bookkeeping. It is important that we do this only
633 when the prior state was cs_deps_running, because that prior state
634 was definitely propagated to FILE's also_make's by set_command_state
635 (called above), but in another state an also_make may have
636 independently changed to finished state, and we would confuse that
637 file's bookkeeping (updated, but not_started is bogus state). */
638 set_command_state (file, cs_not_started);
640 /* Now record which prerequisites are more
641 recent than this file, so we can define $?. */
643 deps_changed = 0;
644 for (d = file->deps; d != 0; d = d->next)
646 FILE_TIMESTAMP d_mtime = file_mtime (d->file);
647 check_renamed (d->file);
649 if (! d->ignore_mtime)
651 #if 1
652 /* %%% In version 4, remove this code completely to
653 implement not remaking deps if their deps are newer
654 than their parents. */
655 if (d_mtime == NONEXISTENT_MTIME && !d->file->intermediate)
656 /* We must remake if this dep does not
657 exist and is not intermediate. */
658 must_make = 1;
659 #endif
661 /* Set DEPS_CHANGED if this dep actually changed. */
662 deps_changed |= d->changed;
665 /* Set D->changed if either this dep actually changed,
666 or its dependent, FILE, is older or does not exist. */
667 d->changed |= noexist || d_mtime > this_mtime;
669 if (!noexist && ISDB (DB_BASIC|DB_VERBOSE))
671 const char *fmt = 0;
673 if (d->ignore_mtime)
675 if (ISDB (DB_VERBOSE))
676 fmt = _("Prerequisite `%s' is order-only for target `%s'.\n");
678 else if (d_mtime == NONEXISTENT_MTIME)
680 if (ISDB (DB_BASIC))
681 fmt = _("Prerequisite `%s' of target `%s' does not exist.\n");
683 else if (d->changed)
685 if (ISDB (DB_BASIC))
686 fmt = _("Prerequisite `%s' is newer than target `%s'.\n");
688 else if (ISDB (DB_VERBOSE))
689 fmt = _("Prerequisite `%s' is older than target `%s'.\n");
691 if (fmt)
693 print_spaces (depth);
694 printf (fmt, dep_name (d), file->name);
695 fflush (stdout);
700 /* Here depth returns to the value it had when we were called. */
701 depth--;
703 if (file->double_colon && file->deps == 0)
705 must_make = 1;
706 DBF (DB_BASIC,
707 _("Target `%s' is double-colon and has no prerequisites.\n"));
709 else if (!noexist && file->is_target && !deps_changed && file->cmds == 0
710 && !always_make_flag)
712 must_make = 0;
713 DBF (DB_VERBOSE,
714 _("No recipe for `%s' and no prerequisites actually changed.\n"));
716 else if (!must_make && file->cmds != 0 && always_make_flag)
718 must_make = 1;
719 DBF (DB_VERBOSE, _("Making `%s' due to always-make flag.\n"));
722 if (!must_make)
724 if (ISDB (DB_VERBOSE))
726 print_spaces (depth);
727 printf (_("No need to remake target `%s'"), file->name);
728 if (!streq (file->name, file->hname))
729 printf (_("; using VPATH name `%s'"), file->hname);
730 puts (".");
731 fflush (stdout);
734 notice_finished_file (file);
736 /* Since we don't need to remake the file, convert it to use the
737 VPATH filename if we found one. hfile will be either the
738 local name if no VPATH or the VPATH name if one was found. */
740 while (file)
742 file->name = file->hname;
743 file = file->prev;
746 return 0;
749 DBF (DB_BASIC, _("Must remake target `%s'.\n"));
751 /* It needs to be remade. If it's VPATH and not reset via GPATH, toss the
752 VPATH. */
753 if (!streq(file->name, file->hname))
755 DB (DB_BASIC, (_(" Ignoring VPATH name `%s'.\n"), file->hname));
756 file->ignore_vpath = 1;
759 /* Now, take appropriate actions to remake the file. */
760 remake_file (file);
762 if (file->command_state != cs_finished)
764 DBF (DB_VERBOSE, _("Recipe of `%s' is being run.\n"));
765 return 0;
768 switch (file->update_status)
770 case 2:
771 DBF (DB_BASIC, _("Failed to remake target file `%s'.\n"));
772 break;
773 case 0:
774 DBF (DB_BASIC, _("Successfully remade target file `%s'.\n"));
775 break;
776 case 1:
777 DBF (DB_BASIC, _("Target file `%s' needs remade under -q.\n"));
778 break;
779 default:
780 assert (file->update_status >= 0 && file->update_status <= 2);
781 break;
784 file->updated = 1;
785 return file->update_status;
788 /* Set FILE's `updated' flag and re-check its mtime and the mtime's of all
789 files listed in its `also_make' member. Under -t, this function also
790 touches FILE.
792 On return, FILE->update_status will no longer be -1 if it was. */
794 void
795 notice_finished_file (struct file *file)
797 struct dep *d;
798 int ran = file->command_state == cs_running;
799 int touched = 0;
801 file->command_state = cs_finished;
802 file->updated = 1;
804 if (touch_flag
805 /* The update status will be:
806 -1 if this target was not remade;
807 0 if 0 or more commands (+ or ${MAKE}) were run and won;
808 1 if some commands were run and lost.
809 We touch the target if it has commands which either were not run
810 or won when they ran (i.e. status is 0). */
811 && file->update_status == 0)
813 if (file->cmds != 0 && file->cmds->any_recurse)
815 /* If all the command lines were recursive,
816 we don't want to do the touching. */
817 unsigned int i;
818 for (i = 0; i < file->cmds->ncommand_lines; ++i)
819 if (!(file->cmds->lines_flags[i] & COMMANDS_RECURSE))
820 goto have_nonrecursing;
822 else
824 have_nonrecursing:
825 if (file->phony)
826 file->update_status = 0;
827 /* According to POSIX, -t doesn't affect targets with no cmds. */
828 else if (file->cmds != 0)
830 /* Should set file's modification date and do nothing else. */
831 file->update_status = touch_file (file);
833 /* Pretend we ran a real touch command, to suppress the
834 "`foo' is up to date" message. */
835 commands_started++;
837 /* Request for the timestamp to be updated (and distributed
838 to the double-colon entries). Simply setting ran=1 would
839 almost have done the trick, but messes up with the also_make
840 updating logic below. */
841 touched = 1;
846 if (file->mtime_before_update == UNKNOWN_MTIME)
847 file->mtime_before_update = file->last_mtime;
849 if ((ran && !file->phony) || touched)
851 int i = 0;
853 /* If -n, -t, or -q and all the commands are recursive, we ran them so
854 really check the target's mtime again. Otherwise, assume the target
855 would have been updated. */
857 if (question_flag || just_print_flag || touch_flag)
859 for (i = file->cmds->ncommand_lines; i > 0; --i)
860 if (! (file->cmds->lines_flags[i-1] & COMMANDS_RECURSE))
861 break;
864 /* If there were no commands at all, it's always new. */
866 else if (file->is_target && file->cmds == 0)
867 i = 1;
869 file->last_mtime = i == 0 ? UNKNOWN_MTIME : NEW_MTIME;
872 if (file->double_colon)
874 /* If this is a double colon rule and it is the last one to be
875 updated, propagate the change of modification time to all the
876 double-colon entries for this file.
878 We do it on the last update because it is important to handle
879 individual entries as separate rules with separate timestamps
880 while they are treated as targets and then as one rule with the
881 unified timestamp when they are considered as a prerequisite
882 of some target. */
884 struct file *f;
885 FILE_TIMESTAMP max_mtime = file->last_mtime;
887 /* Check that all rules were updated and at the same time find
888 the max timestamp. We assume UNKNOWN_MTIME is newer then
889 any other value. */
890 for (f = file->double_colon; f != 0 && f->updated; f = f->prev)
891 if (max_mtime != UNKNOWN_MTIME
892 && (f->last_mtime == UNKNOWN_MTIME || f->last_mtime > max_mtime))
893 max_mtime = f->last_mtime;
895 if (f == 0)
896 for (f = file->double_colon; f != 0; f = f->prev)
897 f->last_mtime = max_mtime;
900 if (ran && file->update_status != -1)
901 /* We actually tried to update FILE, which has
902 updated its also_make's as well (if it worked).
903 If it didn't work, it wouldn't work again for them.
904 So mark them as updated with the same status. */
905 for (d = file->also_make; d != 0; d = d->next)
907 d->file->command_state = cs_finished;
908 d->file->updated = 1;
909 d->file->update_status = file->update_status;
911 if (ran && !d->file->phony)
912 /* Fetch the new modification time.
913 We do this instead of just invalidating the cached time
914 so that a vpath_search can happen. Otherwise, it would
915 never be done because the target is already updated. */
916 f_mtime (d->file, 0);
918 else if (file->update_status == -1)
919 /* Nothing was done for FILE, but it needed nothing done.
920 So mark it now as "succeeded". */
921 file->update_status = 0;
924 /* Check whether another file (whose mtime is THIS_MTIME) needs updating on
925 account of a dependency which is file FILE. If it does, store 1 in
926 *MUST_MAKE_PTR. In the process, update any non-intermediate files that
927 FILE depends on (including FILE itself). Return nonzero if any updating
928 failed. */
930 static int
931 check_dep (struct file *file, unsigned int depth,
932 FILE_TIMESTAMP this_mtime, int *must_make_ptr)
934 struct dep *d;
935 int dep_status = 0;
937 ++depth;
938 start_updating (file);
940 if (file->phony || !file->intermediate)
942 /* If this is a non-intermediate file, update it and record whether it
943 is newer than THIS_MTIME. */
944 FILE_TIMESTAMP mtime;
945 dep_status = update_file (file, depth);
946 check_renamed (file);
947 mtime = file_mtime (file);
948 check_renamed (file);
949 if (mtime == NONEXISTENT_MTIME || mtime > this_mtime)
950 *must_make_ptr = 1;
952 else
954 /* FILE is an intermediate file. */
955 FILE_TIMESTAMP mtime;
957 if (!file->phony && file->cmds == 0 && !file->tried_implicit)
959 if (try_implicit_rule (file, depth))
960 DBF (DB_IMPLICIT, _("Found an implicit rule for `%s'.\n"));
961 else
962 DBF (DB_IMPLICIT, _("No implicit rule found for `%s'.\n"));
963 file->tried_implicit = 1;
965 if (file->cmds == 0 && !file->is_target
966 && default_file != 0 && default_file->cmds != 0)
968 DBF (DB_IMPLICIT, _("Using default commands for `%s'.\n"));
969 file->cmds = default_file->cmds;
972 check_renamed (file);
973 mtime = file_mtime (file);
974 check_renamed (file);
975 if (mtime != NONEXISTENT_MTIME && mtime > this_mtime)
976 /* If the intermediate file actually exists and is newer, then we
977 should remake from it. */
978 *must_make_ptr = 1;
979 else
981 /* Otherwise, update all non-intermediate files we depend on, if
982 necessary, and see whether any of them is more recent than the
983 file on whose behalf we are checking. */
984 struct dep *lastd;
985 int deps_running = 0;
987 /* If this target is not running, set it's state so that we check it
988 fresh. It could be it was checked as part of an order-only
989 prerequisite and so wasn't rebuilt then, but should be now. */
990 if (file->command_state != cs_running)
991 set_command_state (file, cs_not_started);
993 lastd = 0;
994 d = file->deps;
995 while (d != 0)
997 int maybe_make;
999 if (is_updating (d->file))
1001 error (NILF, _("Circular %s <- %s dependency dropped."),
1002 file->name, d->file->name);
1003 if (lastd == 0)
1005 file->deps = d->next;
1006 free_dep (d);
1007 d = file->deps;
1009 else
1011 lastd->next = d->next;
1012 free_dep (d);
1013 d = lastd->next;
1015 continue;
1018 d->file->parent = file;
1019 maybe_make = *must_make_ptr;
1020 dep_status |= check_dep (d->file, depth, this_mtime,
1021 &maybe_make);
1022 if (! d->ignore_mtime)
1023 *must_make_ptr = maybe_make;
1024 check_renamed (d->file);
1025 if (dep_status != 0 && !keep_going_flag)
1026 break;
1028 if (d->file->command_state == cs_running
1029 || d->file->command_state == cs_deps_running)
1030 deps_running = 1;
1032 lastd = d;
1033 d = d->next;
1036 if (deps_running)
1037 /* Record that some of FILE's deps are still being made.
1038 This tells the upper levels to wait on processing it until the
1039 commands are finished. */
1040 set_command_state (file, cs_deps_running);
1044 finish_updating (file);
1045 return dep_status;
1048 /* Touch FILE. Return zero if successful, one if not. */
1050 #define TOUCH_ERROR(call) return (perror_with_name (call, file->name), 1)
1052 static int
1053 touch_file (struct file *file)
1055 if (!silent_flag)
1056 message (0, "touch %s", file->name);
1058 #ifndef NO_ARCHIVES
1059 if (ar_name (file->name))
1060 return ar_touch (file->name);
1061 else
1062 #endif
1064 int fd = open (file->name, O_RDWR | O_CREAT, 0666);
1066 if (fd < 0)
1067 TOUCH_ERROR ("touch: open: ");
1068 else
1070 struct stat statbuf;
1071 char buf = 'x';
1072 int e;
1074 EINTRLOOP (e, fstat (fd, &statbuf));
1075 if (e < 0)
1076 TOUCH_ERROR ("touch: fstat: ");
1077 /* Rewrite character 0 same as it already is. */
1078 if (read (fd, &buf, 1) < 0)
1079 TOUCH_ERROR ("touch: read: ");
1080 if (lseek (fd, 0L, 0) < 0L)
1081 TOUCH_ERROR ("touch: lseek: ");
1082 if (write (fd, &buf, 1) < 0)
1083 TOUCH_ERROR ("touch: write: ");
1084 /* If file length was 0, we just
1085 changed it, so change it back. */
1086 if (statbuf.st_size == 0)
1088 (void) close (fd);
1089 fd = open (file->name, O_RDWR | O_TRUNC, 0666);
1090 if (fd < 0)
1091 TOUCH_ERROR ("touch: open: ");
1093 (void) close (fd);
1097 return 0;
1100 /* Having checked and updated the dependencies of FILE,
1101 do whatever is appropriate to remake FILE itself.
1102 Return the status from executing FILE's commands. */
1104 static void
1105 remake_file (struct file *file)
1107 if (file->cmds == 0)
1109 if (file->phony)
1110 /* Phony target. Pretend it succeeded. */
1111 file->update_status = 0;
1112 else if (file->is_target)
1113 /* This is a nonexistent target file we cannot make.
1114 Pretend it was successfully remade. */
1115 file->update_status = 0;
1116 else
1118 /* This is a dependency file we cannot remake. Fail. */
1119 if (!rebuilding_makefiles || !file->dontcare)
1120 complain (file);
1121 file->update_status = 2;
1124 else
1126 chop_commands (file->cmds);
1128 /* The normal case: start some commands. */
1129 if (!touch_flag || file->cmds->any_recurse)
1131 execute_file_commands (file);
1132 return;
1135 /* This tells notice_finished_file it is ok to touch the file. */
1136 file->update_status = 0;
1139 /* This does the touching under -t. */
1140 notice_finished_file (file);
1143 /* Return the mtime of a file, given a `struct file'.
1144 Caches the time in the struct file to avoid excess stat calls.
1146 If the file is not found, and SEARCH is nonzero, VPATH searching and
1147 replacement is done. If that fails, a library (-lLIBNAME) is tried and
1148 the library's actual name (/lib/libLIBNAME.a, etc.) is substituted into
1149 FILE. */
1151 FILE_TIMESTAMP
1152 f_mtime (struct file *file, int search)
1154 FILE_TIMESTAMP mtime;
1156 /* File's mtime is not known; must get it from the system. */
1158 #ifndef NO_ARCHIVES
1159 if (ar_name (file->name))
1161 /* This file is an archive-member reference. */
1163 char *arname, *memname;
1164 struct file *arfile;
1165 time_t member_date;
1167 /* Find the archive's name. */
1168 ar_parse_name (file->name, &arname, &memname);
1170 /* Find the modification time of the archive itself.
1171 Also allow for its name to be changed via VPATH search. */
1172 arfile = lookup_file (arname);
1173 if (arfile == 0)
1174 arfile = enter_file (strcache_add (arname));
1175 mtime = f_mtime (arfile, search);
1176 check_renamed (arfile);
1177 if (search && strcmp (arfile->hname, arname))
1179 /* The archive's name has changed.
1180 Change the archive-member reference accordingly. */
1182 char *name;
1183 unsigned int arlen, memlen;
1185 arlen = strlen (arfile->hname);
1186 memlen = strlen (memname);
1188 name = xmalloc (arlen + 1 + memlen + 2);
1189 memcpy (name, arfile->hname, arlen);
1190 name[arlen] = '(';
1191 memcpy (name + arlen + 1, memname, memlen);
1192 name[arlen + 1 + memlen] = ')';
1193 name[arlen + 1 + memlen + 1] = '\0';
1195 /* If the archive was found with GPATH, make the change permanent;
1196 otherwise defer it until later. */
1197 if (arfile->name == arfile->hname)
1198 rename_file (file, name);
1199 else
1200 rehash_file (file, name);
1201 check_renamed (file);
1204 free (arname);
1206 file->low_resolution_time = 1;
1208 if (mtime == NONEXISTENT_MTIME)
1209 /* The archive doesn't exist, so its members don't exist either. */
1210 return NONEXISTENT_MTIME;
1212 member_date = ar_member_date (file->hname);
1213 mtime = (member_date == (time_t) -1
1214 ? NONEXISTENT_MTIME
1215 : file_timestamp_cons (file->hname, member_date, 0));
1217 else
1218 #endif
1220 mtime = name_mtime (file->name);
1222 if (mtime == NONEXISTENT_MTIME && search && !file->ignore_vpath)
1224 /* If name_mtime failed, search VPATH. */
1225 const char *name = vpath_search (file->name, &mtime);
1226 if (name
1227 /* Last resort, is it a library (-lxxx)? */
1228 || (file->name[0] == '-' && file->name[1] == 'l'
1229 && (name = library_search (file->name, &mtime)) != 0))
1231 if (mtime != UNKNOWN_MTIME)
1232 /* vpath_search and library_search store UNKNOWN_MTIME
1233 if they didn't need to do a stat call for their work. */
1234 file->last_mtime = mtime;
1236 /* If we found it in VPATH, see if it's in GPATH too; if so,
1237 change the name right now; if not, defer until after the
1238 dependencies are updated. */
1239 if (gpath_search (name, strlen(name) - strlen(file->name) - 1))
1241 rename_file (file, name);
1242 check_renamed (file);
1243 return file_mtime (file);
1246 rehash_file (file, name);
1247 check_renamed (file);
1248 /* If the result of a vpath search is -o or -W, preserve it.
1249 Otherwise, find the mtime of the resulting file. */
1250 if (mtime != OLD_MTIME && mtime != NEW_MTIME)
1251 mtime = name_mtime (name);
1256 /* Files can have bogus timestamps that nothing newly made will be
1257 "newer" than. Updating their dependents could just result in loops.
1258 So notify the user of the anomaly with a warning.
1260 We only need to do this once, for now. */
1262 if (!clock_skew_detected
1263 && mtime != NONEXISTENT_MTIME && mtime != NEW_MTIME
1264 && !file->updated)
1266 static FILE_TIMESTAMP adjusted_now;
1268 FILE_TIMESTAMP adjusted_mtime = mtime;
1270 #if defined(WINDOWS32) || defined(__MSDOS__)
1271 /* Experimentation has shown that FAT filesystems can set file times
1272 up to 3 seconds into the future! Play it safe. */
1274 #define FAT_ADJ_OFFSET (FILE_TIMESTAMP) 3
1276 FILE_TIMESTAMP adjustment = FAT_ADJ_OFFSET << FILE_TIMESTAMP_LO_BITS;
1277 if (ORDINARY_MTIME_MIN + adjustment <= adjusted_mtime)
1278 adjusted_mtime -= adjustment;
1279 #elif defined(__EMX__)
1280 /* FAT filesystems round time to the nearest even second!
1281 Allow for any file (NTFS or FAT) to perhaps suffer from this
1282 brain damage. */
1283 FILE_TIMESTAMP adjustment = (((FILE_TIMESTAMP_S (adjusted_mtime) & 1) == 0
1284 && FILE_TIMESTAMP_NS (adjusted_mtime) == 0)
1285 ? (FILE_TIMESTAMP) 1 << FILE_TIMESTAMP_LO_BITS
1286 : 0);
1287 #endif
1289 /* If the file's time appears to be in the future, update our
1290 concept of the present and try once more. */
1291 if (adjusted_now < adjusted_mtime)
1293 int resolution;
1294 FILE_TIMESTAMP now = file_timestamp_now (&resolution);
1295 adjusted_now = now + (resolution - 1);
1296 if (adjusted_now < adjusted_mtime)
1298 #ifdef NO_FLOAT
1299 error (NILF, _("Warning: File `%s' has modification time in the future"),
1300 file->name);
1301 #else
1302 double from_now =
1303 (FILE_TIMESTAMP_S (mtime) - FILE_TIMESTAMP_S (now)
1304 + ((FILE_TIMESTAMP_NS (mtime) - FILE_TIMESTAMP_NS (now))
1305 / 1e9));
1306 char from_now_string[100];
1308 if (from_now >= 99 && from_now <= ULONG_MAX)
1309 sprintf (from_now_string, "%lu", (unsigned long) from_now);
1310 else
1311 sprintf (from_now_string, "%.2g", from_now);
1312 error (NILF, _("Warning: File `%s' has modification time %s s in the future"),
1313 file->name, from_now_string);
1314 #endif
1315 clock_skew_detected = 1;
1320 /* Store the mtime into all the entries for this file. */
1321 if (file->double_colon)
1322 file = file->double_colon;
1326 /* If this file is not implicit but it is intermediate then it was
1327 made so by the .INTERMEDIATE target. If this file has never
1328 been built by us but was found now, it existed before make
1329 started. So, turn off the intermediate bit so make doesn't
1330 delete it, since it didn't create it. */
1331 if (mtime != NONEXISTENT_MTIME && file->command_state == cs_not_started
1332 && file->command_state == cs_not_started
1333 && !file->tried_implicit && file->intermediate)
1334 file->intermediate = 0;
1336 file->last_mtime = mtime;
1337 file = file->prev;
1339 while (file != 0);
1341 return mtime;
1345 /* Return the mtime of the file or archive-member reference NAME. */
1347 /* First, we check with stat(). If the file does not exist, then we return
1348 NONEXISTENT_MTIME. If it does, and the symlink check flag is set, then
1349 examine each indirection of the symlink and find the newest mtime.
1350 This causes one duplicate stat() when -L is being used, but the code is
1351 much cleaner. */
1353 static FILE_TIMESTAMP
1354 name_mtime (const char *name)
1356 FILE_TIMESTAMP mtime;
1357 struct stat st;
1358 int e;
1360 EINTRLOOP (e, stat (name, &st));
1361 if (e == 0)
1362 mtime = FILE_TIMESTAMP_STAT_MODTIME (name, st);
1363 else if (errno == ENOENT || errno == ENOTDIR)
1364 mtime = NONEXISTENT_MTIME;
1365 else
1367 perror_with_name ("stat: ", name);
1368 return NONEXISTENT_MTIME;
1371 /* If we get here we either found it, or it doesn't exist.
1372 If it doesn't exist see if we can use a symlink mtime instead. */
1374 #ifdef MAKE_SYMLINKS
1375 #ifndef S_ISLNK
1376 # define S_ISLNK(_m) (((_m)&S_IFMT)==S_IFLNK)
1377 #endif
1378 if (check_symlink_flag)
1380 PATH_VAR (lpath);
1382 /* Check each symbolic link segment (if any). Find the latest mtime
1383 amongst all of them (and the target file of course).
1384 Note that we have already successfully dereferenced all the links
1385 above. So, if we run into any error trying to lstat(), or
1386 readlink(), or whatever, something bizarre-o happened. Just give up
1387 and use whatever mtime we've already computed at that point. */
1388 strcpy (lpath, name);
1389 while (1)
1391 FILE_TIMESTAMP ltime;
1392 PATH_VAR (lbuf);
1393 long llen;
1394 char *p;
1396 EINTRLOOP (e, lstat (lpath, &st));
1397 if (e)
1399 /* Just take what we have so far. */
1400 if (errno != ENOENT && errno != ENOTDIR)
1401 perror_with_name ("lstat: ", lpath);
1402 break;
1405 /* If this is not a symlink, we're done (we started with the real
1406 file's mtime so we don't need to test it again). */
1407 if (!S_ISLNK (st.st_mode))
1408 break;
1410 /* If this mtime is newer than what we had, keep the new one. */
1411 ltime = FILE_TIMESTAMP_STAT_MODTIME (lpath, st);
1412 if (ltime > mtime)
1413 mtime = ltime;
1415 /* Set up to check the file pointed to by this link. */
1416 EINTRLOOP (llen, readlink (lpath, lbuf, GET_PATH_MAX));
1417 if (llen < 0)
1419 /* Eh? Just take what we have. */
1420 perror_with_name ("readlink: ", lpath);
1421 break;
1423 lbuf[llen] = '\0';
1425 /* If the target is fully-qualified or the source is just a
1426 filename, then the new path is the target. Otherwise it's the
1427 source directory plus the target. */
1428 if (lbuf[0] == '/' || (p = strrchr (lpath, '/')) == NULL)
1429 strcpy (lpath, lbuf);
1430 else if ((p - lpath) + llen + 2 > GET_PATH_MAX)
1431 /* Eh? Path too long! Again, just go with what we have. */
1432 break;
1433 else
1434 /* Create the next step in the symlink chain. */
1435 strcpy (p+1, lbuf);
1438 #endif
1440 return mtime;
1444 /* Search for a library file specified as -lLIBNAME, searching for a
1445 suitable library file in the system library directories and the VPATH
1446 directories. */
1448 static const char *
1449 library_search (const char *lib, FILE_TIMESTAMP *mtime_ptr)
1451 static char *dirs[] =
1453 #ifndef _AMIGA
1454 "/lib",
1455 "/usr/lib",
1456 #endif
1457 #if defined(WINDOWS32) && !defined(LIBDIR)
1459 * This is completely up to the user at product install time. Just define
1460 * a placeholder.
1462 #define LIBDIR "."
1463 #endif
1464 LIBDIR, /* Defined by configuration. */
1468 const char *file = 0;
1469 char *libpatterns;
1470 FILE_TIMESTAMP mtime;
1472 /* Loop variables for the libpatterns value. */
1473 char *p;
1474 const char *p2;
1475 unsigned int len;
1476 unsigned int liblen;
1478 char **dp;
1480 libpatterns = xstrdup (variable_expand ("$(.LIBPATTERNS)"));
1482 /* Skip the '-l'. */
1483 lib += 2;
1484 liblen = strlen (lib);
1486 /* Loop through all the patterns in .LIBPATTERNS, and search on each one. */
1487 p2 = libpatterns;
1488 while ((p = find_next_token (&p2, &len)) != 0)
1490 static char *buf = NULL;
1491 static unsigned int buflen = 0;
1492 static int libdir_maxlen = -1;
1493 char *libbuf = variable_expand ("");
1495 /* Expand the pattern using LIB as a replacement. */
1497 char c = p[len];
1498 char *p3, *p4;
1500 p[len] = '\0';
1501 p3 = find_percent (p);
1502 if (!p3)
1504 /* Give a warning if there is no pattern. */
1505 error (NILF, _(".LIBPATTERNS element `%s' is not a pattern"), p);
1506 p[len] = c;
1507 continue;
1509 p4 = variable_buffer_output (libbuf, p, p3-p);
1510 p4 = variable_buffer_output (p4, lib, liblen);
1511 p4 = variable_buffer_output (p4, p3+1, len - (p3-p));
1512 p[len] = c;
1515 /* Look first for `libNAME.a' in the current directory. */
1516 mtime = name_mtime (libbuf);
1517 if (mtime != NONEXISTENT_MTIME)
1519 if (mtime_ptr != 0)
1520 *mtime_ptr = mtime;
1521 file = strcache_add (libbuf);
1522 goto fini;
1525 /* Now try VPATH search on that. */
1528 file = vpath_search (libbuf, mtime_ptr);
1529 if (file)
1530 goto fini;
1533 /* Now try the standard set of directories. */
1535 if (!buflen)
1537 for (dp = dirs; *dp != 0; ++dp)
1539 int l = strlen (*dp);
1540 if (l > libdir_maxlen)
1541 libdir_maxlen = l;
1543 buflen = strlen (libbuf);
1544 buf = xmalloc(libdir_maxlen + buflen + 2);
1546 else if (buflen < strlen (libbuf))
1548 buflen = strlen (libbuf);
1549 buf = xrealloc (buf, libdir_maxlen + buflen + 2);
1552 for (dp = dirs; *dp != 0; ++dp)
1554 sprintf (buf, "%s/%s", *dp, libbuf);
1555 mtime = name_mtime (buf);
1556 if (mtime != NONEXISTENT_MTIME)
1558 if (mtime_ptr != 0)
1559 *mtime_ptr = mtime;
1560 file = strcache_add (buf);
1561 goto fini;
1566 fini:
1567 free (libpatterns);
1568 return file;