Create a new CSTRLEN (constant string length) macro, and use it.
[make.git] / read.c
blob51e345b35fe86c4b26a0be5ed8cbdca9e84dee2a
1 /* Reading and parsing of makefiles for GNU Make.
2 Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011,
4 2012 Free Software 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"
21 #include <assert.h>
23 #include <glob.h>
25 #include "dep.h"
26 #include "filedef.h"
27 #include "job.h"
28 #include "commands.h"
29 #include "variable.h"
30 #include "rule.h"
31 #include "debug.h"
32 #include "hash.h"
35 #ifndef WINDOWS32
36 #ifndef _AMIGA
37 #ifndef VMS
38 #include <pwd.h>
39 #else
40 struct passwd *getpwnam (char *name);
41 #endif
42 #endif
43 #endif /* !WINDOWS32 */
45 /* A 'struct ebuffer' controls the origin of the makefile we are currently
46 eval'ing.
49 struct ebuffer
51 char *buffer; /* Start of the current line in the buffer. */
52 char *bufnext; /* Start of the next line in the buffer. */
53 char *bufstart; /* Start of the entire buffer. */
54 unsigned int size; /* Malloc'd size of buffer. */
55 FILE *fp; /* File, or NULL if this is an internal buffer. */
56 struct floc floc; /* Info on the file in fp (if any). */
59 /* Track the modifiers we can have on variable assignments */
61 struct vmodifiers
63 unsigned int assign_v:1;
64 unsigned int define_v:1;
65 unsigned int undefine_v:1;
66 unsigned int export_v:1;
67 unsigned int override_v:1;
68 unsigned int private_v:1;
71 /* Types of "words" that can be read in a makefile. */
72 enum make_word_type
74 w_bogus, w_eol, w_static, w_variable, w_colon, w_dcolon, w_semicolon,
75 w_varassign
79 /* A 'struct conditionals' contains the information describing
80 all the active conditionals in a makefile.
82 The global variable 'conditionals' contains the conditionals
83 information for the current makefile. It is initialized from
84 the static structure 'toplevel_conditionals' and is later changed
85 to new structures for included makefiles. */
87 struct conditionals
89 unsigned int if_cmds; /* Depth of conditional nesting. */
90 unsigned int allocated; /* Elts allocated in following arrays. */
91 char *ignoring; /* Are we ignoring or interpreting?
92 0=interpreting, 1=not yet interpreted,
93 2=already interpreted */
94 char *seen_else; /* Have we already seen an 'else'? */
97 static struct conditionals toplevel_conditionals;
98 static struct conditionals *conditionals = &toplevel_conditionals;
101 /* Default directories to search for include files in */
103 static const char *default_include_directories[] =
105 #if defined(WINDOWS32) && !defined(INCLUDEDIR)
106 /* This completely up to the user when they install MSVC or other packages.
107 This is defined as a placeholder. */
108 # define INCLUDEDIR "."
109 #endif
110 INCLUDEDIR,
111 #ifndef _AMIGA
112 "/usr/gnu/include",
113 "/usr/local/include",
114 "/usr/include",
115 #endif
119 /* List of directories to search for include files in */
121 static const char **include_directories;
123 /* Maximum length of an element of the above. */
125 static unsigned int max_incl_len;
127 /* The filename and pointer to line number of the
128 makefile currently being read in. */
130 const struct floc *reading_file = 0;
132 /* The chain of makefiles read by read_makefile. */
134 static struct dep *read_makefiles = 0;
136 static int eval_makefile (const char *filename, int flags);
137 static void eval (struct ebuffer *buffer, int flags);
139 static long readline (struct ebuffer *ebuf);
140 static void do_undefine (char *name, enum variable_origin origin,
141 struct ebuffer *ebuf);
142 static struct variable *do_define (char *name, enum variable_origin origin,
143 struct ebuffer *ebuf);
144 static int conditional_line (char *line, int len, const struct floc *flocp);
145 static void record_files (struct nameseq *filenames, const char *pattern,
146 const char *pattern_percent, char *depstr,
147 unsigned int cmds_started, char *commands,
148 unsigned int commands_idx, int two_colon,
149 char prefix, const struct floc *flocp);
150 static void record_target_var (struct nameseq *filenames, char *defn,
151 enum variable_origin origin,
152 struct vmodifiers *vmod,
153 const struct floc *flocp);
154 static enum make_word_type get_next_mword (char *buffer, char *delim,
155 char **startp, unsigned int *length);
156 static void remove_comments (char *line);
157 static char *find_char_unquote (char *string, int stop1, int stop2,
158 int blank, int ignorevars);
161 /* Compare a word, both length and contents.
162 P must point to the word to be tested, and WLEN must be the length.
164 #define word1eq(s) (wlen == CSTRLEN (s) && strneq (s, p, CSTRLEN (s)))
167 /* Read in all the makefiles and return the chain of their names. */
169 struct dep *
170 read_all_makefiles (const char **makefiles)
172 unsigned int num_makefiles = 0;
174 /* Create *_LIST variables, to hold the makefiles, targets, and variables
175 we will be reading. */
177 define_variable_cname ("MAKEFILE_LIST", "", o_file, 0);
179 DB (DB_BASIC, (_("Reading makefiles...\n")));
181 /* If there's a non-null variable MAKEFILES, its value is a list of
182 files to read first thing. But don't let it prevent reading the
183 default makefiles and don't let the default goal come from there. */
186 char *value;
187 char *name, *p;
188 unsigned int length;
191 /* Turn off --warn-undefined-variables while we expand MAKEFILES. */
192 int save = warn_undefined_variables_flag;
193 warn_undefined_variables_flag = 0;
195 value = allocated_variable_expand ("$(MAKEFILES)");
197 warn_undefined_variables_flag = save;
200 /* Set NAME to the start of next token and LENGTH to its length.
201 MAKEFILES is updated for finding remaining tokens. */
202 p = value;
204 while ((name = find_next_token ((const char **)&p, &length)) != 0)
206 if (*p != '\0')
207 *p++ = '\0';
208 eval_makefile (name, RM_NO_DEFAULT_GOAL|RM_INCLUDED|RM_DONTCARE);
211 free (value);
214 /* Read makefiles specified with -f switches. */
216 if (makefiles != 0)
217 while (*makefiles != 0)
219 struct dep *tail = read_makefiles;
220 register struct dep *d;
222 if (! eval_makefile (*makefiles, 0))
223 perror_with_name ("", *makefiles);
225 /* Find the right element of read_makefiles. */
226 d = read_makefiles;
227 while (d->next != tail)
228 d = d->next;
230 /* Use the storage read_makefile allocates. */
231 *makefiles = dep_name (d);
232 ++num_makefiles;
233 ++makefiles;
236 /* If there were no -f switches, try the default names. */
238 if (num_makefiles == 0)
240 static char *default_makefiles[] =
241 #ifdef VMS
242 /* all lower case since readdir() (the vms version) 'lowercasifies' */
243 { "makefile.vms", "gnumakefile.", "makefile.", 0 };
244 #else
245 #ifdef _AMIGA
246 { "GNUmakefile", "Makefile", "SMakefile", 0 };
247 #else /* !Amiga && !VMS */
248 { "GNUmakefile", "makefile", "Makefile", 0 };
249 #endif /* AMIGA */
250 #endif /* VMS */
251 register char **p = default_makefiles;
252 while (*p != 0 && !file_exists_p (*p))
253 ++p;
255 if (*p != 0)
257 if (! eval_makefile (*p, 0))
258 perror_with_name ("", *p);
260 else
262 /* No default makefile was found. Add the default makefiles to the
263 'read_makefiles' chain so they will be updated if possible. */
264 struct dep *tail = read_makefiles;
265 /* Add them to the tail, after any MAKEFILES variable makefiles. */
266 while (tail != 0 && tail->next != 0)
267 tail = tail->next;
268 for (p = default_makefiles; *p != 0; ++p)
270 struct dep *d = alloc_dep ();
271 d->file = enter_file (strcache_add (*p));
272 d->dontcare = 1;
273 /* Tell update_goal_chain to bail out as soon as this file is
274 made, and main not to die if we can't make this file. */
275 d->changed = RM_DONTCARE;
276 if (tail == 0)
277 read_makefiles = d;
278 else
279 tail->next = d;
280 tail = d;
282 if (tail != 0)
283 tail->next = 0;
287 return read_makefiles;
290 /* Install a new conditional and return the previous one. */
292 static struct conditionals *
293 install_conditionals (struct conditionals *new)
295 struct conditionals *save = conditionals;
297 memset (new, '\0', sizeof (*new));
298 conditionals = new;
300 return save;
303 /* Free the current conditionals and reinstate a saved one. */
305 static void
306 restore_conditionals (struct conditionals *saved)
308 /* Free any space allocated by conditional_line. */
309 if (conditionals->ignoring)
310 free (conditionals->ignoring);
311 if (conditionals->seen_else)
312 free (conditionals->seen_else);
314 /* Restore state. */
315 conditionals = saved;
318 static int
319 eval_makefile (const char *filename, int flags)
321 struct dep *deps;
322 struct ebuffer ebuf;
323 const struct floc *curfile;
324 char *expanded = 0;
325 int makefile_errno;
327 ebuf.floc.filenm = filename; /* Use the original file name. */
328 ebuf.floc.lineno = 1;
330 if (ISDB (DB_VERBOSE))
332 printf (_("Reading makefile '%s'"), filename);
333 if (flags & RM_NO_DEFAULT_GOAL)
334 printf (_(" (no default goal)"));
335 if (flags & RM_INCLUDED)
336 printf (_(" (search path)"));
337 if (flags & RM_DONTCARE)
338 printf (_(" (don't care)"));
339 if (flags & RM_NO_TILDE)
340 printf (_(" (no ~ expansion)"));
341 puts ("...");
344 /* First, get a stream to read. */
346 /* Expand ~ in FILENAME unless it came from 'include',
347 in which case it was already done. */
348 if (!(flags & RM_NO_TILDE) && filename[0] == '~')
350 expanded = tilde_expand (filename);
351 if (expanded != 0)
352 filename = expanded;
355 ebuf.fp = fopen (filename, "r");
356 /* Save the error code so we print the right message later. */
357 makefile_errno = errno;
359 /* If the makefile wasn't found and it's either a makefile from
360 the 'MAKEFILES' variable or an included makefile,
361 search the included makefile search path for this makefile. */
362 if (ebuf.fp == 0 && (flags & RM_INCLUDED) && *filename != '/')
364 unsigned int i;
365 for (i = 0; include_directories[i] != 0; ++i)
367 const char *included = concat (3, include_directories[i],
368 "/", filename);
369 ebuf.fp = fopen (included, "r");
370 if (ebuf.fp)
372 filename = included;
373 break;
378 /* Now we have the final name for this makefile. Enter it into
379 the cache. */
380 filename = strcache_add (filename);
382 /* Add FILENAME to the chain of read makefiles. */
383 deps = alloc_dep ();
384 deps->next = read_makefiles;
385 read_makefiles = deps;
386 deps->file = lookup_file (filename);
387 if (deps->file == 0)
388 deps->file = enter_file (filename);
389 filename = deps->file->name;
390 deps->changed = flags;
391 if (flags & RM_DONTCARE)
392 deps->dontcare = 1;
394 if (expanded)
395 free (expanded);
397 /* If the makefile can't be found at all, give up entirely. */
399 if (ebuf.fp == 0)
401 /* If we did some searching, errno has the error from the last
402 attempt, rather from FILENAME itself. Restore it in case the
403 caller wants to use it in a message. */
404 errno = makefile_errno;
405 return 0;
408 /* Set close-on-exec to avoid leaking the makefile to children, such as
409 $(shell ...). */
410 #ifdef HAVE_FILENO
411 CLOSE_ON_EXEC (fileno (ebuf.fp));
412 #endif
414 /* Add this makefile to the list. */
415 do_variable_definition (&ebuf.floc, "MAKEFILE_LIST", filename, o_file,
416 f_append, 0);
418 /* Evaluate the makefile */
420 ebuf.size = 200;
421 ebuf.buffer = ebuf.bufnext = ebuf.bufstart = xmalloc (ebuf.size);
423 curfile = reading_file;
424 reading_file = &ebuf.floc;
426 eval (&ebuf, !(flags & RM_NO_DEFAULT_GOAL));
428 reading_file = curfile;
430 fclose (ebuf.fp);
432 free (ebuf.bufstart);
433 alloca (0);
435 return 1;
438 void
439 eval_buffer (char *buffer)
441 struct ebuffer ebuf;
442 struct conditionals *saved;
443 struct conditionals new;
444 const struct floc *curfile;
446 /* Evaluate the buffer */
448 ebuf.size = strlen (buffer);
449 ebuf.buffer = ebuf.bufnext = ebuf.bufstart = buffer;
450 ebuf.fp = NULL;
452 if (reading_file)
453 ebuf.floc = *reading_file;
454 else
455 ebuf.floc.filenm = NULL;
457 curfile = reading_file;
458 reading_file = &ebuf.floc;
460 saved = install_conditionals (&new);
462 eval (&ebuf, 1);
464 restore_conditionals (saved);
466 reading_file = curfile;
468 alloca (0);
471 /* Check LINE to see if it's a variable assignment or undefine.
473 It might use one of the modifiers "export", "override", "private", or it
474 might be one of the conditional tokens like "ifdef", "include", etc.
476 If it's not a variable assignment or undefine, VMOD.V_ASSIGN is 0.
477 Returns LINE.
479 Returns a pointer to the first non-modifier character, and sets VMOD
480 based on the modifiers found if any, plus V_ASSIGN is 1.
482 static char *
483 parse_var_assignment (const char *line, struct vmodifiers *vmod)
485 const char *p;
486 memset (vmod, '\0', sizeof (*vmod));
488 /* Find the start of the next token. If there isn't one we're done. */
489 line = next_token (line);
490 if (*line == '\0')
491 return (char *)line;
493 p = line;
494 while (1)
496 int wlen;
497 const char *p2;
498 struct variable v;
500 p2 = parse_variable_definition (p, &v);
502 /* If this is a variable assignment, we're done. */
503 if (p2)
504 break;
506 /* It's not a variable; see if it's a modifier. */
507 p2 = end_of_token (p);
508 wlen = p2 - p;
510 if (word1eq ("export"))
511 vmod->export_v = 1;
512 else if (word1eq ("override"))
513 vmod->override_v = 1;
514 else if (word1eq ("private"))
515 vmod->private_v = 1;
516 else if (word1eq ("define"))
518 /* We can't have modifiers after 'define' */
519 vmod->define_v = 1;
520 p = next_token (p2);
521 break;
523 else if (word1eq ("undefine"))
525 /* We can't have modifiers after 'undefine' */
526 vmod->undefine_v = 1;
527 p = next_token (p2);
528 break;
530 else
531 /* Not a variable or modifier: this is not a variable assignment. */
532 return (char *)line;
534 /* It was a modifier. Try the next word. */
535 p = next_token (p2);
536 if (*p == '\0')
537 return (char *)line;
540 /* Found a variable assignment or undefine. */
541 vmod->assign_v = 1;
542 return (char *)p;
546 /* Read file FILENAME as a makefile and add its contents to the data base.
548 SET_DEFAULT is true if we are allowed to set the default goal. */
550 static void
551 eval (struct ebuffer *ebuf, int set_default)
553 char *collapsed = 0;
554 unsigned int collapsed_length = 0;
555 unsigned int commands_len = 200;
556 char *commands;
557 unsigned int commands_idx = 0;
558 unsigned int cmds_started, tgts_started;
559 int ignoring = 0, in_ignored_define = 0;
560 int no_targets = 0; /* Set when reading a rule without targets. */
561 struct nameseq *filenames = 0;
562 char *depstr = 0;
563 long nlines = 0;
564 int two_colon = 0;
565 char prefix = cmd_prefix;
566 const char *pattern = 0;
567 const char *pattern_percent;
568 struct floc *fstart;
569 struct floc fi;
571 #define record_waiting_files() \
572 do \
574 if (filenames != 0) \
576 fi.lineno = tgts_started; \
577 record_files (filenames, pattern, pattern_percent, depstr, \
578 cmds_started, commands, commands_idx, two_colon, \
579 prefix, &fi); \
580 filenames = 0; \
582 commands_idx = 0; \
583 no_targets = 0; \
584 pattern = 0; \
585 } while (0)
587 pattern_percent = 0;
588 cmds_started = tgts_started = 1;
590 fstart = &ebuf->floc;
591 fi.filenm = ebuf->floc.filenm;
593 /* Loop over lines in the file.
594 The strategy is to accumulate target names in FILENAMES, dependencies
595 in DEPS and commands in COMMANDS. These are used to define a rule
596 when the start of the next rule (or eof) is encountered.
598 When you see a "continue" in the loop below, that means we are moving on
599 to the next line _without_ ending any rule that we happen to be working
600 with at the moment. If you see a "goto rule_complete", then the
601 statement we just parsed also finishes the previous rule. */
603 commands = xmalloc (200);
605 while (1)
607 unsigned int linelen;
608 char *line;
609 unsigned int wlen;
610 char *p;
611 char *p2;
612 struct vmodifiers vmod;
614 /* At the top of this loop, we are starting a brand new line. */
615 /* Grab the next line to be evaluated */
616 ebuf->floc.lineno += nlines;
617 nlines = readline (ebuf);
619 /* If there is nothing left to eval, we're done. */
620 if (nlines < 0)
621 break;
623 /* If this line is empty, skip it. */
624 line = ebuf->buffer;
625 if (line[0] == '\0')
626 continue;
628 linelen = strlen (line);
630 /* Check for a shell command line first.
631 If it is not one, we can stop treating cmd_prefix specially. */
632 if (line[0] == cmd_prefix)
634 if (no_targets)
635 /* Ignore the commands in a rule with no targets. */
636 continue;
638 /* If there is no preceding rule line, don't treat this line
639 as a command, even though it begins with a recipe prefix.
640 SunOS 4 make appears to behave this way. */
642 if (filenames != 0)
644 if (ignoring)
645 /* Yep, this is a shell command, and we don't care. */
646 continue;
648 if (commands_idx == 0)
649 cmds_started = ebuf->floc.lineno;
651 /* Append this command line to the line being accumulated.
652 Skip the initial command prefix character. */
653 if (linelen + commands_idx > commands_len)
655 commands_len = (linelen + commands_idx) * 2;
656 commands = xrealloc (commands, commands_len);
658 memcpy (&commands[commands_idx], line + 1, linelen - 1);
659 commands_idx += linelen - 1;
660 commands[commands_idx++] = '\n';
661 continue;
665 /* This line is not a shell command line. Don't worry about whitespace.
666 Get more space if we need it; we don't need to preserve the current
667 contents of the buffer. */
669 if (collapsed_length < linelen+1)
671 collapsed_length = linelen+1;
672 if (collapsed)
673 free (collapsed);
674 /* Don't need xrealloc: we don't need to preserve the content. */
675 collapsed = xmalloc (collapsed_length);
677 strcpy (collapsed, line);
678 /* Collapse continuation lines. */
679 collapse_continuations (collapsed);
680 remove_comments (collapsed);
682 /* Get rid if starting space (including formfeed, vtab, etc.) */
683 p = collapsed;
684 while (isspace ((unsigned char)*p))
685 ++p;
687 /* See if this is a variable assignment. We need to do this early, to
688 allow variables with names like 'ifdef', 'export', 'private', etc. */
689 p = parse_var_assignment(p, &vmod);
690 if (vmod.assign_v)
692 struct variable *v;
693 enum variable_origin origin = vmod.override_v ? o_override : o_file;
695 /* If we're ignoring then we're done now. */
696 if (ignoring)
698 if (vmod.define_v)
699 in_ignored_define = 1;
700 continue;
703 if (vmod.undefine_v)
705 do_undefine (p, origin, ebuf);
707 /* This line has been dealt with. */
708 goto rule_complete;
710 else if (vmod.define_v)
711 v = do_define (p, origin, ebuf);
712 else
713 v = try_variable_definition (fstart, p, origin, 0);
715 assert (v != NULL);
717 if (vmod.export_v)
718 v->export = v_export;
719 if (vmod.private_v)
720 v->private_var = 1;
722 /* This line has been dealt with. */
723 goto rule_complete;
726 /* If this line is completely empty, ignore it. */
727 if (*p == '\0')
728 continue;
730 p2 = end_of_token (p);
731 wlen = p2 - p;
732 p2 = next_token (p2);
734 /* If we're in an ignored define, skip this line (but maybe get out). */
735 if (in_ignored_define)
737 /* See if this is an endef line (plus optional comment). */
738 if (word1eq ("endef") && (*p2 == '\0' || *p2 == '#'))
739 in_ignored_define = 0;
741 continue;
744 /* Check for conditional state changes. */
746 int i = conditional_line (p, wlen, fstart);
747 if (i != -2)
749 if (i == -1)
750 fatal (fstart, _("invalid syntax in conditional"));
752 ignoring = i;
753 continue;
757 /* Nothing to see here... move along. */
758 if (ignoring)
759 continue;
761 /* Manage the "export" keyword used outside of variable assignment
762 as well as "unexport". */
763 if (word1eq ("export") || word1eq ("unexport"))
765 int exporting = *p == 'u' ? 0 : 1;
767 /* (un)export by itself causes everything to be (un)exported. */
768 if (*p2 == '\0')
769 export_all_variables = exporting;
770 else
772 unsigned int l;
773 const char *cp;
774 char *ap;
776 /* Expand the line so we can use indirect and constructed
777 variable names in an (un)export command. */
778 cp = ap = allocated_variable_expand (p2);
780 for (p = find_next_token (&cp, &l); p != 0;
781 p = find_next_token (&cp, &l))
783 struct variable *v = lookup_variable (p, l);
784 if (v == 0)
785 v = define_variable_global (p, l, "", o_file, 0, fstart);
786 v->export = exporting ? v_export : v_noexport;
789 free (ap);
791 goto rule_complete;
794 /* Handle the special syntax for vpath. */
795 if (word1eq ("vpath"))
797 const char *cp;
798 char *vpat;
799 unsigned int l;
800 cp = variable_expand (p2);
801 p = find_next_token (&cp, &l);
802 if (p != 0)
804 vpat = xstrndup (p, l);
805 p = find_next_token (&cp, &l);
806 /* No searchpath means remove all previous
807 selective VPATH's with the same pattern. */
809 else
810 /* No pattern means remove all previous selective VPATH's. */
811 vpat = 0;
812 construct_vpath_list (vpat, p);
813 if (vpat != 0)
814 free (vpat);
816 goto rule_complete;
819 /* Handle include and variants. */
820 if (word1eq ("include") || word1eq ("-include") || word1eq ("sinclude"))
822 /* We have found an 'include' line specifying a nested
823 makefile to be read at this point. */
824 struct conditionals *save;
825 struct conditionals new_conditionals;
826 struct nameseq *files;
827 /* "-include" (vs "include") says no error if the file does not
828 exist. "sinclude" is an alias for this from SGI. */
829 int noerror = (p[0] != 'i');
831 p = allocated_variable_expand (p2);
833 /* If no filenames, it's a no-op. */
834 if (*p == '\0')
836 free (p);
837 continue;
840 /* Parse the list of file names. Don't expand archive references! */
841 p2 = p;
842 files = PARSE_FILE_SEQ (&p2, struct nameseq, '\0', NULL,
843 PARSEFS_NOAR);
844 free (p);
846 /* Save the state of conditionals and start
847 the included makefile with a clean slate. */
848 save = install_conditionals (&new_conditionals);
850 /* Record the rules that are waiting so they will determine
851 the default goal before those in the included makefile. */
852 record_waiting_files ();
854 /* Read each included makefile. */
855 while (files != 0)
857 struct nameseq *next = files->next;
858 const char *name = files->name;
859 int r;
861 free_ns (files);
862 files = next;
864 r = eval_makefile (name,
865 (RM_INCLUDED | RM_NO_TILDE
866 | (noerror ? RM_DONTCARE : 0)
867 | (set_default ? 0 : RM_NO_DEFAULT_GOAL)));
868 if (!r && !noerror)
869 error (fstart, "%s: %s", name, strerror (errno));
872 /* Restore conditional state. */
873 restore_conditionals (save);
875 goto rule_complete;
878 /* This line starts with a tab but was not caught above because there
879 was no preceding target, and the line might have been usable as a
880 variable definition. But now we know it is definitely lossage. */
881 if (line[0] == cmd_prefix)
882 fatal(fstart, _("recipe commences before first target"));
884 /* This line describes some target files. This is complicated by
885 the existence of target-specific variables, because we can't
886 expand the entire line until we know if we have one or not. So
887 we expand the line word by word until we find the first ':',
888 then check to see if it's a target-specific variable.
890 In this algorithm, 'lb_next' will point to the beginning of the
891 unexpanded parts of the input buffer, while 'p2' points to the
892 parts of the expanded buffer we haven't searched yet. */
895 enum make_word_type wtype;
896 char *cmdleft, *semip, *lb_next;
897 unsigned int plen = 0;
898 char *colonp;
899 const char *end, *beg; /* Helpers for whitespace stripping. */
901 /* Record the previous rule. */
903 record_waiting_files ();
904 tgts_started = fstart->lineno;
906 /* Search the line for an unquoted ; that is not after an
907 unquoted #. */
908 cmdleft = find_char_unquote (line, ';', '#', 0, 1);
909 if (cmdleft != 0 && *cmdleft == '#')
911 /* We found a comment before a semicolon. */
912 *cmdleft = '\0';
913 cmdleft = 0;
915 else if (cmdleft != 0)
916 /* Found one. Cut the line short there before expanding it. */
917 *(cmdleft++) = '\0';
918 semip = cmdleft;
920 collapse_continuations (line);
922 /* We can't expand the entire line, since if it's a per-target
923 variable we don't want to expand it. So, walk from the
924 beginning, expanding as we go, and looking for "interesting"
925 chars. The first word is always expandable. */
926 wtype = get_next_mword(line, NULL, &lb_next, &wlen);
927 switch (wtype)
929 case w_eol:
930 if (cmdleft != 0)
931 fatal(fstart, _("missing rule before recipe"));
932 /* This line contained something but turned out to be nothing
933 but whitespace (a comment?). */
934 continue;
936 case w_colon:
937 case w_dcolon:
938 /* We accept and ignore rules without targets for
939 compatibility with SunOS 4 make. */
940 no_targets = 1;
941 continue;
943 default:
944 break;
947 p2 = variable_expand_string(NULL, lb_next, wlen);
949 while (1)
951 lb_next += wlen;
952 if (cmdleft == 0)
954 /* Look for a semicolon in the expanded line. */
955 cmdleft = find_char_unquote (p2, ';', 0, 0, 0);
957 if (cmdleft != 0)
959 unsigned long p2_off = p2 - variable_buffer;
960 unsigned long cmd_off = cmdleft - variable_buffer;
961 char *pend = p2 + strlen(p2);
963 /* Append any remnants of lb, then cut the line short
964 at the semicolon. */
965 *cmdleft = '\0';
967 /* One school of thought says that you shouldn't expand
968 here, but merely copy, since now you're beyond a ";"
969 and into a command script. However, the old parser
970 expanded the whole line, so we continue that for
971 backwards-compatiblity. Also, it wouldn't be
972 entirely consistent, since we do an unconditional
973 expand below once we know we don't have a
974 target-specific variable. */
975 (void)variable_expand_string(pend, lb_next, (long)-1);
976 lb_next += strlen(lb_next);
977 p2 = variable_buffer + p2_off;
978 cmdleft = variable_buffer + cmd_off + 1;
982 colonp = find_char_unquote(p2, ':', 0, 0, 0);
983 #ifdef HAVE_DOS_PATHS
984 /* The drive spec brain-damage strikes again... */
985 /* Note that the only separators of targets in this context
986 are whitespace and a left paren. If others are possible,
987 they should be added to the string in the call to index. */
988 while (colonp && (colonp[1] == '/' || colonp[1] == '\\') &&
989 colonp > p2 && isalpha ((unsigned char)colonp[-1]) &&
990 (colonp == p2 + 1 || strchr (" \t(", colonp[-2]) != 0))
991 colonp = find_char_unquote(colonp + 1, ':', 0, 0, 0);
992 #endif
993 if (colonp != 0)
994 break;
996 wtype = get_next_mword(lb_next, NULL, &lb_next, &wlen);
997 if (wtype == w_eol)
998 break;
1000 p2 += strlen(p2);
1001 *(p2++) = ' ';
1002 p2 = variable_expand_string(p2, lb_next, wlen);
1003 /* We don't need to worry about cmdleft here, because if it was
1004 found in the variable_buffer the entire buffer has already
1005 been expanded... we'll never get here. */
1008 p2 = next_token (variable_buffer);
1010 /* If the word we're looking at is EOL, see if there's _anything_
1011 on the line. If not, a variable expanded to nothing, so ignore
1012 it. If so, we can't parse this line so punt. */
1013 if (wtype == w_eol)
1015 if (*p2 != '\0')
1016 /* There's no need to be ivory-tower about this: check for
1017 one of the most common bugs found in makefiles... */
1018 fatal (fstart, _("missing separator%s"),
1019 (cmd_prefix == '\t' && !strneq (line, " ", 8))
1020 ? "" : _(" (did you mean TAB instead of 8 spaces?)"));
1021 continue;
1024 /* Make the colon the end-of-string so we know where to stop
1025 looking for targets. Start there again once we're done. */
1026 *colonp = '\0';
1027 filenames = PARSE_FILE_SEQ (&p2, struct nameseq, '\0', NULL, 0);
1028 *colonp = ':';
1029 p2 = colonp;
1031 if (!filenames)
1033 /* We accept and ignore rules without targets for
1034 compatibility with SunOS 4 make. */
1035 no_targets = 1;
1036 continue;
1038 /* This should never be possible; we handled it above. */
1039 assert (*p2 != '\0');
1040 ++p2;
1042 /* Is this a one-colon or two-colon entry? */
1043 two_colon = *p2 == ':';
1044 if (two_colon)
1045 p2++;
1047 /* Test to see if it's a target-specific variable. Copy the rest
1048 of the buffer over, possibly temporarily (we'll expand it later
1049 if it's not a target-specific variable). PLEN saves the length
1050 of the unparsed section of p2, for later. */
1051 if (*lb_next != '\0')
1053 unsigned int l = p2 - variable_buffer;
1054 plen = strlen (p2);
1055 variable_buffer_output (p2+plen, lb_next, strlen (lb_next)+1);
1056 p2 = variable_buffer + l;
1059 p2 = parse_var_assignment (p2, &vmod);
1060 if (vmod.assign_v)
1062 /* If there was a semicolon found, add it back, plus anything
1063 after it. */
1064 if (semip)
1066 unsigned int l = p - variable_buffer;
1067 *(--semip) = ';';
1068 collapse_continuations (semip);
1069 variable_buffer_output (p2 + strlen (p2),
1070 semip, strlen (semip)+1);
1071 p = variable_buffer + l;
1073 record_target_var (filenames, p2,
1074 vmod.override_v ? o_override : o_file,
1075 &vmod, fstart);
1076 filenames = 0;
1077 continue;
1080 /* This is a normal target, _not_ a target-specific variable.
1081 Unquote any = in the dependency list. */
1082 find_char_unquote (lb_next, '=', 0, 0, 0);
1084 /* Remember the command prefix for this target. */
1085 prefix = cmd_prefix;
1087 /* We have some targets, so don't ignore the following commands. */
1088 no_targets = 0;
1090 /* Expand the dependencies, etc. */
1091 if (*lb_next != '\0')
1093 unsigned int l = p2 - variable_buffer;
1094 (void) variable_expand_string (p2 + plen, lb_next, (long)-1);
1095 p2 = variable_buffer + l;
1097 /* Look for a semicolon in the expanded line. */
1098 if (cmdleft == 0)
1100 cmdleft = find_char_unquote (p2, ';', 0, 0, 0);
1101 if (cmdleft != 0)
1102 *(cmdleft++) = '\0';
1106 /* Is this a static pattern rule: 'target: %targ: %dep; ...'? */
1107 p = strchr (p2, ':');
1108 while (p != 0 && p[-1] == '\\')
1110 char *q = &p[-1];
1111 int backslash = 0;
1112 while (*q-- == '\\')
1113 backslash = !backslash;
1114 if (backslash)
1115 p = strchr (p + 1, ':');
1116 else
1117 break;
1119 #ifdef _AMIGA
1120 /* Here, the situation is quite complicated. Let's have a look
1121 at a couple of targets:
1123 install: dev:make
1125 dev:make: make
1127 dev:make:: xyz
1129 The rule is that it's only a target, if there are TWO :'s
1130 OR a space around the :.
1132 if (p && !(isspace ((unsigned char)p[1]) || !p[1]
1133 || isspace ((unsigned char)p[-1])))
1134 p = 0;
1135 #endif
1136 #ifdef HAVE_DOS_PATHS
1138 int check_again;
1139 do {
1140 check_again = 0;
1141 /* For DOS-style paths, skip a "C:\..." or a "C:/..." */
1142 if (p != 0 && (p[1] == '\\' || p[1] == '/') &&
1143 isalpha ((unsigned char)p[-1]) &&
1144 (p == p2 + 1 || strchr (" \t:(", p[-2]) != 0)) {
1145 p = strchr (p + 1, ':');
1146 check_again = 1;
1148 } while (check_again);
1150 #endif
1151 if (p != 0)
1153 struct nameseq *target;
1154 target = PARSE_FILE_SEQ (&p2, struct nameseq, ':', NULL,
1155 PARSEFS_NOGLOB);
1156 ++p2;
1157 if (target == 0)
1158 fatal (fstart, _("missing target pattern"));
1159 else if (target->next != 0)
1160 fatal (fstart, _("multiple target patterns"));
1161 pattern_percent = find_percent_cached (&target->name);
1162 pattern = target->name;
1163 if (pattern_percent == 0)
1164 fatal (fstart, _("target pattern contains no '%%'"));
1165 free_ns (target);
1167 else
1168 pattern = 0;
1170 /* Strip leading and trailing whitespaces. */
1171 beg = p2;
1172 end = beg + strlen (beg) - 1;
1173 strip_whitespace (&beg, &end);
1175 /* Put all the prerequisites here; they'll be parsed later. */
1176 if (beg <= end && *beg != '\0')
1177 depstr = xstrndup (beg, end - beg + 1);
1178 else
1179 depstr = 0;
1181 commands_idx = 0;
1182 if (cmdleft != 0)
1184 /* Semicolon means rest of line is a command. */
1185 unsigned int l = strlen (cmdleft);
1187 cmds_started = fstart->lineno;
1189 /* Add this command line to the buffer. */
1190 if (l + 2 > commands_len)
1192 commands_len = (l + 2) * 2;
1193 commands = xrealloc (commands, commands_len);
1195 memcpy (commands, cmdleft, l);
1196 commands_idx += l;
1197 commands[commands_idx++] = '\n';
1200 /* Determine if this target should be made default. We used to do
1201 this in record_files() but because of the delayed target recording
1202 and because preprocessor directives are legal in target's commands
1203 it is too late. Consider this fragment for example:
1205 foo:
1207 ifeq ($(.DEFAULT_GOAL),foo)
1209 endif
1211 Because the target is not recorded until after ifeq directive is
1212 evaluated the .DEFAULT_GOAL does not contain foo yet as one
1213 would expect. Because of this we have to move the logic here. */
1215 if (set_default && default_goal_var->value[0] == '\0')
1217 const char *name;
1218 struct dep *d;
1219 struct nameseq *t = filenames;
1221 for (; t != 0; t = t->next)
1223 int reject = 0;
1224 name = t->name;
1226 /* We have nothing to do if this is an implicit rule. */
1227 if (strchr (name, '%') != 0)
1228 break;
1230 /* See if this target's name does not start with a '.',
1231 unless it contains a slash. */
1232 if (*name == '.' && strchr (name, '/') == 0
1233 #ifdef HAVE_DOS_PATHS
1234 && strchr (name, '\\') == 0
1235 #endif
1237 continue;
1240 /* If this file is a suffix, don't let it be
1241 the default goal file. */
1242 for (d = suffix_file->deps; d != 0; d = d->next)
1244 register struct dep *d2;
1245 if (*dep_name (d) != '.' && streq (name, dep_name (d)))
1247 reject = 1;
1248 break;
1250 for (d2 = suffix_file->deps; d2 != 0; d2 = d2->next)
1252 unsigned int l = strlen (dep_name (d2));
1253 if (!strneq (name, dep_name (d2), l))
1254 continue;
1255 if (streq (name + l, dep_name (d)))
1257 reject = 1;
1258 break;
1262 if (reject)
1263 break;
1266 if (!reject)
1268 define_variable_global (".DEFAULT_GOAL", 13, t->name,
1269 o_file, 0, NILF);
1270 break;
1275 continue;
1278 /* We get here except in the case that we just read a rule line.
1279 Record now the last rule we read, so following spurious
1280 commands are properly diagnosed. */
1281 rule_complete:
1282 record_waiting_files ();
1285 #undef word1eq
1287 if (conditionals->if_cmds)
1288 fatal (fstart, _("missing 'endif'"));
1290 /* At eof, record the last rule. */
1291 record_waiting_files ();
1293 if (collapsed)
1294 free (collapsed);
1295 free (commands);
1299 /* Remove comments from LINE.
1300 This is done by copying the text at LINE onto itself. */
1302 static void
1303 remove_comments (char *line)
1305 char *comment;
1307 comment = find_char_unquote (line, '#', 0, 0, 0);
1309 if (comment != 0)
1310 /* Cut off the line at the #. */
1311 *comment = '\0';
1314 /* Execute a 'undefine' directive.
1315 The undefine line has already been read, and NAME is the name of
1316 the variable to be undefined. */
1318 static void
1319 do_undefine (char *name, enum variable_origin origin, struct ebuffer *ebuf)
1321 char *p, *var;
1323 /* Expand the variable name and find the beginning (NAME) and end. */
1324 var = allocated_variable_expand (name);
1325 name = next_token (var);
1326 if (*name == '\0')
1327 fatal (&ebuf->floc, _("empty variable name"));
1328 p = name + strlen (name) - 1;
1329 while (p > name && isblank ((unsigned char)*p))
1330 --p;
1331 p[1] = '\0';
1333 undefine_variable_global (name, p - name + 1, origin);
1334 free (var);
1337 /* Execute a 'define' directive.
1338 The first line has already been read, and NAME is the name of
1339 the variable to be defined. The following lines remain to be read. */
1341 static struct variable *
1342 do_define (char *name, enum variable_origin origin, struct ebuffer *ebuf)
1344 struct variable *v;
1345 struct variable var;
1346 struct floc defstart;
1347 int nlevels = 1;
1348 unsigned int length = 100;
1349 char *definition = xmalloc (length);
1350 unsigned int idx = 0;
1351 char *p, *n;
1353 defstart = ebuf->floc;
1355 p = parse_variable_definition (name, &var);
1356 if (p == NULL)
1357 /* No assignment token, so assume recursive. */
1358 var.flavor = f_recursive;
1359 else
1361 if (var.value[0] != '\0')
1362 error (&defstart, _("extraneous text after 'define' directive"));
1364 /* Chop the string before the assignment token to get the name. */
1365 var.name[var.length] = '\0';
1368 /* Expand the variable name and find the beginning (NAME) and end. */
1369 n = allocated_variable_expand (name);
1370 name = next_token (n);
1371 if (name[0] == '\0')
1372 fatal (&defstart, _("empty variable name"));
1373 p = name + strlen (name) - 1;
1374 while (p > name && isblank ((unsigned char)*p))
1375 --p;
1376 p[1] = '\0';
1378 /* Now read the value of the variable. */
1379 while (1)
1381 unsigned int len;
1382 char *line;
1383 long nlines = readline (ebuf);
1385 /* If there is nothing left to be eval'd, there's no 'endef'!! */
1386 if (nlines < 0)
1387 fatal (&defstart, _("missing 'endef', unterminated 'define'"));
1389 ebuf->floc.lineno += nlines;
1390 line = ebuf->buffer;
1392 collapse_continuations (line);
1394 /* If the line doesn't begin with a tab, test to see if it introduces
1395 another define, or ends one. Stop if we find an 'endef' */
1396 if (line[0] != cmd_prefix)
1398 p = next_token (line);
1399 len = strlen (p);
1401 /* If this is another 'define', increment the level count. */
1402 if ((len == 6 || (len > 6 && isblank ((unsigned char)p[6])))
1403 && strneq (p, "define", 6))
1404 ++nlevels;
1406 /* If this is an 'endef', decrement the count. If it's now 0,
1407 we've found the last one. */
1408 else if ((len == 5 || (len > 5 && isblank ((unsigned char)p[5])))
1409 && strneq (p, "endef", 5))
1411 p += 5;
1412 remove_comments (p);
1413 if (*(next_token (p)) != '\0')
1414 error (&ebuf->floc,
1415 _("extraneous text after 'endef' directive"));
1417 if (--nlevels == 0)
1418 break;
1422 /* Add this line to the variable definition. */
1423 len = strlen (line);
1424 if (idx + len + 1 > length)
1426 length = (idx + len) * 2;
1427 definition = xrealloc (definition, length + 1);
1430 memcpy (&definition[idx], line, len);
1431 idx += len;
1432 /* Separate lines with a newline. */
1433 definition[idx++] = '\n';
1436 /* We've got what we need; define the variable. */
1437 if (idx == 0)
1438 definition[0] = '\0';
1439 else
1440 definition[idx - 1] = '\0';
1442 v = do_variable_definition (&defstart, name,
1443 definition, origin, var.flavor, 0);
1444 free (definition);
1445 free (n);
1446 return (v);
1449 /* Interpret conditional commands "ifdef", "ifndef", "ifeq",
1450 "ifneq", "else" and "endif".
1451 LINE is the input line, with the command as its first word.
1453 FILENAME and LINENO are the filename and line number in the
1454 current makefile. They are used for error messages.
1456 Value is -2 if the line is not a conditional at all,
1457 -1 if the line is an invalid conditional,
1458 0 if following text should be interpreted,
1459 1 if following text should be ignored. */
1461 static int
1462 conditional_line (char *line, int len, const struct floc *flocp)
1464 char *cmdname;
1465 enum { c_ifdef, c_ifndef, c_ifeq, c_ifneq, c_else, c_endif } cmdtype;
1466 unsigned int i;
1467 unsigned int o;
1469 /* Compare a word, both length and contents. */
1470 #define word1eq(s) (len == CSTRLEN (s) && strneq (s, line, CSTRLEN (s)))
1471 #define chkword(s, t) if (word1eq (s)) { cmdtype = (t); cmdname = (s); }
1473 /* Make sure this line is a conditional. */
1474 chkword ("ifdef", c_ifdef)
1475 else chkword ("ifndef", c_ifndef)
1476 else chkword ("ifeq", c_ifeq)
1477 else chkword ("ifneq", c_ifneq)
1478 else chkword ("else", c_else)
1479 else chkword ("endif", c_endif)
1480 else
1481 return -2;
1483 /* Found one: skip past it and any whitespace after it. */
1484 line = next_token (line + len);
1486 #define EXTRANEOUS() error (flocp, _("Extraneous text after '%s' directive"), cmdname)
1488 /* An 'endif' cannot contain extra text, and reduces the if-depth by 1 */
1489 if (cmdtype == c_endif)
1491 if (*line != '\0')
1492 EXTRANEOUS ();
1494 if (!conditionals->if_cmds)
1495 fatal (flocp, _("extraneous '%s'"), cmdname);
1497 --conditionals->if_cmds;
1499 goto DONE;
1502 /* An 'else' statement can either be simple, or it can have another
1503 conditional after it. */
1504 if (cmdtype == c_else)
1506 const char *p;
1508 if (!conditionals->if_cmds)
1509 fatal (flocp, _("extraneous '%s'"), cmdname);
1511 o = conditionals->if_cmds - 1;
1513 if (conditionals->seen_else[o])
1514 fatal (flocp, _("only one 'else' per conditional"));
1516 /* Change the state of ignorance. */
1517 switch (conditionals->ignoring[o])
1519 case 0:
1520 /* We've just been interpreting. Never do it again. */
1521 conditionals->ignoring[o] = 2;
1522 break;
1523 case 1:
1524 /* We've never interpreted yet. Maybe this time! */
1525 conditionals->ignoring[o] = 0;
1526 break;
1529 /* It's a simple 'else'. */
1530 if (*line == '\0')
1532 conditionals->seen_else[o] = 1;
1533 goto DONE;
1536 /* The 'else' has extra text. That text must be another conditional
1537 and cannot be an 'else' or 'endif'. */
1539 /* Find the length of the next word. */
1540 for (p = line+1; *p != '\0' && !isspace ((unsigned char)*p); ++p)
1542 len = p - line;
1544 /* If it's 'else' or 'endif' or an illegal conditional, fail. */
1545 if (word1eq ("else") || word1eq ("endif")
1546 || conditional_line (line, len, flocp) < 0)
1547 EXTRANEOUS ();
1548 else
1550 /* conditional_line() created a new level of conditional.
1551 Raise it back to this level. */
1552 if (conditionals->ignoring[o] < 2)
1553 conditionals->ignoring[o] = conditionals->ignoring[o+1];
1554 --conditionals->if_cmds;
1557 goto DONE;
1560 if (conditionals->allocated == 0)
1562 conditionals->allocated = 5;
1563 conditionals->ignoring = xmalloc (conditionals->allocated);
1564 conditionals->seen_else = xmalloc (conditionals->allocated);
1567 o = conditionals->if_cmds++;
1568 if (conditionals->if_cmds > conditionals->allocated)
1570 conditionals->allocated += 5;
1571 conditionals->ignoring = xrealloc (conditionals->ignoring,
1572 conditionals->allocated);
1573 conditionals->seen_else = xrealloc (conditionals->seen_else,
1574 conditionals->allocated);
1577 /* Record that we have seen an 'if...' but no 'else' so far. */
1578 conditionals->seen_else[o] = 0;
1580 /* Search through the stack to see if we're already ignoring. */
1581 for (i = 0; i < o; ++i)
1582 if (conditionals->ignoring[i])
1584 /* We are already ignoring, so just push a level to match the next
1585 "else" or "endif", and keep ignoring. We don't want to expand
1586 variables in the condition. */
1587 conditionals->ignoring[o] = 1;
1588 return 1;
1591 if (cmdtype == c_ifdef || cmdtype == c_ifndef)
1593 char *var;
1594 struct variable *v;
1595 char *p;
1597 /* Expand the thing we're looking up, so we can use indirect and
1598 constructed variable names. */
1599 var = allocated_variable_expand (line);
1601 /* Make sure there's only one variable name to test. */
1602 p = end_of_token (var);
1603 i = p - var;
1604 p = next_token (p);
1605 if (*p != '\0')
1606 return -1;
1608 var[i] = '\0';
1609 v = lookup_variable (var, i);
1611 conditionals->ignoring[o] =
1612 ((v != 0 && *v->value != '\0') == (cmdtype == c_ifndef));
1614 free (var);
1616 else
1618 /* "ifeq" or "ifneq". */
1619 char *s1, *s2;
1620 unsigned int l;
1621 char termin = *line == '(' ? ',' : *line;
1623 if (termin != ',' && termin != '"' && termin != '\'')
1624 return -1;
1626 s1 = ++line;
1627 /* Find the end of the first string. */
1628 if (termin == ',')
1630 int count = 0;
1631 for (; *line != '\0'; ++line)
1632 if (*line == '(')
1633 ++count;
1634 else if (*line == ')')
1635 --count;
1636 else if (*line == ',' && count <= 0)
1637 break;
1639 else
1640 while (*line != '\0' && *line != termin)
1641 ++line;
1643 if (*line == '\0')
1644 return -1;
1646 if (termin == ',')
1648 /* Strip blanks after the first string. */
1649 char *p = line++;
1650 while (isblank ((unsigned char)p[-1]))
1651 --p;
1652 *p = '\0';
1654 else
1655 *line++ = '\0';
1657 s2 = variable_expand (s1);
1658 /* We must allocate a new copy of the expanded string because
1659 variable_expand re-uses the same buffer. */
1660 l = strlen (s2);
1661 s1 = alloca (l + 1);
1662 memcpy (s1, s2, l + 1);
1664 if (termin != ',')
1665 /* Find the start of the second string. */
1666 line = next_token (line);
1668 termin = termin == ',' ? ')' : *line;
1669 if (termin != ')' && termin != '"' && termin != '\'')
1670 return -1;
1672 /* Find the end of the second string. */
1673 if (termin == ')')
1675 int count = 0;
1676 s2 = next_token (line);
1677 for (line = s2; *line != '\0'; ++line)
1679 if (*line == '(')
1680 ++count;
1681 else if (*line == ')')
1683 if (count <= 0)
1684 break;
1685 else
1686 --count;
1690 else
1692 ++line;
1693 s2 = line;
1694 while (*line != '\0' && *line != termin)
1695 ++line;
1698 if (*line == '\0')
1699 return -1;
1701 *line = '\0';
1702 line = next_token (++line);
1703 if (*line != '\0')
1704 EXTRANEOUS ();
1706 s2 = variable_expand (s2);
1707 conditionals->ignoring[o] = (streq (s1, s2) == (cmdtype == c_ifneq));
1710 DONE:
1711 /* Search through the stack to see if we're ignoring. */
1712 for (i = 0; i < conditionals->if_cmds; ++i)
1713 if (conditionals->ignoring[i])
1714 return 1;
1715 return 0;
1719 /* Record target-specific variable values for files FILENAMES.
1720 TWO_COLON is nonzero if a double colon was used.
1722 The links of FILENAMES are freed, and so are any names in it
1723 that are not incorporated into other data structures.
1725 If the target is a pattern, add the variable to the pattern-specific
1726 variable value list. */
1728 static void
1729 record_target_var (struct nameseq *filenames, char *defn,
1730 enum variable_origin origin, struct vmodifiers *vmod,
1731 const struct floc *flocp)
1733 struct nameseq *nextf;
1734 struct variable_set_list *global;
1736 global = current_variable_set_list;
1738 /* If the variable is an append version, store that but treat it as a
1739 normal recursive variable. */
1741 for (; filenames != 0; filenames = nextf)
1743 struct variable *v;
1744 const char *name = filenames->name;
1745 const char *fname;
1746 const char *percent;
1747 struct pattern_var *p;
1749 nextf = filenames->next;
1750 free_ns (filenames);
1752 /* If it's a pattern target, then add it to the pattern-specific
1753 variable list. */
1754 percent = find_percent_cached (&name);
1755 if (percent)
1757 /* Get a reference for this pattern-specific variable struct. */
1758 p = create_pattern_var (name, percent);
1759 p->variable.fileinfo = *flocp;
1760 /* I don't think this can fail since we already determined it was a
1761 variable definition. */
1762 v = assign_variable_definition (&p->variable, defn);
1763 assert (v != 0);
1765 v->origin = origin;
1766 if (v->flavor == f_simple)
1767 v->value = allocated_variable_expand (v->value);
1768 else
1769 v->value = xstrdup (v->value);
1771 fname = p->target;
1773 else
1775 struct file *f;
1777 /* Get a file reference for this file, and initialize it.
1778 We don't want to just call enter_file() because that allocates a
1779 new entry if the file is a double-colon, which we don't want in
1780 this situation. */
1781 f = lookup_file (name);
1782 if (!f)
1783 f = enter_file (strcache_add (name));
1784 else if (f->double_colon)
1785 f = f->double_colon;
1787 initialize_file_variables (f, 1);
1788 fname = f->name;
1790 current_variable_set_list = f->variables;
1791 v = try_variable_definition (flocp, defn, origin, 1);
1792 if (!v)
1793 fatal (flocp, _("Malformed target-specific variable definition"));
1794 current_variable_set_list = global;
1797 /* Set up the variable to be *-specific. */
1798 v->per_target = 1;
1799 v->private_var = vmod->private_v;
1800 v->export = vmod->export_v ? v_export : v_default;
1802 /* If it's not an override, check to see if there was a command-line
1803 setting. If so, reset the value. */
1804 if (v->origin != o_override)
1806 struct variable *gv;
1807 int len = strlen(v->name);
1809 gv = lookup_variable (v->name, len);
1810 if (gv && v != gv
1811 && (gv->origin == o_env_override || gv->origin == o_command))
1813 if (v->value != 0)
1814 free (v->value);
1815 v->value = xstrdup (gv->value);
1816 v->origin = gv->origin;
1817 v->recursive = gv->recursive;
1818 v->append = 0;
1824 /* Record a description line for files FILENAMES,
1825 with dependencies DEPS, commands to execute described
1826 by COMMANDS and COMMANDS_IDX, coming from FILENAME:COMMANDS_STARTED.
1827 TWO_COLON is nonzero if a double colon was used.
1828 If not nil, PATTERN is the '%' pattern to make this
1829 a static pattern rule, and PATTERN_PERCENT is a pointer
1830 to the '%' within it.
1832 The links of FILENAMES are freed, and so are any names in it
1833 that are not incorporated into other data structures. */
1835 static void
1836 record_files (struct nameseq *filenames, const char *pattern,
1837 const char *pattern_percent, char *depstr,
1838 unsigned int cmds_started, char *commands,
1839 unsigned int commands_idx, int two_colon,
1840 char prefix, const struct floc *flocp)
1842 struct commands *cmds;
1843 struct dep *deps;
1844 const char *implicit_percent;
1845 const char *name;
1847 /* If we've already snapped deps, that means we're in an eval being
1848 resolved after the makefiles have been read in. We can't add more rules
1849 at this time, since they won't get snapped and we'll get core dumps.
1850 See Savannah bug # 12124. */
1851 if (snapped_deps)
1852 fatal (flocp, _("prerequisites cannot be defined in recipes"));
1854 /* Determine if this is a pattern rule or not. */
1855 name = filenames->name;
1856 implicit_percent = find_percent_cached (&name);
1858 /* If there's a recipe, set up a struct for it. */
1859 if (commands_idx > 0)
1861 cmds = xmalloc (sizeof (struct commands));
1862 cmds->fileinfo.filenm = flocp->filenm;
1863 cmds->fileinfo.lineno = cmds_started;
1864 cmds->commands = xstrndup (commands, commands_idx);
1865 cmds->command_lines = 0;
1866 cmds->recipe_prefix = prefix;
1868 else
1869 cmds = 0;
1871 /* If there's a prereq string then parse it--unless it's eligible for 2nd
1872 expansion: if so, snap_deps() will do it. */
1873 if (depstr == 0)
1874 deps = 0;
1875 else if (second_expansion && strchr (depstr, '$'))
1877 deps = alloc_dep ();
1878 deps->name = depstr;
1879 deps->need_2nd_expansion = 1;
1880 deps->staticpattern = pattern != 0;
1882 else
1884 deps = split_prereqs (depstr);
1885 free (depstr);
1887 /* We'll enter static pattern prereqs later when we have the stem. We
1888 don't want to enter pattern rules at all so that we don't think that
1889 they ought to exist (make manual "Implicit Rule Search Algorithm",
1890 item 5c). */
1891 if (! pattern && ! implicit_percent)
1892 deps = enter_prereqs (deps, NULL);
1895 /* For implicit rules, _all_ the targets must have a pattern. That means we
1896 can test the first one to see if we're working with an implicit rule; if
1897 so we handle it specially. */
1899 if (implicit_percent)
1901 struct nameseq *nextf;
1902 const char **targets, **target_pats;
1903 unsigned int c;
1905 if (pattern != 0)
1906 fatal (flocp, _("mixed implicit and static pattern rules"));
1908 /* Count the targets to create an array of target names.
1909 We already have the first one. */
1910 nextf = filenames->next;
1911 free_ns (filenames);
1912 filenames = nextf;
1914 for (c = 1; nextf; ++c, nextf = nextf->next)
1916 targets = xmalloc (c * sizeof (const char *));
1917 target_pats = xmalloc (c * sizeof (const char *));
1919 targets[0] = name;
1920 target_pats[0] = implicit_percent;
1922 c = 1;
1923 while (filenames)
1925 name = filenames->name;
1926 implicit_percent = find_percent_cached (&name);
1928 if (implicit_percent == 0)
1929 fatal (flocp, _("mixed implicit and normal rules"));
1931 targets[c] = name;
1932 target_pats[c] = implicit_percent;
1933 ++c;
1935 nextf = filenames->next;
1936 free_ns (filenames);
1937 filenames = nextf;
1940 create_pattern_rule (targets, target_pats, c, two_colon, deps, cmds, 1);
1942 return;
1946 /* Walk through each target and create it in the database.
1947 We already set up the first target, above. */
1948 while (1)
1950 struct nameseq *nextf = filenames->next;
1951 struct file *f;
1952 struct dep *this = 0;
1954 free_ns (filenames);
1956 /* Check for special targets. Do it here instead of, say, snap_deps()
1957 so that we can immediately use the value. */
1958 if (streq (name, ".POSIX"))
1960 posix_pedantic = 1;
1961 define_variable_cname (".SHELLFLAGS", "-ec", o_default, 0);
1963 else if (streq (name, ".SECONDEXPANSION"))
1964 second_expansion = 1;
1965 #if !defined(WINDOWS32) && !defined (__MSDOS__) && !defined (__EMX__)
1966 else if (streq (name, ".ONESHELL"))
1967 one_shell = 1;
1968 #endif
1970 /* If this is a static pattern rule:
1971 'targets: target%pattern: prereq%pattern; recipe',
1972 make sure the pattern matches this target name. */
1973 if (pattern && !pattern_matches (pattern, pattern_percent, name))
1974 error (flocp, _("target '%s' doesn't match the target pattern"), name);
1975 else if (deps)
1976 /* If there are multiple targets, copy the chain DEPS for all but the
1977 last one. It is not safe for the same deps to go in more than one
1978 place in the database. */
1979 this = nextf != 0 ? copy_dep_chain (deps) : deps;
1981 /* Find or create an entry in the file database for this target. */
1982 if (!two_colon)
1984 /* Single-colon. Combine this rule with the file's existing record,
1985 if any. */
1986 f = enter_file (strcache_add (name));
1987 if (f->double_colon)
1988 fatal (flocp,
1989 _("target file '%s' has both : and :: entries"), f->name);
1991 /* If CMDS == F->CMDS, this target was listed in this rule
1992 more than once. Just give a warning since this is harmless. */
1993 if (cmds != 0 && cmds == f->cmds)
1994 error (flocp,
1995 _("target '%s' given more than once in the same rule."),
1996 f->name);
1998 /* Check for two single-colon entries both with commands.
1999 Check is_target so that we don't lose on files such as .c.o
2000 whose commands were preinitialized. */
2001 else if (cmds != 0 && f->cmds != 0 && f->is_target)
2003 error (&cmds->fileinfo,
2004 _("warning: overriding recipe for target '%s'"),
2005 f->name);
2006 error (&f->cmds->fileinfo,
2007 _("warning: ignoring old recipe for target '%s'"),
2008 f->name);
2011 /* Defining .DEFAULT with no deps or cmds clears it. */
2012 if (f == default_file && this == 0 && cmds == 0)
2013 f->cmds = 0;
2014 if (cmds != 0)
2015 f->cmds = cmds;
2017 /* Defining .SUFFIXES with no dependencies clears out the list of
2018 suffixes. */
2019 if (f == suffix_file && this == 0)
2021 free_dep_chain (f->deps);
2022 f->deps = 0;
2025 else
2027 /* Double-colon. Make a new record even if there already is one. */
2028 f = lookup_file (name);
2030 /* Check for both : and :: rules. Check is_target so we don't lose
2031 on default suffix rules or makefiles. */
2032 if (f != 0 && f->is_target && !f->double_colon)
2033 fatal (flocp,
2034 _("target file '%s' has both : and :: entries"), f->name);
2036 f = enter_file (strcache_add (name));
2037 /* If there was an existing entry and it was a double-colon entry,
2038 enter_file will have returned a new one, making it the prev
2039 pointer of the old one, and setting its double_colon pointer to
2040 the first one. */
2041 if (f->double_colon == 0)
2042 /* This is the first entry for this name, so we must set its
2043 double_colon pointer to itself. */
2044 f->double_colon = f;
2046 f->cmds = cmds;
2049 f->is_target = 1;
2051 /* If this is a static pattern rule, set the stem to the part of its
2052 name that matched the '%' in the pattern, so you can use $* in the
2053 commands. If we didn't do it before, enter the prereqs now. */
2054 if (pattern)
2056 static const char *percent = "%";
2057 char *buffer = variable_expand ("");
2058 char *o = patsubst_expand_pat (buffer, name, pattern, percent,
2059 pattern_percent+1, percent+1);
2060 f->stem = strcache_add_len (buffer, o - buffer);
2061 if (this)
2063 if (! this->need_2nd_expansion)
2064 this = enter_prereqs (this, f->stem);
2065 else
2066 this->stem = f->stem;
2070 /* Add the dependencies to this file entry. */
2071 if (this != 0)
2073 /* Add the file's old deps and the new ones in THIS together. */
2074 if (f->deps == 0)
2075 f->deps = this;
2076 else if (cmds != 0)
2078 struct dep *d = this;
2080 /* If this rule has commands, put these deps first. */
2081 while (d->next != 0)
2082 d = d->next;
2084 d->next = f->deps;
2085 f->deps = this;
2087 else
2089 struct dep *d = f->deps;
2091 /* A rule without commands: put its prereqs at the end. */
2092 while (d->next != 0)
2093 d = d->next;
2095 d->next = this;
2099 name = f->name;
2101 /* All done! Set up for the next one. */
2102 if (nextf == 0)
2103 break;
2105 filenames = nextf;
2107 /* Reduce escaped percents. If there are any unescaped it's an error */
2108 name = filenames->name;
2109 if (find_percent_cached (&name))
2110 fatal (flocp, _("mixed implicit and normal rules"));
2114 /* Search STRING for an unquoted STOPCHAR or blank (if BLANK is nonzero).
2115 Backslashes quote STOPCHAR, blanks if BLANK is nonzero, and backslash.
2116 Quoting backslashes are removed from STRING by compacting it into
2117 itself. Returns a pointer to the first unquoted STOPCHAR if there is
2118 one, or nil if there are none. STOPCHARs inside variable references are
2119 ignored if IGNOREVARS is true.
2121 STOPCHAR _cannot_ be '$' if IGNOREVARS is true. */
2123 static char *
2124 find_char_unquote (char *string, int stop1, int stop2, int blank,
2125 int ignorevars)
2127 unsigned int string_len = 0;
2128 char *p = string;
2130 if (ignorevars)
2131 ignorevars = '$';
2133 while (1)
2135 if (stop2 && blank)
2136 while (*p != '\0' && *p != ignorevars && *p != stop1 && *p != stop2
2137 && ! isblank ((unsigned char) *p))
2138 ++p;
2139 else if (stop2)
2140 while (*p != '\0' && *p != ignorevars && *p != stop1 && *p != stop2)
2141 ++p;
2142 else if (blank)
2143 while (*p != '\0' && *p != ignorevars && *p != stop1
2144 && ! isblank ((unsigned char) *p))
2145 ++p;
2146 else
2147 while (*p != '\0' && *p != ignorevars && *p != stop1)
2148 ++p;
2150 if (*p == '\0')
2151 break;
2153 /* If we stopped due to a variable reference, skip over its contents. */
2154 if (*p == ignorevars)
2156 char openparen = p[1];
2158 p += 2;
2160 /* Skip the contents of a non-quoted, multi-char variable ref. */
2161 if (openparen == '(' || openparen == '{')
2163 unsigned int pcount = 1;
2164 char closeparen = (openparen == '(' ? ')' : '}');
2166 while (*p)
2168 if (*p == openparen)
2169 ++pcount;
2170 else if (*p == closeparen)
2171 if (--pcount == 0)
2173 ++p;
2174 break;
2176 ++p;
2180 /* Skipped the variable reference: look for STOPCHARS again. */
2181 continue;
2184 if (p > string && p[-1] == '\\')
2186 /* Search for more backslashes. */
2187 int i = -2;
2188 while (&p[i] >= string && p[i] == '\\')
2189 --i;
2190 ++i;
2191 /* Only compute the length if really needed. */
2192 if (string_len == 0)
2193 string_len = strlen (string);
2194 /* The number of backslashes is now -I.
2195 Copy P over itself to swallow half of them. */
2196 memmove (&p[i], &p[i/2], (string_len - (p - string)) - (i/2) + 1);
2197 p += i/2;
2198 if (i % 2 == 0)
2199 /* All the backslashes quoted each other; the STOPCHAR was
2200 unquoted. */
2201 return p;
2203 /* The STOPCHAR was quoted by a backslash. Look for another. */
2205 else
2206 /* No backslash in sight. */
2207 return p;
2210 /* Never hit a STOPCHAR or blank (with BLANK nonzero). */
2211 return 0;
2214 /* Search PATTERN for an unquoted % and handle quoting. */
2216 char *
2217 find_percent (char *pattern)
2219 return find_char_unquote (pattern, '%', 0, 0, 0);
2222 /* Search STRING for an unquoted % and handle quoting. Returns a pointer to
2223 the % or NULL if no % was found.
2224 This version is used with strings in the string cache: if there's a need to
2225 modify the string a new version will be added to the string cache and
2226 *STRING will be set to that. */
2228 const char *
2229 find_percent_cached (const char **string)
2231 const char *p = *string;
2232 char *new = 0;
2233 int slen = 0;
2235 /* If the first char is a % return now. This lets us avoid extra tests
2236 inside the loop. */
2237 if (*p == '%')
2238 return p;
2240 while (1)
2242 while (*p != '\0' && *p != '%')
2243 ++p;
2245 if (*p == '\0')
2246 break;
2248 /* See if this % is escaped with a backslash; if not we're done. */
2249 if (p[-1] != '\\')
2250 break;
2253 /* Search for more backslashes. */
2254 char *pv;
2255 int i = -2;
2257 while (&p[i] >= *string && p[i] == '\\')
2258 --i;
2259 ++i;
2261 /* At this point we know we'll need to allocate a new string.
2262 Make a copy if we haven't yet done so. */
2263 if (! new)
2265 slen = strlen (*string);
2266 new = alloca (slen + 1);
2267 memcpy (new, *string, slen + 1);
2268 p = new + (p - *string);
2269 *string = new;
2272 /* At this point *string, p, and new all point into the same string.
2273 Get a non-const version of p so we can modify new. */
2274 pv = new + (p - *string);
2276 /* The number of backslashes is now -I.
2277 Copy P over itself to swallow half of them. */
2278 memmove (&pv[i], &pv[i/2], (slen - (pv - new)) - (i/2) + 1);
2279 p += i/2;
2281 /* If the backslashes quoted each other; the % was unquoted. */
2282 if (i % 2 == 0)
2283 break;
2287 /* If we had to change STRING, add it to the strcache. */
2288 if (new)
2290 *string = strcache_add (*string);
2291 p = *string + (p - new);
2294 /* If we didn't find a %, return NULL. Otherwise return a ptr to it. */
2295 return (*p == '\0') ? NULL : p;
2298 /* Find the next line of text in an eval buffer, combining continuation lines
2299 into one line.
2300 Return the number of actual lines read (> 1 if continuation lines).
2301 Returns -1 if there's nothing left in the buffer.
2303 After this function, ebuf->buffer points to the first character of the
2304 line we just found.
2307 /* Read a line of text from a STRING.
2308 Since we aren't really reading from a file, don't bother with linenumbers.
2311 static unsigned long
2312 readstring (struct ebuffer *ebuf)
2314 char *eol;
2316 /* If there is nothing left in this buffer, return 0. */
2317 if (ebuf->bufnext >= ebuf->bufstart + ebuf->size)
2318 return -1;
2320 /* Set up a new starting point for the buffer, and find the end of the
2321 next logical line (taking into account backslash/newline pairs). */
2323 eol = ebuf->buffer = ebuf->bufnext;
2325 while (1)
2327 int backslash = 0;
2328 const char *bol = eol;
2329 const char *p;
2331 /* Find the next newline. At EOS, stop. */
2332 p = eol = strchr (eol , '\n');
2333 if (!eol)
2335 ebuf->bufnext = ebuf->bufstart + ebuf->size + 1;
2336 return 0;
2339 /* Found a newline; if it's escaped continue; else we're done. */
2340 while (p > bol && *(--p) == '\\')
2341 backslash = !backslash;
2342 if (!backslash)
2343 break;
2344 ++eol;
2347 /* Overwrite the newline char. */
2348 *eol = '\0';
2349 ebuf->bufnext = eol+1;
2351 return 0;
2354 static long
2355 readline (struct ebuffer *ebuf)
2357 char *p;
2358 char *end;
2359 char *start;
2360 long nlines = 0;
2362 /* The behaviors between string and stream buffers are different enough to
2363 warrant different functions. Do the Right Thing. */
2365 if (!ebuf->fp)
2366 return readstring (ebuf);
2368 /* When reading from a file, we always start over at the beginning of the
2369 buffer for each new line. */
2371 p = start = ebuf->bufstart;
2372 end = p + ebuf->size;
2373 *p = '\0';
2375 while (fgets (p, end - p, ebuf->fp) != 0)
2377 char *p2;
2378 unsigned long len;
2379 int backslash;
2381 len = strlen (p);
2382 if (len == 0)
2384 /* This only happens when the first thing on the line is a '\0'.
2385 It is a pretty hopeless case, but (wonder of wonders) Athena
2386 lossage strikes again! (xmkmf puts NULs in its makefiles.)
2387 There is nothing really to be done; we synthesize a newline so
2388 the following line doesn't appear to be part of this line. */
2389 error (&ebuf->floc,
2390 _("warning: NUL character seen; rest of line ignored"));
2391 p[0] = '\n';
2392 len = 1;
2395 /* Jump past the text we just read. */
2396 p += len;
2398 /* If the last char isn't a newline, the whole line didn't fit into the
2399 buffer. Get some more buffer and try again. */
2400 if (p[-1] != '\n')
2401 goto more_buffer;
2403 /* We got a newline, so add one to the count of lines. */
2404 ++nlines;
2406 #if !defined(WINDOWS32) && !defined(__MSDOS__) && !defined(__EMX__)
2407 /* Check to see if the line was really ended with CRLF; if so ignore
2408 the CR. */
2409 if ((p - start) > 1 && p[-2] == '\r')
2411 --p;
2412 p[-1] = '\n';
2414 #endif
2416 backslash = 0;
2417 for (p2 = p - 2; p2 >= start; --p2)
2419 if (*p2 != '\\')
2420 break;
2421 backslash = !backslash;
2424 if (!backslash)
2426 p[-1] = '\0';
2427 break;
2430 /* It was a backslash/newline combo. If we have more space, read
2431 another line. */
2432 if (end - p >= 80)
2433 continue;
2435 /* We need more space at the end of our buffer, so realloc it.
2436 Make sure to preserve the current offset of p. */
2437 more_buffer:
2439 unsigned long off = p - start;
2440 ebuf->size *= 2;
2441 start = ebuf->buffer = ebuf->bufstart = xrealloc (start, ebuf->size);
2442 p = start + off;
2443 end = start + ebuf->size;
2444 *p = '\0';
2448 if (ferror (ebuf->fp))
2449 pfatal_with_name (ebuf->floc.filenm);
2451 /* If we found some lines, return how many.
2452 If we didn't, but we did find _something_, that indicates we read the last
2453 line of a file with no final newline; return 1.
2454 If we read nothing, we're at EOF; return -1. */
2456 return nlines ? nlines : p == ebuf->bufstart ? -1 : 1;
2459 /* Parse the next "makefile word" from the input buffer, and return info
2460 about it.
2462 A "makefile word" is one of:
2464 w_bogus Should never happen
2465 w_eol End of input
2466 w_static A static word; cannot be expanded
2467 w_variable A word containing one or more variables/functions
2468 w_colon A colon
2469 w_dcolon A double-colon
2470 w_semicolon A semicolon
2471 w_varassign A variable assignment operator (=, :=, ::=, +=, ?=, or !=)
2473 Note that this function is only used when reading certain parts of the
2474 makefile. Don't use it where special rules hold sway (RHS of a variable,
2475 in a command list, etc.) */
2477 static enum make_word_type
2478 get_next_mword (char *buffer, char *delim, char **startp, unsigned int *length)
2480 enum make_word_type wtype = w_bogus;
2481 char *p = buffer, *beg;
2482 char c;
2484 /* Skip any leading whitespace. */
2485 while (isblank ((unsigned char)*p))
2486 ++p;
2488 beg = p;
2489 c = *(p++);
2490 switch (c)
2492 case '\0':
2493 wtype = w_eol;
2494 break;
2496 case ';':
2497 wtype = w_semicolon;
2498 break;
2500 case '=':
2501 wtype = w_varassign;
2502 break;
2504 case ':':
2505 wtype = w_colon;
2506 switch (*p)
2508 case ':':
2509 ++p;
2510 if (p[1] != '=')
2511 wtype = w_dcolon;
2512 else
2514 wtype = w_varassign;
2515 ++p;
2517 break;
2519 case '=':
2520 ++p;
2521 wtype = w_varassign;
2522 break;
2524 break;
2526 case '+':
2527 case '?':
2528 case '!':
2529 if (*p == '=')
2531 ++p;
2532 wtype = w_varassign;
2533 break;
2536 default:
2537 if (delim && strchr (delim, c))
2538 wtype = w_static;
2539 break;
2542 /* Did we find something? If so, return now. */
2543 if (wtype != w_bogus)
2544 goto done;
2546 /* This is some non-operator word. A word consists of the longest
2547 string of characters that doesn't contain whitespace, one of [:=#],
2548 or [?+!]=, or one of the chars in the DELIM string. */
2550 /* We start out assuming a static word; if we see a variable we'll
2551 adjust our assumptions then. */
2552 wtype = w_static;
2554 /* We already found the first value of "c", above. */
2555 while (1)
2557 char closeparen;
2558 int count;
2560 switch (c)
2562 case '\0':
2563 case ' ':
2564 case '\t':
2565 case '=':
2566 goto done_word;
2568 case ':':
2569 #ifdef HAVE_DOS_PATHS
2570 /* A word CAN include a colon in its drive spec. The drive
2571 spec is allowed either at the beginning of a word, or as part
2572 of the archive member name, like in "libfoo.a(d:/foo/bar.o)". */
2573 if (!(p - beg >= 2
2574 && (*p == '/' || *p == '\\') && isalpha ((unsigned char)p[-2])
2575 && (p - beg == 2 || p[-3] == '(')))
2576 #endif
2577 goto done_word;
2579 case '$':
2580 c = *(p++);
2581 if (c == '$')
2582 break;
2584 /* This is a variable reference, so note that it's expandable.
2585 Then read it to the matching close paren. */
2586 wtype = w_variable;
2588 if (c == '(')
2589 closeparen = ')';
2590 else if (c == '{')
2591 closeparen = '}';
2592 else
2593 /* This is a single-letter variable reference. */
2594 break;
2596 for (count=0; *p != '\0'; ++p)
2598 if (*p == c)
2599 ++count;
2600 else if (*p == closeparen && --count < 0)
2602 ++p;
2603 break;
2606 break;
2608 case '?':
2609 case '+':
2610 if (*p == '=')
2611 goto done_word;
2612 break;
2614 case '\\':
2615 switch (*p)
2617 case ':':
2618 case ';':
2619 case '=':
2620 case '\\':
2621 ++p;
2622 break;
2624 break;
2626 default:
2627 if (delim && strchr (delim, c))
2628 goto done_word;
2629 break;
2632 c = *(p++);
2634 done_word:
2635 --p;
2637 done:
2638 if (startp)
2639 *startp = beg;
2640 if (length)
2641 *length = p - beg;
2642 return wtype;
2645 /* Construct the list of include directories
2646 from the arguments and the default list. */
2648 void
2649 construct_include_path (const char **arg_dirs)
2651 #ifdef VAXC /* just don't ask ... */
2652 stat_t stbuf;
2653 #else
2654 struct stat stbuf;
2655 #endif
2656 const char **dirs;
2657 const char **cpp;
2658 unsigned int idx;
2660 /* Compute the number of pointers we need in the table. */
2661 idx = sizeof (default_include_directories) / sizeof (const char *);
2662 if (arg_dirs)
2663 for (cpp = arg_dirs; *cpp != 0; ++cpp)
2664 ++idx;
2666 #ifdef __MSDOS__
2667 /* Add one for $DJDIR. */
2668 ++idx;
2669 #endif
2671 dirs = xmalloc (idx * sizeof (const char *));
2673 idx = 0;
2674 max_incl_len = 0;
2676 /* First consider any dirs specified with -I switches.
2677 Ignore any that don't exist. Remember the maximum string length. */
2679 if (arg_dirs)
2680 while (*arg_dirs != 0)
2682 const char *dir = *(arg_dirs++);
2683 char *expanded = 0;
2684 int e;
2686 if (dir[0] == '~')
2688 expanded = tilde_expand (dir);
2689 if (expanded != 0)
2690 dir = expanded;
2693 EINTRLOOP (e, stat (dir, &stbuf));
2694 if (e == 0 && S_ISDIR (stbuf.st_mode))
2696 unsigned int len = strlen (dir);
2697 /* If dir name is written with trailing slashes, discard them. */
2698 while (len > 1 && dir[len - 1] == '/')
2699 --len;
2700 if (len > max_incl_len)
2701 max_incl_len = len;
2702 dirs[idx++] = strcache_add_len (dir, len);
2705 if (expanded)
2706 free (expanded);
2709 /* Now add the standard default dirs at the end. */
2711 #ifdef __MSDOS__
2713 /* The environment variable $DJDIR holds the root of the DJGPP directory
2714 tree; add ${DJDIR}/include. */
2715 struct variable *djdir = lookup_variable ("DJDIR", 5);
2717 if (djdir)
2719 unsigned int len = strlen (djdir->value) + 8;
2720 char *defdir = alloca (len + 1);
2722 strcat (strcpy (defdir, djdir->value), "/include");
2723 dirs[idx++] = strcache_add (defdir);
2725 if (len > max_incl_len)
2726 max_incl_len = len;
2729 #endif
2731 for (cpp = default_include_directories; *cpp != 0; ++cpp)
2733 int e;
2735 EINTRLOOP (e, stat (*cpp, &stbuf));
2736 if (e == 0 && S_ISDIR (stbuf.st_mode))
2738 unsigned int len = strlen (*cpp);
2739 /* If dir name is written with trailing slashes, discard them. */
2740 while (len > 1 && (*cpp)[len - 1] == '/')
2741 --len;
2742 if (len > max_incl_len)
2743 max_incl_len = len;
2744 dirs[idx++] = strcache_add_len (*cpp, len);
2748 dirs[idx] = 0;
2750 /* Now add each dir to the .INCLUDE_DIRS variable. */
2752 for (cpp = dirs; *cpp != 0; ++cpp)
2753 do_variable_definition (NILF, ".INCLUDE_DIRS", *cpp,
2754 o_default, f_append, 0);
2756 include_directories = dirs;
2759 /* Expand ~ or ~USER at the beginning of NAME.
2760 Return a newly malloc'd string or 0. */
2762 char *
2763 tilde_expand (const char *name)
2765 #ifndef VMS
2766 if (name[1] == '/' || name[1] == '\0')
2768 extern char *getenv ();
2769 char *home_dir;
2770 int is_variable;
2773 /* Turn off --warn-undefined-variables while we expand HOME. */
2774 int save = warn_undefined_variables_flag;
2775 warn_undefined_variables_flag = 0;
2777 home_dir = allocated_variable_expand ("$(HOME)");
2779 warn_undefined_variables_flag = save;
2782 is_variable = home_dir[0] != '\0';
2783 if (!is_variable)
2785 free (home_dir);
2786 home_dir = getenv ("HOME");
2788 # if !defined(_AMIGA) && !defined(WINDOWS32)
2789 if (home_dir == 0 || home_dir[0] == '\0')
2791 extern char *getlogin ();
2792 char *logname = getlogin ();
2793 home_dir = 0;
2794 if (logname != 0)
2796 struct passwd *p = getpwnam (logname);
2797 if (p != 0)
2798 home_dir = p->pw_dir;
2801 # endif /* !AMIGA && !WINDOWS32 */
2802 if (home_dir != 0)
2804 char *new = xstrdup (concat (2, home_dir, name + 1));
2805 if (is_variable)
2806 free (home_dir);
2807 return new;
2810 # if !defined(_AMIGA) && !defined(WINDOWS32)
2811 else
2813 struct passwd *pwent;
2814 char *userend = strchr (name + 1, '/');
2815 if (userend != 0)
2816 *userend = '\0';
2817 pwent = getpwnam (name + 1);
2818 if (pwent != 0)
2820 if (userend == 0)
2821 return xstrdup (pwent->pw_dir);
2822 else
2823 return xstrdup (concat (3, pwent->pw_dir, "/", userend + 1));
2825 else if (userend != 0)
2826 *userend = '/';
2828 # endif /* !AMIGA && !WINDOWS32 */
2829 #endif /* !VMS */
2830 return 0;
2833 /* Parse a string into a sequence of filenames represented as a chain of
2834 struct nameseq's and return that chain. Optionally expand the strings via
2835 glob().
2837 The string is passed as STRINGP, the address of a string pointer.
2838 The string pointer is updated to point at the first character
2839 not parsed, which either is a null char or equals STOPCHAR.
2841 SIZE is how big to construct chain elements.
2842 This is useful if we want them actually to be other structures
2843 that have room for additional info.
2845 PREFIX, if non-null, is added to the beginning of each filename.
2847 FLAGS allows one or more of the following bitflags to be set:
2848 PARSEFS_NOSTRIP - Do no strip './'s off the beginning
2849 PARSEFS_NOAR - Do not check filenames for archive references
2850 PARSEFS_NOGLOB - Do not expand globbing characters
2851 PARSEFS_EXISTS - Only return globbed files that actually exist
2852 (cannot also set NOGLOB)
2853 PARSEFS_NOCACHE - Do not add filenames to the strcache (caller frees)
2856 void *
2857 parse_file_seq (char **stringp, unsigned int size, int stopchar,
2858 const char *prefix, int flags)
2860 extern void dir_setup_glob (glob_t *glob);
2862 /* tmp points to tmpbuf after the prefix, if any.
2863 tp is the end of the buffer. */
2864 static char *tmpbuf = NULL;
2865 static int tmpbuf_len = 0;
2867 int cachep = (! (flags & PARSEFS_NOCACHE));
2869 struct nameseq *new = 0;
2870 struct nameseq **newp = &new;
2871 #define NEWELT(_n) do { \
2872 const char *__n = (_n); \
2873 *newp = xcalloc (size); \
2874 (*newp)->name = (cachep ? strcache_add (__n) : xstrdup (__n)); \
2875 newp = &(*newp)->next; \
2876 } while(0)
2878 char *p;
2879 glob_t gl;
2880 char *tp;
2882 #ifdef VMS
2883 # define VMS_COMMA ','
2884 #else
2885 # define VMS_COMMA 0
2886 #endif
2888 if (size < sizeof (struct nameseq))
2889 size = sizeof (struct nameseq);
2891 if (! (flags & PARSEFS_NOGLOB))
2892 dir_setup_glob (&gl);
2894 /* Get enough temporary space to construct the largest possible target. */
2896 int l = strlen (*stringp) + 1;
2897 if (l > tmpbuf_len)
2899 tmpbuf = xrealloc (tmpbuf, l);
2900 tmpbuf_len = l;
2903 tp = tmpbuf;
2905 /* Parse STRING. P will always point to the end of the parsed content. */
2906 p = *stringp;
2907 while (1)
2909 const char *name;
2910 const char **nlist = 0;
2911 char *tildep = 0;
2912 int globme = 1;
2913 #ifndef NO_ARCHIVES
2914 char *arname = 0;
2915 char *memname = 0;
2916 #endif
2917 char *s;
2918 int nlen;
2919 int i;
2921 /* Skip whitespace; at the end of the string or STOPCHAR we're done. */
2922 p = next_token (p);
2923 if (*p == '\0' || *p == stopchar)
2924 break;
2926 /* There are names left, so find the end of the next name.
2927 Throughout this iteration S points to the start. */
2928 s = p;
2929 p = find_char_unquote (p, stopchar, VMS_COMMA, 1, 0);
2930 #ifdef VMS
2931 /* convert comma separated list to space separated */
2932 if (p && *p == ',')
2933 *p =' ';
2934 #endif
2935 #ifdef _AMIGA
2936 if (stopchar == ':' && p && *p == ':'
2937 && !(isspace ((unsigned char)p[1]) || !p[1]
2938 || isspace ((unsigned char)p[-1])))
2939 p = find_char_unquote (p+1, stopchar, VMS_COMMA, 1, 0);
2940 #endif
2941 #ifdef HAVE_DOS_PATHS
2942 /* For DOS paths, skip a "C:\..." or a "C:/..." until we find the
2943 first colon which isn't followed by a slash or a backslash.
2944 Note that tokens separated by spaces should be treated as separate
2945 tokens since make doesn't allow path names with spaces */
2946 if (stopchar == ':')
2947 while (p != 0 && !isspace ((unsigned char)*p) &&
2948 (p[1] == '\\' || p[1] == '/') && isalpha ((unsigned char)p[-1]))
2949 p = find_char_unquote (p + 1, stopchar, VMS_COMMA, 1, 0);
2950 #endif
2951 if (p == 0)
2952 p = s + strlen (s);
2954 /* Strip leading "this directory" references. */
2955 if (! (flags & PARSEFS_NOSTRIP))
2956 #ifdef VMS
2957 /* Skip leading '[]'s. */
2958 while (p - s > 2 && s[0] == '[' && s[1] == ']')
2959 #else
2960 /* Skip leading './'s. */
2961 while (p - s > 2 && s[0] == '.' && s[1] == '/')
2962 #endif
2964 /* Skip "./" and all following slashes. */
2965 s += 2;
2966 while (*s == '/')
2967 ++s;
2970 /* Extract the filename just found, and skip it.
2971 Set NAME to the string, and NLEN to its length. */
2973 if (s == p)
2975 /* The name was stripped to empty ("./"). */
2976 #if defined(VMS)
2977 continue;
2978 #elif defined(_AMIGA)
2979 /* PDS-- This cannot be right!! */
2980 tp[0] = '\0';
2981 nlen = 0;
2982 #else
2983 tp[0] = '.';
2984 tp[1] = '/';
2985 tp[2] = '\0';
2986 nlen = 2;
2987 #endif
2989 else
2991 #ifdef VMS
2992 /* VMS filenames can have a ':' in them but they have to be '\'ed but we need
2993 * to remove this '\' before we can use the filename.
2994 * xstrdup called because S may be read-only string constant.
2996 char *n = tp;
2997 while (s < p)
2999 if (s[0] == '\\' && s[1] == ':')
3000 ++s;
3001 *(n++) = *(s++);
3003 n[0] = '\0';
3004 nlen = strlen (tp);
3005 #else
3006 nlen = p - s;
3007 memcpy (tp, s, nlen);
3008 tp[nlen] = '\0';
3009 #endif
3012 /* At this point, TP points to the element and NLEN is its length. */
3014 #ifndef NO_ARCHIVES
3015 /* If this is the start of an archive group that isn't complete, set up
3016 to add the archive prefix for future files. A file list like:
3017 "libf.a(x.o y.o z.o)" needs to be expanded as:
3018 "libf.a(x.o) libf.a(y.o) libf.a(z.o)"
3020 TP == TMP means we're not already in an archive group. Ignore
3021 something starting with '(', as that cannot actually be an
3022 archive-member reference (and treating it as such results in an empty
3023 file name, which causes much lossage). Also if it ends in ")" then
3024 it's a complete reference so we don't need to treat it specially.
3026 Finally, note that archive groups must end with ')' as the last
3027 character, so ensure there's some word ending like that before
3028 considering this an archive group. */
3029 if (! (flags & PARSEFS_NOAR)
3030 && tp == tmpbuf && tp[0] != '(' && tp[nlen-1] != ')')
3032 char *n = strchr (tp, '(');
3033 if (n)
3035 /* This looks like the first element in an open archive group.
3036 A valid group MUST have ')' as the last character. */
3037 const char *e = p;
3040 e = next_token (e);
3041 /* Find the end of this word. We don't want to unquote and
3042 we don't care about quoting since we're looking for the
3043 last char in the word. */
3044 while (*e != '\0' && *e != stopchar && *e != VMS_COMMA
3045 && ! isblank ((unsigned char) *e))
3046 ++e;
3047 if (e[-1] == ')')
3049 /* Found the end, so this is the first element in an
3050 open archive group. It looks like "lib(mem".
3051 Reset TP past the open paren. */
3052 nlen -= (n + 1) - tp;
3053 tp = n + 1;
3055 /* We can stop looking now. */
3056 break;
3059 while (*e != '\0');
3061 /* If we have just "lib(", part of something like "lib( a b)",
3062 go to the next item. */
3063 if (! nlen)
3064 continue;
3068 /* If we are inside an archive group, make sure it has an end. */
3069 if (tp > tmpbuf)
3071 if (tp[nlen-1] == ')')
3073 /* This is the natural end; reset TP. */
3074 tp = tmpbuf;
3076 /* This is just ")", something like "lib(a b )": skip it. */
3077 if (nlen == 1)
3078 continue;
3080 else
3082 /* Not the end, so add a "fake" end. */
3083 tp[nlen++] = ')';
3084 tp[nlen] = '\0';
3087 #endif
3089 /* If we're not globbing we're done: add it to the end of the chain.
3090 Go to the next item in the string. */
3091 if (flags & PARSEFS_NOGLOB)
3093 NEWELT (concat (2, prefix, tmpbuf));
3094 continue;
3097 /* If we get here we know we're doing glob expansion.
3098 TP is a string in tmpbuf. NLEN is no longer used.
3099 We may need to do more work: after this NAME will be set. */
3100 name = tmpbuf;
3102 /* Expand tilde if applicable. */
3103 if (tmpbuf[0] == '~')
3105 tildep = tilde_expand (tmpbuf);
3106 if (tildep != 0)
3107 name = tildep;
3110 #ifndef NO_ARCHIVES
3111 /* If NAME is an archive member reference replace it with the archive
3112 file name, and save the member name in MEMNAME. We will glob on the
3113 archive name and then reattach MEMNAME later. */
3114 if (! (flags & PARSEFS_NOAR) && ar_name (name))
3116 ar_parse_name (name, &arname, &memname);
3117 name = arname;
3119 #endif /* !NO_ARCHIVES */
3121 /* glob() is expensive: don't call it unless we need to. */
3122 if (!(flags & PARSEFS_EXISTS) && strpbrk (name, "?*[") == NULL)
3124 globme = 0;
3125 i = 1;
3126 nlist = &name;
3128 else
3129 switch (glob (name, GLOB_NOSORT|GLOB_ALTDIRFUNC, NULL, &gl))
3131 case GLOB_NOSPACE:
3132 fatal (NILF, _("virtual memory exhausted"));
3134 case 0:
3135 /* Success. */
3136 i = gl.gl_pathc;
3137 nlist = (const char **)gl.gl_pathv;
3138 break;
3140 case GLOB_NOMATCH:
3141 /* If we want only existing items, skip this one. */
3142 if (flags & PARSEFS_EXISTS)
3144 i = 0;
3145 break;
3147 /* FALLTHROUGH */
3149 default:
3150 /* By default keep this name. */
3151 i = 1;
3152 nlist = &name;
3153 break;
3156 /* For each matched element, add it to the list. */
3157 while (i-- > 0)
3158 #ifndef NO_ARCHIVES
3159 if (memname != 0)
3161 /* Try to glob on MEMNAME within the archive. */
3162 struct nameseq *found = ar_glob (nlist[i], memname, size);
3163 if (! found)
3164 /* No matches. Use MEMNAME as-is. */
3165 NEWELT (concat (5, prefix, nlist[i], "(", memname, ")"));
3166 else
3168 /* We got a chain of items. Attach them. */
3169 if (*newp)
3170 (*newp)->next = found;
3171 else
3172 *newp = found;
3174 /* Find and set the new end. Massage names if necessary. */
3175 while (1)
3177 if (! cachep)
3178 found->name = xstrdup (concat (2, prefix, name));
3179 else if (prefix)
3180 found->name = strcache_add (concat (2, prefix, name));
3182 if (found->next == 0)
3183 break;
3185 found = found->next;
3187 newp = &found->next;
3190 else
3191 #endif /* !NO_ARCHIVES */
3192 NEWELT (concat (2, prefix, nlist[i]));
3194 if (globme)
3195 globfree (&gl);
3197 #ifndef NO_ARCHIVES
3198 if (arname)
3199 free (arname);
3200 #endif
3202 if (tildep)
3203 free (tildep);
3206 *stringp = p;
3207 return new;