Improve backslash/newline handling to adhere to POSIX requirements.
[make.git] / read.c
blob7b5b0dd0a7b63aacbbdde7a794afe16bab3f6c60
1 /* Reading and parsing of makefiles 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, 2008, 2009,
4 2010 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 == sizeof(s)-1 && strneq (s, p, sizeof(s)-1))
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 filename = strcache_add (filename);
328 ebuf.floc.filenm = filename;
329 ebuf.floc.lineno = 1;
331 if (ISDB (DB_VERBOSE))
333 printf (_("Reading makefile `%s'"), filename);
334 if (flags & RM_NO_DEFAULT_GOAL)
335 printf (_(" (no default goal)"));
336 if (flags & RM_INCLUDED)
337 printf (_(" (search path)"));
338 if (flags & RM_DONTCARE)
339 printf (_(" (don't care)"));
340 if (flags & RM_NO_TILDE)
341 printf (_(" (no ~ expansion)"));
342 puts ("...");
345 /* First, get a stream to read. */
347 /* Expand ~ in FILENAME unless it came from `include',
348 in which case it was already done. */
349 if (!(flags & RM_NO_TILDE) && filename[0] == '~')
351 expanded = tilde_expand (filename);
352 if (expanded != 0)
353 filename = expanded;
356 ebuf.fp = fopen (filename, "r");
357 /* Save the error code so we print the right message later. */
358 makefile_errno = errno;
360 /* If the makefile wasn't found and it's either a makefile from
361 the `MAKEFILES' variable or an included makefile,
362 search the included makefile search path for this makefile. */
363 if (ebuf.fp == 0 && (flags & RM_INCLUDED) && *filename != '/')
365 unsigned int i;
366 for (i = 0; include_directories[i] != 0; ++i)
368 const char *included = concat (3, include_directories[i],
369 "/", filename);
370 ebuf.fp = fopen (included, "r");
371 if (ebuf.fp)
373 filename = strcache_add (included);
374 break;
379 /* Add FILENAME to the chain of read makefiles. */
380 deps = alloc_dep ();
381 deps->next = read_makefiles;
382 read_makefiles = deps;
383 deps->file = lookup_file (filename);
384 if (deps->file == 0)
385 deps->file = enter_file (filename);
386 filename = deps->file->name;
387 deps->changed = flags;
388 if (flags & RM_DONTCARE)
389 deps->dontcare = 1;
391 if (expanded)
392 free (expanded);
394 /* If the makefile can't be found at all, give up entirely. */
396 if (ebuf.fp == 0)
398 /* If we did some searching, errno has the error from the last
399 attempt, rather from FILENAME itself. Restore it in case the
400 caller wants to use it in a message. */
401 errno = makefile_errno;
402 return 0;
405 /* Set close-on-exec to avoid leaking the makefile to children, such as
406 $(shell ...). */
407 #ifdef HAVE_FILENO
408 CLOSE_ON_EXEC (fileno (ebuf.fp));
409 #endif
411 /* Add this makefile to the list. */
412 do_variable_definition (&ebuf.floc, "MAKEFILE_LIST", filename, o_file,
413 f_append, 0);
415 /* Evaluate the makefile */
417 ebuf.size = 200;
418 ebuf.buffer = ebuf.bufnext = ebuf.bufstart = xmalloc (ebuf.size);
420 curfile = reading_file;
421 reading_file = &ebuf.floc;
423 eval (&ebuf, !(flags & RM_NO_DEFAULT_GOAL));
425 reading_file = curfile;
427 fclose (ebuf.fp);
429 free (ebuf.bufstart);
430 alloca (0);
432 return 1;
435 void
436 eval_buffer (char *buffer)
438 struct ebuffer ebuf;
439 struct conditionals *saved;
440 struct conditionals new;
441 const struct floc *curfile;
443 /* Evaluate the buffer */
445 ebuf.size = strlen (buffer);
446 ebuf.buffer = ebuf.bufnext = ebuf.bufstart = buffer;
447 ebuf.fp = NULL;
449 if (reading_file)
450 ebuf.floc = *reading_file;
451 else
452 ebuf.floc.filenm = NULL;
454 curfile = reading_file;
455 reading_file = &ebuf.floc;
457 saved = install_conditionals (&new);
459 eval (&ebuf, 1);
461 restore_conditionals (saved);
463 reading_file = curfile;
465 alloca (0);
468 /* Check LINE to see if it's a variable assignment or undefine.
470 It might use one of the modifiers "export", "override", "private", or it
471 might be one of the conditional tokens like "ifdef", "include", etc.
473 If it's not a variable assignment or undefine, VMOD.V_ASSIGN is 0.
474 Returns LINE.
476 Returns a pointer to the first non-modifier character, and sets VMOD
477 based on the modifiers found if any, plus V_ASSIGN is 1.
479 static char *
480 parse_var_assignment (const char *line, struct vmodifiers *vmod)
482 const char *p;
483 memset (vmod, '\0', sizeof (*vmod));
485 /* Find the start of the next token. If there isn't one we're done. */
486 line = next_token (line);
487 if (*line == '\0')
488 return (char *)line;
490 p = line;
491 while (1)
493 int wlen;
494 const char *p2;
495 enum variable_flavor flavor;
497 p2 = parse_variable_definition (p, &flavor);
499 /* If this is a variable assignment, we're done. */
500 if (p2)
501 break;
503 /* It's not a variable; see if it's a modifier. */
504 p2 = end_of_token (p);
505 wlen = p2 - p;
507 if (word1eq ("export"))
508 vmod->export_v = 1;
509 else if (word1eq ("override"))
510 vmod->override_v = 1;
511 else if (word1eq ("private"))
512 vmod->private_v = 1;
513 else if (word1eq ("define"))
515 /* We can't have modifiers after 'define' */
516 vmod->define_v = 1;
517 p = next_token (p2);
518 break;
520 else if (word1eq ("undefine"))
522 /* We can't have modifiers after 'undefine' */
523 vmod->undefine_v = 1;
524 p = next_token (p2);
525 break;
527 else
528 /* Not a variable or modifier: this is not a variable assignment. */
529 return (char *)line;
531 /* It was a modifier. Try the next word. */
532 p = next_token (p2);
533 if (*p == '\0')
534 return (char *)line;
537 /* Found a variable assignment or undefine. */
538 vmod->assign_v = 1;
539 return (char *)p;
543 /* Read file FILENAME as a makefile and add its contents to the data base.
545 SET_DEFAULT is true if we are allowed to set the default goal. */
547 static void
548 eval (struct ebuffer *ebuf, int set_default)
550 char *collapsed = 0;
551 unsigned int collapsed_length = 0;
552 unsigned int commands_len = 200;
553 char *commands;
554 unsigned int commands_idx = 0;
555 unsigned int cmds_started, tgts_started;
556 int ignoring = 0, in_ignored_define = 0;
557 int no_targets = 0; /* Set when reading a rule without targets. */
558 struct nameseq *filenames = 0;
559 char *depstr = 0;
560 long nlines = 0;
561 int two_colon = 0;
562 char prefix;
563 const char *pattern = 0;
564 const char *pattern_percent;
565 struct floc *fstart;
566 struct floc fi;
568 #define record_waiting_files() \
569 do \
571 if (filenames != 0) \
573 fi.lineno = tgts_started; \
574 record_files (filenames, pattern, pattern_percent, depstr, \
575 cmds_started, commands, commands_idx, two_colon, \
576 prefix, &fi); \
577 filenames = 0; \
579 commands_idx = 0; \
580 no_targets = 0; \
581 pattern = 0; \
582 } while (0)
584 pattern_percent = 0;
585 cmds_started = tgts_started = 1;
587 fstart = &ebuf->floc;
588 fi.filenm = ebuf->floc.filenm;
590 /* Loop over lines in the file.
591 The strategy is to accumulate target names in FILENAMES, dependencies
592 in DEPS and commands in COMMANDS. These are used to define a rule
593 when the start of the next rule (or eof) is encountered.
595 When you see a "continue" in the loop below, that means we are moving on
596 to the next line _without_ ending any rule that we happen to be working
597 with at the moment. If you see a "goto rule_complete", then the
598 statement we just parsed also finishes the previous rule. */
600 commands = xmalloc (200);
602 while (1)
604 unsigned int linelen;
605 char *line;
606 unsigned int wlen;
607 char *p;
608 char *p2;
609 struct vmodifiers vmod;
611 /* At the top of this loop, we are starting a brand new line. */
612 /* Grab the next line to be evaluated */
613 ebuf->floc.lineno += nlines;
614 nlines = readline (ebuf);
616 /* If there is nothing left to eval, we're done. */
617 if (nlines < 0)
618 break;
620 /* If this line is empty, skip it. */
621 line = ebuf->buffer;
622 if (line[0] == '\0')
623 continue;
625 linelen = strlen (line);
627 /* Check for a shell command line first.
628 If it is not one, we can stop treating cmd_prefix specially. */
629 if (line[0] == cmd_prefix)
631 if (no_targets)
632 /* Ignore the commands in a rule with no targets. */
633 continue;
635 /* If there is no preceding rule line, don't treat this line
636 as a command, even though it begins with a recipe prefix.
637 SunOS 4 make appears to behave this way. */
639 if (filenames != 0)
641 if (ignoring)
642 /* Yep, this is a shell command, and we don't care. */
643 continue;
645 if (commands_idx == 0)
646 cmds_started = ebuf->floc.lineno;
648 /* Append this command line to the line being accumulated.
649 Skip the initial command prefix character. */
650 if (linelen + commands_idx > commands_len)
652 commands_len = (linelen + commands_idx) * 2;
653 commands = xrealloc (commands, commands_len);
655 memcpy (&commands[commands_idx], line + 1, linelen - 1);
656 commands_idx += linelen - 1;
657 commands[commands_idx++] = '\n';
658 continue;
662 /* This line is not a shell command line. Don't worry about whitespace.
663 Get more space if we need it; we don't need to preserve the current
664 contents of the buffer. */
666 if (collapsed_length < linelen+1)
668 collapsed_length = linelen+1;
669 if (collapsed)
670 free (collapsed);
671 /* Don't need xrealloc: we don't need to preserve the content. */
672 collapsed = xmalloc (collapsed_length);
674 strcpy (collapsed, line);
675 /* Collapse continuation lines. */
676 collapse_continuations (collapsed);
677 remove_comments (collapsed);
679 /* Get rid if starting space (including formfeed, vtab, etc.) */
680 p = collapsed;
681 while (isspace ((unsigned char)*p))
682 ++p;
684 /* See if this is a variable assignment. We need to do this early, to
685 allow variables with names like 'ifdef', 'export', 'private', etc. */
686 p = parse_var_assignment(p, &vmod);
687 if (vmod.assign_v)
689 struct variable *v;
690 enum variable_origin origin = vmod.override_v ? o_override : o_file;
692 /* If we're ignoring then we're done now. */
693 if (ignoring)
695 if (vmod.define_v)
696 in_ignored_define = 1;
697 continue;
700 if (vmod.undefine_v)
702 do_undefine (p, origin, ebuf);
704 /* This line has been dealt with. */
705 goto rule_complete;
707 else if (vmod.define_v)
708 v = do_define (p, origin, ebuf);
709 else
710 v = try_variable_definition (fstart, p, origin, 0);
712 assert (v != NULL);
714 if (vmod.export_v)
715 v->export = v_export;
716 if (vmod.private_v)
717 v->private_var = 1;
719 /* This line has been dealt with. */
720 goto rule_complete;
723 /* If this line is completely empty, ignore it. */
724 if (*p == '\0')
725 continue;
727 p2 = end_of_token (p);
728 wlen = p2 - p;
729 p2 = next_token (p2);
731 /* If we're in an ignored define, skip this line (but maybe get out). */
732 if (in_ignored_define)
734 /* See if this is an endef line (plus optional comment). */
735 if (word1eq ("endef") && (*p2 == '\0' || *p2 == '#'))
736 in_ignored_define = 0;
738 continue;
741 /* Check for conditional state changes. */
743 int i = conditional_line (p, wlen, fstart);
744 if (i != -2)
746 if (i == -1)
747 fatal (fstart, _("invalid syntax in conditional"));
749 ignoring = i;
750 continue;
754 /* Nothing to see here... move along. */
755 if (ignoring)
756 continue;
758 /* Manage the "export" keyword used outside of variable assignment
759 as well as "unexport". */
760 if (word1eq ("export") || word1eq ("unexport"))
762 int exporting = *p == 'u' ? 0 : 1;
764 /* (un)export by itself causes everything to be (un)exported. */
765 if (*p2 == '\0')
766 export_all_variables = exporting;
767 else
769 unsigned int l;
770 const char *cp;
771 char *ap;
773 /* Expand the line so we can use indirect and constructed
774 variable names in an (un)export command. */
775 cp = ap = allocated_variable_expand (p2);
777 for (p = find_next_token (&cp, &l); p != 0;
778 p = find_next_token (&cp, &l))
780 struct variable *v = lookup_variable (p, l);
781 if (v == 0)
782 v = define_variable_loc (p, l, "", o_file, 0, fstart);
783 v->export = exporting ? v_export : v_noexport;
786 free (ap);
788 goto rule_complete;
791 /* Handle the special syntax for vpath. */
792 if (word1eq ("vpath"))
794 const char *cp;
795 char *vpat;
796 unsigned int l;
797 cp = variable_expand (p2);
798 p = find_next_token (&cp, &l);
799 if (p != 0)
801 vpat = xstrndup (p, l);
802 p = find_next_token (&cp, &l);
803 /* No searchpath means remove all previous
804 selective VPATH's with the same pattern. */
806 else
807 /* No pattern means remove all previous selective VPATH's. */
808 vpat = 0;
809 construct_vpath_list (vpat, p);
810 if (vpat != 0)
811 free (vpat);
813 goto rule_complete;
816 /* Handle include and variants. */
817 if (word1eq ("include") || word1eq ("-include") || word1eq ("sinclude"))
819 /* We have found an `include' line specifying a nested
820 makefile to be read at this point. */
821 struct conditionals *save;
822 struct conditionals new_conditionals;
823 struct nameseq *files;
824 /* "-include" (vs "include") says no error if the file does not
825 exist. "sinclude" is an alias for this from SGI. */
826 int noerror = (p[0] != 'i');
828 p = allocated_variable_expand (p2);
830 /* If no filenames, it's a no-op. */
831 if (*p == '\0')
833 free (p);
834 continue;
837 /* Parse the list of file names. Don't expand archive references! */
838 p2 = p;
839 files = PARSE_FILE_SEQ (&p2, struct nameseq, '\0', NULL,
840 PARSEFS_NOAR);
841 free (p);
843 /* Save the state of conditionals and start
844 the included makefile with a clean slate. */
845 save = install_conditionals (&new_conditionals);
847 /* Record the rules that are waiting so they will determine
848 the default goal before those in the included makefile. */
849 record_waiting_files ();
851 /* Read each included makefile. */
852 while (files != 0)
854 struct nameseq *next = files->next;
855 const char *name = files->name;
856 int r;
858 free_ns (files);
859 files = next;
861 r = eval_makefile (name,
862 (RM_INCLUDED | RM_NO_TILDE
863 | (noerror ? RM_DONTCARE : 0)
864 | (set_default ? 0 : RM_NO_DEFAULT_GOAL)));
865 if (!r && !noerror)
866 error (fstart, "%s: %s", name, strerror (errno));
869 /* Restore conditional state. */
870 restore_conditionals (save);
872 goto rule_complete;
875 /* This line starts with a tab but was not caught above because there
876 was no preceding target, and the line might have been usable as a
877 variable definition. But now we know it is definitely lossage. */
878 if (line[0] == cmd_prefix)
879 fatal(fstart, _("recipe commences before first target"));
881 /* This line describes some target files. This is complicated by
882 the existence of target-specific variables, because we can't
883 expand the entire line until we know if we have one or not. So
884 we expand the line word by word until we find the first `:',
885 then check to see if it's a target-specific variable.
887 In this algorithm, `lb_next' will point to the beginning of the
888 unexpanded parts of the input buffer, while `p2' points to the
889 parts of the expanded buffer we haven't searched yet. */
892 enum make_word_type wtype;
893 char *cmdleft, *semip, *lb_next;
894 unsigned int plen = 0;
895 char *colonp;
896 const char *end, *beg; /* Helpers for whitespace stripping. */
898 /* Record the previous rule. */
900 record_waiting_files ();
901 tgts_started = fstart->lineno;
903 /* Search the line for an unquoted ; that is not after an
904 unquoted #. */
905 cmdleft = find_char_unquote (line, ';', '#', 0, 1);
906 if (cmdleft != 0 && *cmdleft == '#')
908 /* We found a comment before a semicolon. */
909 *cmdleft = '\0';
910 cmdleft = 0;
912 else if (cmdleft != 0)
913 /* Found one. Cut the line short there before expanding it. */
914 *(cmdleft++) = '\0';
915 semip = cmdleft;
917 collapse_continuations (line);
919 /* We can't expand the entire line, since if it's a per-target
920 variable we don't want to expand it. So, walk from the
921 beginning, expanding as we go, and looking for "interesting"
922 chars. The first word is always expandable. */
923 wtype = get_next_mword(line, NULL, &lb_next, &wlen);
924 switch (wtype)
926 case w_eol:
927 if (cmdleft != 0)
928 fatal(fstart, _("missing rule before recipe"));
929 /* This line contained something but turned out to be nothing
930 but whitespace (a comment?). */
931 continue;
933 case w_colon:
934 case w_dcolon:
935 /* We accept and ignore rules without targets for
936 compatibility with SunOS 4 make. */
937 no_targets = 1;
938 continue;
940 default:
941 break;
944 p2 = variable_expand_string(NULL, lb_next, wlen);
946 while (1)
948 lb_next += wlen;
949 if (cmdleft == 0)
951 /* Look for a semicolon in the expanded line. */
952 cmdleft = find_char_unquote (p2, ';', 0, 0, 0);
954 if (cmdleft != 0)
956 unsigned long p2_off = p2 - variable_buffer;
957 unsigned long cmd_off = cmdleft - variable_buffer;
958 char *pend = p2 + strlen(p2);
960 /* Append any remnants of lb, then cut the line short
961 at the semicolon. */
962 *cmdleft = '\0';
964 /* One school of thought says that you shouldn't expand
965 here, but merely copy, since now you're beyond a ";"
966 and into a command script. However, the old parser
967 expanded the whole line, so we continue that for
968 backwards-compatiblity. Also, it wouldn't be
969 entirely consistent, since we do an unconditional
970 expand below once we know we don't have a
971 target-specific variable. */
972 (void)variable_expand_string(pend, lb_next, (long)-1);
973 lb_next += strlen(lb_next);
974 p2 = variable_buffer + p2_off;
975 cmdleft = variable_buffer + cmd_off + 1;
979 colonp = find_char_unquote(p2, ':', 0, 0, 0);
980 #ifdef HAVE_DOS_PATHS
981 /* The drive spec brain-damage strikes again... */
982 /* Note that the only separators of targets in this context
983 are whitespace and a left paren. If others are possible,
984 they should be added to the string in the call to index. */
985 while (colonp && (colonp[1] == '/' || colonp[1] == '\\') &&
986 colonp > p2 && isalpha ((unsigned char)colonp[-1]) &&
987 (colonp == p2 + 1 || strchr (" \t(", colonp[-2]) != 0))
988 colonp = find_char_unquote(colonp + 1, ':', 0, 0, 0);
989 #endif
990 if (colonp != 0)
991 break;
993 wtype = get_next_mword(lb_next, NULL, &lb_next, &wlen);
994 if (wtype == w_eol)
995 break;
997 p2 += strlen(p2);
998 *(p2++) = ' ';
999 p2 = variable_expand_string(p2, lb_next, wlen);
1000 /* We don't need to worry about cmdleft here, because if it was
1001 found in the variable_buffer the entire buffer has already
1002 been expanded... we'll never get here. */
1005 p2 = next_token (variable_buffer);
1007 /* If the word we're looking at is EOL, see if there's _anything_
1008 on the line. If not, a variable expanded to nothing, so ignore
1009 it. If so, we can't parse this line so punt. */
1010 if (wtype == w_eol)
1012 if (*p2 != '\0')
1013 /* There's no need to be ivory-tower about this: check for
1014 one of the most common bugs found in makefiles... */
1015 fatal (fstart, _("missing separator%s"),
1016 (cmd_prefix == '\t' && !strneq(line, " ", 8))
1017 ? "" : _(" (did you mean TAB instead of 8 spaces?)"));
1018 continue;
1021 /* Make the colon the end-of-string so we know where to stop
1022 looking for targets. */
1023 *colonp = '\0';
1024 filenames = PARSE_FILE_SEQ (&p2, struct nameseq, '\0', NULL, 0);
1025 *p2 = ':';
1027 if (!filenames)
1029 /* We accept and ignore rules without targets for
1030 compatibility with SunOS 4 make. */
1031 no_targets = 1;
1032 continue;
1034 /* This should never be possible; we handled it above. */
1035 assert (*p2 != '\0');
1036 ++p2;
1038 /* Is this a one-colon or two-colon entry? */
1039 two_colon = *p2 == ':';
1040 if (two_colon)
1041 p2++;
1043 /* Test to see if it's a target-specific variable. Copy the rest
1044 of the buffer over, possibly temporarily (we'll expand it later
1045 if it's not a target-specific variable). PLEN saves the length
1046 of the unparsed section of p2, for later. */
1047 if (*lb_next != '\0')
1049 unsigned int l = p2 - variable_buffer;
1050 plen = strlen (p2);
1051 variable_buffer_output (p2+plen, lb_next, strlen (lb_next)+1);
1052 p2 = variable_buffer + l;
1055 p2 = parse_var_assignment (p2, &vmod);
1056 if (vmod.assign_v)
1058 /* If there was a semicolon found, add it back, plus anything
1059 after it. */
1060 if (semip)
1062 unsigned int l = p - variable_buffer;
1063 *(--semip) = ';';
1064 collapse_continuations (semip);
1065 variable_buffer_output (p2 + strlen (p2),
1066 semip, strlen (semip)+1);
1067 p = variable_buffer + l;
1069 record_target_var (filenames, p2,
1070 vmod.override_v ? o_override : o_file,
1071 &vmod, fstart);
1072 filenames = 0;
1073 continue;
1076 /* This is a normal target, _not_ a target-specific variable.
1077 Unquote any = in the dependency list. */
1078 find_char_unquote (lb_next, '=', 0, 0, 0);
1080 /* Remember the command prefix for this target. */
1081 prefix = cmd_prefix;
1083 /* We have some targets, so don't ignore the following commands. */
1084 no_targets = 0;
1086 /* Expand the dependencies, etc. */
1087 if (*lb_next != '\0')
1089 unsigned int l = p2 - variable_buffer;
1090 (void) variable_expand_string (p2 + plen, lb_next, (long)-1);
1091 p2 = variable_buffer + l;
1093 /* Look for a semicolon in the expanded line. */
1094 if (cmdleft == 0)
1096 cmdleft = find_char_unquote (p2, ';', 0, 0, 0);
1097 if (cmdleft != 0)
1098 *(cmdleft++) = '\0';
1102 /* Is this a static pattern rule: `target: %targ: %dep; ...'? */
1103 p = strchr (p2, ':');
1104 while (p != 0 && p[-1] == '\\')
1106 char *q = &p[-1];
1107 int backslash = 0;
1108 while (*q-- == '\\')
1109 backslash = !backslash;
1110 if (backslash)
1111 p = strchr (p + 1, ':');
1112 else
1113 break;
1115 #ifdef _AMIGA
1116 /* Here, the situation is quite complicated. Let's have a look
1117 at a couple of targets:
1119 install: dev:make
1121 dev:make: make
1123 dev:make:: xyz
1125 The rule is that it's only a target, if there are TWO :'s
1126 OR a space around the :.
1128 if (p && !(isspace ((unsigned char)p[1]) || !p[1]
1129 || isspace ((unsigned char)p[-1])))
1130 p = 0;
1131 #endif
1132 #ifdef HAVE_DOS_PATHS
1134 int check_again;
1135 do {
1136 check_again = 0;
1137 /* For DOS-style paths, skip a "C:\..." or a "C:/..." */
1138 if (p != 0 && (p[1] == '\\' || p[1] == '/') &&
1139 isalpha ((unsigned char)p[-1]) &&
1140 (p == p2 + 1 || strchr (" \t:(", p[-2]) != 0)) {
1141 p = strchr (p + 1, ':');
1142 check_again = 1;
1144 } while (check_again);
1146 #endif
1147 if (p != 0)
1149 struct nameseq *target;
1150 target = PARSE_FILE_SEQ (&p2, struct nameseq, ':', NULL,
1151 PARSEFS_NOGLOB);
1152 ++p2;
1153 if (target == 0)
1154 fatal (fstart, _("missing target pattern"));
1155 else if (target->next != 0)
1156 fatal (fstart, _("multiple target patterns"));
1157 pattern_percent = find_percent_cached (&target->name);
1158 pattern = target->name;
1159 if (pattern_percent == 0)
1160 fatal (fstart, _("target pattern contains no `%%'"));
1161 free_ns (target);
1163 else
1164 pattern = 0;
1166 /* Strip leading and trailing whitespaces. */
1167 beg = p2;
1168 end = beg + strlen (beg) - 1;
1169 strip_whitespace (&beg, &end);
1171 /* Put all the prerequisites here; they'll be parsed later. */
1172 if (beg <= end && *beg != '\0')
1173 depstr = xstrndup (beg, end - beg + 1);
1174 else
1175 depstr = 0;
1177 commands_idx = 0;
1178 if (cmdleft != 0)
1180 /* Semicolon means rest of line is a command. */
1181 unsigned int l = strlen (cmdleft);
1183 cmds_started = fstart->lineno;
1185 /* Add this command line to the buffer. */
1186 if (l + 2 > commands_len)
1188 commands_len = (l + 2) * 2;
1189 commands = xrealloc (commands, commands_len);
1191 memcpy (commands, cmdleft, l);
1192 commands_idx += l;
1193 commands[commands_idx++] = '\n';
1196 /* Determine if this target should be made default. We used to do
1197 this in record_files() but because of the delayed target recording
1198 and because preprocessor directives are legal in target's commands
1199 it is too late. Consider this fragment for example:
1201 foo:
1203 ifeq ($(.DEFAULT_GOAL),foo)
1205 endif
1207 Because the target is not recorded until after ifeq directive is
1208 evaluated the .DEFAULT_GOAL does not contain foo yet as one
1209 would expect. Because of this we have to move the logic here. */
1211 if (set_default && default_goal_var->value[0] == '\0')
1213 const char *name;
1214 struct dep *d;
1215 struct nameseq *t = filenames;
1217 for (; t != 0; t = t->next)
1219 int reject = 0;
1220 name = t->name;
1222 /* We have nothing to do if this is an implicit rule. */
1223 if (strchr (name, '%') != 0)
1224 break;
1226 /* See if this target's name does not start with a `.',
1227 unless it contains a slash. */
1228 if (*name == '.' && strchr (name, '/') == 0
1229 #ifdef HAVE_DOS_PATHS
1230 && strchr (name, '\\') == 0
1231 #endif
1233 continue;
1236 /* If this file is a suffix, don't let it be
1237 the default goal file. */
1238 for (d = suffix_file->deps; d != 0; d = d->next)
1240 register struct dep *d2;
1241 if (*dep_name (d) != '.' && streq (name, dep_name (d)))
1243 reject = 1;
1244 break;
1246 for (d2 = suffix_file->deps; d2 != 0; d2 = d2->next)
1248 unsigned int l = strlen (dep_name (d2));
1249 if (!strneq (name, dep_name (d2), l))
1250 continue;
1251 if (streq (name + l, dep_name (d)))
1253 reject = 1;
1254 break;
1258 if (reject)
1259 break;
1262 if (!reject)
1264 define_variable_global (".DEFAULT_GOAL", 13, t->name,
1265 o_file, 0, NILF);
1266 break;
1271 continue;
1274 /* We get here except in the case that we just read a rule line.
1275 Record now the last rule we read, so following spurious
1276 commands are properly diagnosed. */
1277 rule_complete:
1278 record_waiting_files ();
1281 #undef word1eq
1283 if (conditionals->if_cmds)
1284 fatal (fstart, _("missing `endif'"));
1286 /* At eof, record the last rule. */
1287 record_waiting_files ();
1289 if (collapsed)
1290 free (collapsed);
1291 free (commands);
1295 /* Remove comments from LINE.
1296 This is done by copying the text at LINE onto itself. */
1298 static void
1299 remove_comments (char *line)
1301 char *comment;
1303 comment = find_char_unquote (line, '#', 0, 0, 0);
1305 if (comment != 0)
1306 /* Cut off the line at the #. */
1307 *comment = '\0';
1310 /* Execute a `undefine' directive.
1311 The undefine line has already been read, and NAME is the name of
1312 the variable to be undefined. */
1314 static void
1315 do_undefine (char *name, enum variable_origin origin, struct ebuffer *ebuf)
1317 char *p, *var;
1319 /* Expand the variable name and find the beginning (NAME) and end. */
1320 var = allocated_variable_expand (name);
1321 name = next_token (var);
1322 if (*name == '\0')
1323 fatal (&ebuf->floc, _("empty variable name"));
1324 p = name + strlen (name) - 1;
1325 while (p > name && isblank ((unsigned char)*p))
1326 --p;
1327 p[1] = '\0';
1329 undefine_variable_global (name, p - name + 1, origin);
1330 free (var);
1333 /* Execute a `define' directive.
1334 The first line has already been read, and NAME is the name of
1335 the variable to be defined. The following lines remain to be read. */
1337 static struct variable *
1338 do_define (char *name, enum variable_origin origin, struct ebuffer *ebuf)
1340 struct variable *v;
1341 enum variable_flavor flavor;
1342 struct floc defstart;
1343 int nlevels = 1;
1344 unsigned int length = 100;
1345 char *definition = xmalloc (length);
1346 unsigned int idx = 0;
1347 char *p, *var;
1349 defstart = ebuf->floc;
1351 p = parse_variable_definition (name, &flavor);
1352 if (p == NULL)
1353 /* No assignment token, so assume recursive. */
1354 flavor = f_recursive;
1355 else
1357 if (*(next_token (p)) != '\0')
1358 error (&defstart, _("extraneous text after `define' directive"));
1360 /* Chop the string before the assignment token to get the name. */
1361 p[flavor == f_recursive ? -1 : -2] = '\0';
1364 /* Expand the variable name and find the beginning (NAME) and end. */
1365 var = allocated_variable_expand (name);
1366 name = next_token (var);
1367 if (*name == '\0')
1368 fatal (&defstart, _("empty variable name"));
1369 p = name + strlen (name) - 1;
1370 while (p > name && isblank ((unsigned char)*p))
1371 --p;
1372 p[1] = '\0';
1374 /* Now read the value of the variable. */
1375 while (1)
1377 unsigned int len;
1378 char *line;
1379 long nlines = readline (ebuf);
1381 /* If there is nothing left to be eval'd, there's no 'endef'!! */
1382 if (nlines < 0)
1383 fatal (&defstart, _("missing `endef', unterminated `define'"));
1385 ebuf->floc.lineno += nlines;
1386 line = ebuf->buffer;
1388 collapse_continuations (line);
1390 /* If the line doesn't begin with a tab, test to see if it introduces
1391 another define, or ends one. Stop if we find an 'endef' */
1392 if (line[0] != cmd_prefix)
1394 p = next_token (line);
1395 len = strlen (p);
1397 /* If this is another 'define', increment the level count. */
1398 if ((len == 6 || (len > 6 && isblank ((unsigned char)p[6])))
1399 && strneq (p, "define", 6))
1400 ++nlevels;
1402 /* If this is an 'endef', decrement the count. If it's now 0,
1403 we've found the last one. */
1404 else if ((len == 5 || (len > 5 && isblank ((unsigned char)p[5])))
1405 && strneq (p, "endef", 5))
1407 p += 5;
1408 remove_comments (p);
1409 if (*(next_token (p)) != '\0')
1410 error (&ebuf->floc,
1411 _("extraneous text after `endef' directive"));
1413 if (--nlevels == 0)
1414 break;
1418 /* Add this line to the variable definition. */
1419 len = strlen (line);
1420 if (idx + len + 1 > length)
1422 length = (idx + len) * 2;
1423 definition = xrealloc (definition, length + 1);
1426 memcpy (&definition[idx], line, len);
1427 idx += len;
1428 /* Separate lines with a newline. */
1429 definition[idx++] = '\n';
1432 /* We've got what we need; define the variable. */
1433 if (idx == 0)
1434 definition[0] = '\0';
1435 else
1436 definition[idx - 1] = '\0';
1438 v = do_variable_definition (&defstart, name, definition, origin, flavor, 0);
1439 free (definition);
1440 free (var);
1441 return (v);
1444 /* Interpret conditional commands "ifdef", "ifndef", "ifeq",
1445 "ifneq", "else" and "endif".
1446 LINE is the input line, with the command as its first word.
1448 FILENAME and LINENO are the filename and line number in the
1449 current makefile. They are used for error messages.
1451 Value is -2 if the line is not a conditional at all,
1452 -1 if the line is an invalid conditional,
1453 0 if following text should be interpreted,
1454 1 if following text should be ignored. */
1456 static int
1457 conditional_line (char *line, int len, const struct floc *flocp)
1459 char *cmdname;
1460 enum { c_ifdef, c_ifndef, c_ifeq, c_ifneq, c_else, c_endif } cmdtype;
1461 unsigned int i;
1462 unsigned int o;
1464 /* Compare a word, both length and contents. */
1465 #define word1eq(s) (len == sizeof(s)-1 && strneq (s, line, sizeof(s)-1))
1466 #define chkword(s, t) if (word1eq (s)) { cmdtype = (t); cmdname = (s); }
1468 /* Make sure this line is a conditional. */
1469 chkword ("ifdef", c_ifdef)
1470 else chkword ("ifndef", c_ifndef)
1471 else chkword ("ifeq", c_ifeq)
1472 else chkword ("ifneq", c_ifneq)
1473 else chkword ("else", c_else)
1474 else chkword ("endif", c_endif)
1475 else
1476 return -2;
1478 /* Found one: skip past it and any whitespace after it. */
1479 line = next_token (line + len);
1481 #define EXTRANEOUS() error (flocp, _("Extraneous text after `%s' directive"), cmdname)
1483 /* An 'endif' cannot contain extra text, and reduces the if-depth by 1 */
1484 if (cmdtype == c_endif)
1486 if (*line != '\0')
1487 EXTRANEOUS ();
1489 if (!conditionals->if_cmds)
1490 fatal (flocp, _("extraneous `%s'"), cmdname);
1492 --conditionals->if_cmds;
1494 goto DONE;
1497 /* An 'else' statement can either be simple, or it can have another
1498 conditional after it. */
1499 if (cmdtype == c_else)
1501 const char *p;
1503 if (!conditionals->if_cmds)
1504 fatal (flocp, _("extraneous `%s'"), cmdname);
1506 o = conditionals->if_cmds - 1;
1508 if (conditionals->seen_else[o])
1509 fatal (flocp, _("only one `else' per conditional"));
1511 /* Change the state of ignorance. */
1512 switch (conditionals->ignoring[o])
1514 case 0:
1515 /* We've just been interpreting. Never do it again. */
1516 conditionals->ignoring[o] = 2;
1517 break;
1518 case 1:
1519 /* We've never interpreted yet. Maybe this time! */
1520 conditionals->ignoring[o] = 0;
1521 break;
1524 /* It's a simple 'else'. */
1525 if (*line == '\0')
1527 conditionals->seen_else[o] = 1;
1528 goto DONE;
1531 /* The 'else' has extra text. That text must be another conditional
1532 and cannot be an 'else' or 'endif'. */
1534 /* Find the length of the next word. */
1535 for (p = line+1; *p != '\0' && !isspace ((unsigned char)*p); ++p)
1537 len = p - line;
1539 /* If it's 'else' or 'endif' or an illegal conditional, fail. */
1540 if (word1eq("else") || word1eq("endif")
1541 || conditional_line (line, len, flocp) < 0)
1542 EXTRANEOUS ();
1543 else
1545 /* conditional_line() created a new level of conditional.
1546 Raise it back to this level. */
1547 if (conditionals->ignoring[o] < 2)
1548 conditionals->ignoring[o] = conditionals->ignoring[o+1];
1549 --conditionals->if_cmds;
1552 goto DONE;
1555 if (conditionals->allocated == 0)
1557 conditionals->allocated = 5;
1558 conditionals->ignoring = xmalloc (conditionals->allocated);
1559 conditionals->seen_else = xmalloc (conditionals->allocated);
1562 o = conditionals->if_cmds++;
1563 if (conditionals->if_cmds > conditionals->allocated)
1565 conditionals->allocated += 5;
1566 conditionals->ignoring = xrealloc (conditionals->ignoring,
1567 conditionals->allocated);
1568 conditionals->seen_else = xrealloc (conditionals->seen_else,
1569 conditionals->allocated);
1572 /* Record that we have seen an `if...' but no `else' so far. */
1573 conditionals->seen_else[o] = 0;
1575 /* Search through the stack to see if we're already ignoring. */
1576 for (i = 0; i < o; ++i)
1577 if (conditionals->ignoring[i])
1579 /* We are already ignoring, so just push a level to match the next
1580 "else" or "endif", and keep ignoring. We don't want to expand
1581 variables in the condition. */
1582 conditionals->ignoring[o] = 1;
1583 return 1;
1586 if (cmdtype == c_ifdef || cmdtype == c_ifndef)
1588 char *var;
1589 struct variable *v;
1590 char *p;
1592 /* Expand the thing we're looking up, so we can use indirect and
1593 constructed variable names. */
1594 var = allocated_variable_expand (line);
1596 /* Make sure there's only one variable name to test. */
1597 p = end_of_token (var);
1598 i = p - var;
1599 p = next_token (p);
1600 if (*p != '\0')
1601 return -1;
1603 var[i] = '\0';
1604 v = lookup_variable (var, i);
1606 conditionals->ignoring[o] =
1607 ((v != 0 && *v->value != '\0') == (cmdtype == c_ifndef));
1609 free (var);
1611 else
1613 /* "ifeq" or "ifneq". */
1614 char *s1, *s2;
1615 unsigned int l;
1616 char termin = *line == '(' ? ',' : *line;
1618 if (termin != ',' && termin != '"' && termin != '\'')
1619 return -1;
1621 s1 = ++line;
1622 /* Find the end of the first string. */
1623 if (termin == ',')
1625 int count = 0;
1626 for (; *line != '\0'; ++line)
1627 if (*line == '(')
1628 ++count;
1629 else if (*line == ')')
1630 --count;
1631 else if (*line == ',' && count <= 0)
1632 break;
1634 else
1635 while (*line != '\0' && *line != termin)
1636 ++line;
1638 if (*line == '\0')
1639 return -1;
1641 if (termin == ',')
1643 /* Strip blanks after the first string. */
1644 char *p = line++;
1645 while (isblank ((unsigned char)p[-1]))
1646 --p;
1647 *p = '\0';
1649 else
1650 *line++ = '\0';
1652 s2 = variable_expand (s1);
1653 /* We must allocate a new copy of the expanded string because
1654 variable_expand re-uses the same buffer. */
1655 l = strlen (s2);
1656 s1 = alloca (l + 1);
1657 memcpy (s1, s2, l + 1);
1659 if (termin != ',')
1660 /* Find the start of the second string. */
1661 line = next_token (line);
1663 termin = termin == ',' ? ')' : *line;
1664 if (termin != ')' && termin != '"' && termin != '\'')
1665 return -1;
1667 /* Find the end of the second string. */
1668 if (termin == ')')
1670 int count = 0;
1671 s2 = next_token (line);
1672 for (line = s2; *line != '\0'; ++line)
1674 if (*line == '(')
1675 ++count;
1676 else if (*line == ')')
1678 if (count <= 0)
1679 break;
1680 else
1681 --count;
1685 else
1687 ++line;
1688 s2 = line;
1689 while (*line != '\0' && *line != termin)
1690 ++line;
1693 if (*line == '\0')
1694 return -1;
1696 *line = '\0';
1697 line = next_token (++line);
1698 if (*line != '\0')
1699 EXTRANEOUS ();
1701 s2 = variable_expand (s2);
1702 conditionals->ignoring[o] = (streq (s1, s2) == (cmdtype == c_ifneq));
1705 DONE:
1706 /* Search through the stack to see if we're ignoring. */
1707 for (i = 0; i < conditionals->if_cmds; ++i)
1708 if (conditionals->ignoring[i])
1709 return 1;
1710 return 0;
1714 /* Record target-specific variable values for files FILENAMES.
1715 TWO_COLON is nonzero if a double colon was used.
1717 The links of FILENAMES are freed, and so are any names in it
1718 that are not incorporated into other data structures.
1720 If the target is a pattern, add the variable to the pattern-specific
1721 variable value list. */
1723 static void
1724 record_target_var (struct nameseq *filenames, char *defn,
1725 enum variable_origin origin, struct vmodifiers *vmod,
1726 const struct floc *flocp)
1728 struct nameseq *nextf;
1729 struct variable_set_list *global;
1731 global = current_variable_set_list;
1733 /* If the variable is an append version, store that but treat it as a
1734 normal recursive variable. */
1736 for (; filenames != 0; filenames = nextf)
1738 struct variable *v;
1739 const char *name = filenames->name;
1740 const char *fname;
1741 const char *percent;
1742 struct pattern_var *p;
1744 nextf = filenames->next;
1745 free_ns (filenames);
1747 /* If it's a pattern target, then add it to the pattern-specific
1748 variable list. */
1749 percent = find_percent_cached (&name);
1750 if (percent)
1752 /* Get a reference for this pattern-specific variable struct. */
1753 p = create_pattern_var (name, percent);
1754 p->variable.fileinfo = *flocp;
1755 /* I don't think this can fail since we already determined it was a
1756 variable definition. */
1757 v = assign_variable_definition (&p->variable, defn);
1758 assert (v != 0);
1760 v->origin = origin;
1761 if (v->flavor == f_simple)
1762 v->value = allocated_variable_expand (v->value);
1763 else
1764 v->value = xstrdup (v->value);
1766 fname = p->target;
1768 else
1770 struct file *f;
1772 /* Get a file reference for this file, and initialize it.
1773 We don't want to just call enter_file() because that allocates a
1774 new entry if the file is a double-colon, which we don't want in
1775 this situation. */
1776 f = lookup_file (name);
1777 if (!f)
1778 f = enter_file (strcache_add (name));
1779 else if (f->double_colon)
1780 f = f->double_colon;
1782 initialize_file_variables (f, 1);
1783 fname = f->name;
1785 current_variable_set_list = f->variables;
1786 v = try_variable_definition (flocp, defn, origin, 1);
1787 if (!v)
1788 fatal (flocp, _("Malformed target-specific variable definition"));
1789 current_variable_set_list = global;
1792 /* Set up the variable to be *-specific. */
1793 v->per_target = 1;
1794 v->private_var = vmod->private_v;
1795 v->export = vmod->export_v ? v_export : v_default;
1797 /* If it's not an override, check to see if there was a command-line
1798 setting. If so, reset the value. */
1799 if (v->origin != o_override)
1801 struct variable *gv;
1802 int len = strlen(v->name);
1804 gv = lookup_variable (v->name, len);
1805 if (gv && (gv->origin == o_env_override || gv->origin == o_command))
1807 if (v->value != 0)
1808 free (v->value);
1809 v->value = xstrdup (gv->value);
1810 v->origin = gv->origin;
1811 v->recursive = gv->recursive;
1812 v->append = 0;
1818 /* Record a description line for files FILENAMES,
1819 with dependencies DEPS, commands to execute described
1820 by COMMANDS and COMMANDS_IDX, coming from FILENAME:COMMANDS_STARTED.
1821 TWO_COLON is nonzero if a double colon was used.
1822 If not nil, PATTERN is the `%' pattern to make this
1823 a static pattern rule, and PATTERN_PERCENT is a pointer
1824 to the `%' within it.
1826 The links of FILENAMES are freed, and so are any names in it
1827 that are not incorporated into other data structures. */
1829 static void
1830 record_files (struct nameseq *filenames, const char *pattern,
1831 const char *pattern_percent, char *depstr,
1832 unsigned int cmds_started, char *commands,
1833 unsigned int commands_idx, int two_colon,
1834 char prefix, const struct floc *flocp)
1836 struct commands *cmds;
1837 struct dep *deps;
1838 const char *implicit_percent;
1839 const char *name;
1841 /* If we've already snapped deps, that means we're in an eval being
1842 resolved after the makefiles have been read in. We can't add more rules
1843 at this time, since they won't get snapped and we'll get core dumps.
1844 See Savannah bug # 12124. */
1845 if (snapped_deps)
1846 fatal (flocp, _("prerequisites cannot be defined in recipes"));
1848 /* Determine if this is a pattern rule or not. */
1849 name = filenames->name;
1850 implicit_percent = find_percent_cached (&name);
1852 /* If there's a recipe, set up a struct for it. */
1853 if (commands_idx > 0)
1855 cmds = xmalloc (sizeof (struct commands));
1856 cmds->fileinfo.filenm = flocp->filenm;
1857 cmds->fileinfo.lineno = cmds_started;
1858 cmds->commands = xstrndup (commands, commands_idx);
1859 cmds->command_lines = 0;
1860 cmds->recipe_prefix = prefix;
1862 else
1863 cmds = 0;
1865 /* If there's a prereq string then parse it--unless it's eligible for 2nd
1866 expansion: if so, snap_deps() will do it. */
1867 if (depstr == 0)
1868 deps = 0;
1869 else if (second_expansion && strchr (depstr, '$'))
1871 deps = alloc_dep ();
1872 deps->name = depstr;
1873 deps->need_2nd_expansion = 1;
1874 deps->staticpattern = pattern != 0;
1876 else
1878 deps = split_prereqs (depstr);
1879 free (depstr);
1881 /* We'll enter static pattern prereqs later when we have the stem. We
1882 don't want to enter pattern rules at all so that we don't think that
1883 they ought to exist (make manual "Implicit Rule Search Algorithm",
1884 item 5c). */
1885 if (! pattern && ! implicit_percent)
1886 deps = enter_prereqs (deps, NULL);
1889 /* For implicit rules, _all_ the targets must have a pattern. That means we
1890 can test the first one to see if we're working with an implicit rule; if
1891 so we handle it specially. */
1893 if (implicit_percent)
1895 struct nameseq *nextf;
1896 const char **targets, **target_pats;
1897 unsigned int c;
1899 if (pattern != 0)
1900 fatal (flocp, _("mixed implicit and static pattern rules"));
1902 /* Count the targets to create an array of target names.
1903 We already have the first one. */
1904 nextf = filenames->next;
1905 free_ns (filenames);
1906 filenames = nextf;
1908 for (c = 1; nextf; ++c, nextf = nextf->next)
1910 targets = xmalloc (c * sizeof (const char *));
1911 target_pats = xmalloc (c * sizeof (const char *));
1913 targets[0] = name;
1914 target_pats[0] = implicit_percent;
1916 c = 1;
1917 while (filenames)
1919 name = filenames->name;
1920 implicit_percent = find_percent_cached (&name);
1922 if (implicit_percent == 0)
1923 fatal (flocp, _("mixed implicit and normal rules"));
1925 targets[c] = name;
1926 target_pats[c] = implicit_percent;
1927 ++c;
1929 nextf = filenames->next;
1930 free_ns (filenames);
1931 filenames = nextf;
1934 create_pattern_rule (targets, target_pats, c, two_colon, deps, cmds, 1);
1936 return;
1940 /* Walk through each target and create it in the database.
1941 We already set up the first target, above. */
1942 while (1)
1944 struct nameseq *nextf = filenames->next;
1945 struct file *f;
1946 struct dep *this = 0;
1948 free_ns (filenames);
1950 /* Check for special targets. Do it here instead of, say, snap_deps()
1951 so that we can immediately use the value. */
1952 if (streq (name, ".POSIX"))
1954 posix_pedantic = 1;
1955 define_variable_cname (".SHELLFLAGS", "-ec", o_default, 0);
1957 else if (streq (name, ".SECONDEXPANSION"))
1958 second_expansion = 1;
1959 #if !defined(WINDOWS32) && !defined (__MSDOS__) && !defined (__EMX__)
1960 else if (streq (name, ".ONESHELL"))
1961 one_shell = 1;
1962 #endif
1964 /* If this is a static pattern rule:
1965 `targets: target%pattern: prereq%pattern; recipe',
1966 make sure the pattern matches this target name. */
1967 if (pattern && !pattern_matches (pattern, pattern_percent, name))
1968 error (flocp, _("target `%s' doesn't match the target pattern"), name);
1969 else if (deps)
1970 /* If there are multiple targets, copy the chain DEPS for all but the
1971 last one. It is not safe for the same deps to go in more than one
1972 place in the database. */
1973 this = nextf != 0 ? copy_dep_chain (deps) : deps;
1975 /* Find or create an entry in the file database for this target. */
1976 if (!two_colon)
1978 /* Single-colon. Combine this rule with the file's existing record,
1979 if any. */
1980 f = enter_file (strcache_add (name));
1981 if (f->double_colon)
1982 fatal (flocp,
1983 _("target file `%s' has both : and :: entries"), f->name);
1985 /* If CMDS == F->CMDS, this target was listed in this rule
1986 more than once. Just give a warning since this is harmless. */
1987 if (cmds != 0 && cmds == f->cmds)
1988 error (flocp,
1989 _("target `%s' given more than once in the same rule."),
1990 f->name);
1992 /* Check for two single-colon entries both with commands.
1993 Check is_target so that we don't lose on files such as .c.o
1994 whose commands were preinitialized. */
1995 else if (cmds != 0 && f->cmds != 0 && f->is_target)
1997 error (&cmds->fileinfo,
1998 _("warning: overriding recipe for target `%s'"),
1999 f->name);
2000 error (&f->cmds->fileinfo,
2001 _("warning: ignoring old recipe for target `%s'"),
2002 f->name);
2005 /* Defining .DEFAULT with no deps or cmds clears it. */
2006 if (f == default_file && this == 0 && cmds == 0)
2007 f->cmds = 0;
2008 if (cmds != 0)
2009 f->cmds = cmds;
2011 /* Defining .SUFFIXES with no dependencies clears out the list of
2012 suffixes. */
2013 if (f == suffix_file && this == 0)
2015 free_dep_chain (f->deps);
2016 f->deps = 0;
2019 else
2021 /* Double-colon. Make a new record even if there already is one. */
2022 f = lookup_file (name);
2024 /* Check for both : and :: rules. Check is_target so we don't lose
2025 on default suffix rules or makefiles. */
2026 if (f != 0 && f->is_target && !f->double_colon)
2027 fatal (flocp,
2028 _("target file `%s' has both : and :: entries"), f->name);
2030 f = enter_file (strcache_add (name));
2031 /* If there was an existing entry and it was a double-colon entry,
2032 enter_file will have returned a new one, making it the prev
2033 pointer of the old one, and setting its double_colon pointer to
2034 the first one. */
2035 if (f->double_colon == 0)
2036 /* This is the first entry for this name, so we must set its
2037 double_colon pointer to itself. */
2038 f->double_colon = f;
2040 f->cmds = cmds;
2043 f->is_target = 1;
2045 /* If this is a static pattern rule, set the stem to the part of its
2046 name that matched the `%' in the pattern, so you can use $* in the
2047 commands. If we didn't do it before, enter the prereqs now. */
2048 if (pattern)
2050 static const char *percent = "%";
2051 char *buffer = variable_expand ("");
2052 char *o = patsubst_expand_pat (buffer, name, pattern, percent,
2053 pattern_percent+1, percent+1);
2054 f->stem = strcache_add_len (buffer, o - buffer);
2055 if (this)
2057 if (! this->need_2nd_expansion)
2058 this = enter_prereqs (this, f->stem);
2059 else
2060 this->stem = f->stem;
2064 /* Add the dependencies to this file entry. */
2065 if (this != 0)
2067 /* Add the file's old deps and the new ones in THIS together. */
2068 if (f->deps == 0)
2069 f->deps = this;
2070 else if (cmds != 0)
2072 struct dep *d = this;
2074 /* If this rule has commands, put these deps first. */
2075 while (d->next != 0)
2076 d = d->next;
2078 d->next = f->deps;
2079 f->deps = this;
2081 else
2083 struct dep *d = f->deps;
2085 /* A rule without commands: put its prereqs at the end. */
2086 while (d->next != 0)
2087 d = d->next;
2089 d->next = this;
2093 name = f->name;
2095 /* All done! Set up for the next one. */
2096 if (nextf == 0)
2097 break;
2099 filenames = nextf;
2101 /* Reduce escaped percents. If there are any unescaped it's an error */
2102 name = filenames->name;
2103 if (find_percent_cached (&name))
2104 fatal (flocp, _("mixed implicit and normal rules"));
2108 /* Search STRING for an unquoted STOPCHAR or blank (if BLANK is nonzero).
2109 Backslashes quote STOPCHAR, blanks if BLANK is nonzero, and backslash.
2110 Quoting backslashes are removed from STRING by compacting it into
2111 itself. Returns a pointer to the first unquoted STOPCHAR if there is
2112 one, or nil if there are none. STOPCHARs inside variable references are
2113 ignored if IGNOREVARS is true.
2115 STOPCHAR _cannot_ be '$' if IGNOREVARS is true. */
2117 static char *
2118 find_char_unquote (char *string, int stop1, int stop2, int blank,
2119 int ignorevars)
2121 unsigned int string_len = 0;
2122 char *p = string;
2124 if (ignorevars)
2125 ignorevars = '$';
2127 while (1)
2129 if (stop2 && blank)
2130 while (*p != '\0' && *p != ignorevars && *p != stop1 && *p != stop2
2131 && ! isblank ((unsigned char) *p))
2132 ++p;
2133 else if (stop2)
2134 while (*p != '\0' && *p != ignorevars && *p != stop1 && *p != stop2)
2135 ++p;
2136 else if (blank)
2137 while (*p != '\0' && *p != ignorevars && *p != stop1
2138 && ! isblank ((unsigned char) *p))
2139 ++p;
2140 else
2141 while (*p != '\0' && *p != ignorevars && *p != stop1)
2142 ++p;
2144 if (*p == '\0')
2145 break;
2147 /* If we stopped due to a variable reference, skip over its contents. */
2148 if (*p == ignorevars)
2150 char openparen = p[1];
2152 p += 2;
2154 /* Skip the contents of a non-quoted, multi-char variable ref. */
2155 if (openparen == '(' || openparen == '{')
2157 unsigned int pcount = 1;
2158 char closeparen = (openparen == '(' ? ')' : '}');
2160 while (*p)
2162 if (*p == openparen)
2163 ++pcount;
2164 else if (*p == closeparen)
2165 if (--pcount == 0)
2167 ++p;
2168 break;
2170 ++p;
2174 /* Skipped the variable reference: look for STOPCHARS again. */
2175 continue;
2178 if (p > string && p[-1] == '\\')
2180 /* Search for more backslashes. */
2181 int i = -2;
2182 while (&p[i] >= string && p[i] == '\\')
2183 --i;
2184 ++i;
2185 /* Only compute the length if really needed. */
2186 if (string_len == 0)
2187 string_len = strlen (string);
2188 /* The number of backslashes is now -I.
2189 Copy P over itself to swallow half of them. */
2190 memmove (&p[i], &p[i/2], (string_len - (p - string)) - (i/2) + 1);
2191 p += i/2;
2192 if (i % 2 == 0)
2193 /* All the backslashes quoted each other; the STOPCHAR was
2194 unquoted. */
2195 return p;
2197 /* The STOPCHAR was quoted by a backslash. Look for another. */
2199 else
2200 /* No backslash in sight. */
2201 return p;
2204 /* Never hit a STOPCHAR or blank (with BLANK nonzero). */
2205 return 0;
2208 /* Search PATTERN for an unquoted % and handle quoting. */
2210 char *
2211 find_percent (char *pattern)
2213 return find_char_unquote (pattern, '%', 0, 0, 0);
2216 /* Search STRING for an unquoted % and handle quoting. Returns a pointer to
2217 the % or NULL if no % was found.
2218 This version is used with strings in the string cache: if there's a need to
2219 modify the string a new version will be added to the string cache and
2220 *STRING will be set to that. */
2222 const char *
2223 find_percent_cached (const char **string)
2225 const char *p = *string;
2226 char *new = 0;
2227 int slen = 0;
2229 /* If the first char is a % return now. This lets us avoid extra tests
2230 inside the loop. */
2231 if (*p == '%')
2232 return p;
2234 while (1)
2236 while (*p != '\0' && *p != '%')
2237 ++p;
2239 if (*p == '\0')
2240 break;
2242 /* See if this % is escaped with a backslash; if not we're done. */
2243 if (p[-1] != '\\')
2244 break;
2247 /* Search for more backslashes. */
2248 char *pv;
2249 int i = -2;
2251 while (&p[i] >= *string && p[i] == '\\')
2252 --i;
2253 ++i;
2255 /* At this point we know we'll need to allocate a new string.
2256 Make a copy if we haven't yet done so. */
2257 if (! new)
2259 slen = strlen (*string);
2260 new = alloca (slen + 1);
2261 memcpy (new, *string, slen + 1);
2262 p = new + (p - *string);
2263 *string = new;
2266 /* At this point *string, p, and new all point into the same string.
2267 Get a non-const version of p so we can modify new. */
2268 pv = new + (p - *string);
2270 /* The number of backslashes is now -I.
2271 Copy P over itself to swallow half of them. */
2272 memmove (&pv[i], &pv[i/2], (slen - (pv - new)) - (i/2) + 1);
2273 p += i/2;
2275 /* If the backslashes quoted each other; the % was unquoted. */
2276 if (i % 2 == 0)
2277 break;
2281 /* If we had to change STRING, add it to the strcache. */
2282 if (new)
2284 *string = strcache_add (*string);
2285 p = *string + (p - new);
2288 /* If we didn't find a %, return NULL. Otherwise return a ptr to it. */
2289 return (*p == '\0') ? NULL : p;
2292 /* Find the next line of text in an eval buffer, combining continuation lines
2293 into one line.
2294 Return the number of actual lines read (> 1 if continuation lines).
2295 Returns -1 if there's nothing left in the buffer.
2297 After this function, ebuf->buffer points to the first character of the
2298 line we just found.
2301 /* Read a line of text from a STRING.
2302 Since we aren't really reading from a file, don't bother with linenumbers.
2305 static unsigned long
2306 readstring (struct ebuffer *ebuf)
2308 char *eol;
2310 /* If there is nothing left in this buffer, return 0. */
2311 if (ebuf->bufnext >= ebuf->bufstart + ebuf->size)
2312 return -1;
2314 /* Set up a new starting point for the buffer, and find the end of the
2315 next logical line (taking into account backslash/newline pairs). */
2317 eol = ebuf->buffer = ebuf->bufnext;
2319 while (1)
2321 int backslash = 0;
2322 const char *bol = eol;
2323 const char *p;
2325 /* Find the next newline. At EOS, stop. */
2326 p = eol = strchr (eol , '\n');
2327 if (!eol)
2329 ebuf->bufnext = ebuf->bufstart + ebuf->size + 1;
2330 return 0;
2333 /* Found a newline; if it's escaped continue; else we're done. */
2334 while (p > bol && *(--p) == '\\')
2335 backslash = !backslash;
2336 if (!backslash)
2337 break;
2338 ++eol;
2341 /* Overwrite the newline char. */
2342 *eol = '\0';
2343 ebuf->bufnext = eol+1;
2345 return 0;
2348 static long
2349 readline (struct ebuffer *ebuf)
2351 char *p;
2352 char *end;
2353 char *start;
2354 long nlines = 0;
2356 /* The behaviors between string and stream buffers are different enough to
2357 warrant different functions. Do the Right Thing. */
2359 if (!ebuf->fp)
2360 return readstring (ebuf);
2362 /* When reading from a file, we always start over at the beginning of the
2363 buffer for each new line. */
2365 p = start = ebuf->bufstart;
2366 end = p + ebuf->size;
2367 *p = '\0';
2369 while (fgets (p, end - p, ebuf->fp) != 0)
2371 char *p2;
2372 unsigned long len;
2373 int backslash;
2375 len = strlen (p);
2376 if (len == 0)
2378 /* This only happens when the first thing on the line is a '\0'.
2379 It is a pretty hopeless case, but (wonder of wonders) Athena
2380 lossage strikes again! (xmkmf puts NULs in its makefiles.)
2381 There is nothing really to be done; we synthesize a newline so
2382 the following line doesn't appear to be part of this line. */
2383 error (&ebuf->floc,
2384 _("warning: NUL character seen; rest of line ignored"));
2385 p[0] = '\n';
2386 len = 1;
2389 /* Jump past the text we just read. */
2390 p += len;
2392 /* If the last char isn't a newline, the whole line didn't fit into the
2393 buffer. Get some more buffer and try again. */
2394 if (p[-1] != '\n')
2395 goto more_buffer;
2397 /* We got a newline, so add one to the count of lines. */
2398 ++nlines;
2400 #if !defined(WINDOWS32) && !defined(__MSDOS__) && !defined(__EMX__)
2401 /* Check to see if the line was really ended with CRLF; if so ignore
2402 the CR. */
2403 if ((p - start) > 1 && p[-2] == '\r')
2405 --p;
2406 p[-1] = '\n';
2408 #endif
2410 backslash = 0;
2411 for (p2 = p - 2; p2 >= start; --p2)
2413 if (*p2 != '\\')
2414 break;
2415 backslash = !backslash;
2418 if (!backslash)
2420 p[-1] = '\0';
2421 break;
2424 /* It was a backslash/newline combo. If we have more space, read
2425 another line. */
2426 if (end - p >= 80)
2427 continue;
2429 /* We need more space at the end of our buffer, so realloc it.
2430 Make sure to preserve the current offset of p. */
2431 more_buffer:
2433 unsigned long off = p - start;
2434 ebuf->size *= 2;
2435 start = ebuf->buffer = ebuf->bufstart = xrealloc (start, ebuf->size);
2436 p = start + off;
2437 end = start + ebuf->size;
2438 *p = '\0';
2442 if (ferror (ebuf->fp))
2443 pfatal_with_name (ebuf->floc.filenm);
2445 /* If we found some lines, return how many.
2446 If we didn't, but we did find _something_, that indicates we read the last
2447 line of a file with no final newline; return 1.
2448 If we read nothing, we're at EOF; return -1. */
2450 return nlines ? nlines : p == ebuf->bufstart ? -1 : 1;
2453 /* Parse the next "makefile word" from the input buffer, and return info
2454 about it.
2456 A "makefile word" is one of:
2458 w_bogus Should never happen
2459 w_eol End of input
2460 w_static A static word; cannot be expanded
2461 w_variable A word containing one or more variables/functions
2462 w_colon A colon
2463 w_dcolon A double-colon
2464 w_semicolon A semicolon
2465 w_varassign A variable assignment operator (=, :=, +=, or ?=)
2467 Note that this function is only used when reading certain parts of the
2468 makefile. Don't use it where special rules hold sway (RHS of a variable,
2469 in a command list, etc.) */
2471 static enum make_word_type
2472 get_next_mword (char *buffer, char *delim, char **startp, unsigned int *length)
2474 enum make_word_type wtype = w_bogus;
2475 char *p = buffer, *beg;
2476 char c;
2478 /* Skip any leading whitespace. */
2479 while (isblank ((unsigned char)*p))
2480 ++p;
2482 beg = p;
2483 c = *(p++);
2484 switch (c)
2486 case '\0':
2487 wtype = w_eol;
2488 break;
2490 case ';':
2491 wtype = w_semicolon;
2492 break;
2494 case '=':
2495 wtype = w_varassign;
2496 break;
2498 case ':':
2499 wtype = w_colon;
2500 switch (*p)
2502 case ':':
2503 ++p;
2504 wtype = w_dcolon;
2505 break;
2507 case '=':
2508 ++p;
2509 wtype = w_varassign;
2510 break;
2512 break;
2514 case '+':
2515 case '?':
2516 if (*p == '=')
2518 ++p;
2519 wtype = w_varassign;
2520 break;
2523 default:
2524 if (delim && strchr (delim, c))
2525 wtype = w_static;
2526 break;
2529 /* Did we find something? If so, return now. */
2530 if (wtype != w_bogus)
2531 goto done;
2533 /* This is some non-operator word. A word consists of the longest
2534 string of characters that doesn't contain whitespace, one of [:=#],
2535 or [?+]=, or one of the chars in the DELIM string. */
2537 /* We start out assuming a static word; if we see a variable we'll
2538 adjust our assumptions then. */
2539 wtype = w_static;
2541 /* We already found the first value of "c", above. */
2542 while (1)
2544 char closeparen;
2545 int count;
2547 switch (c)
2549 case '\0':
2550 case ' ':
2551 case '\t':
2552 case '=':
2553 goto done_word;
2555 case ':':
2556 #ifdef HAVE_DOS_PATHS
2557 /* A word CAN include a colon in its drive spec. The drive
2558 spec is allowed either at the beginning of a word, or as part
2559 of the archive member name, like in "libfoo.a(d:/foo/bar.o)". */
2560 if (!(p - beg >= 2
2561 && (*p == '/' || *p == '\\') && isalpha ((unsigned char)p[-2])
2562 && (p - beg == 2 || p[-3] == '(')))
2563 #endif
2564 goto done_word;
2566 case '$':
2567 c = *(p++);
2568 if (c == '$')
2569 break;
2571 /* This is a variable reference, so note that it's expandable.
2572 Then read it to the matching close paren. */
2573 wtype = w_variable;
2575 if (c == '(')
2576 closeparen = ')';
2577 else if (c == '{')
2578 closeparen = '}';
2579 else
2580 /* This is a single-letter variable reference. */
2581 break;
2583 for (count=0; *p != '\0'; ++p)
2585 if (*p == c)
2586 ++count;
2587 else if (*p == closeparen && --count < 0)
2589 ++p;
2590 break;
2593 break;
2595 case '?':
2596 case '+':
2597 if (*p == '=')
2598 goto done_word;
2599 break;
2601 case '\\':
2602 switch (*p)
2604 case ':':
2605 case ';':
2606 case '=':
2607 case '\\':
2608 ++p;
2609 break;
2611 break;
2613 default:
2614 if (delim && strchr (delim, c))
2615 goto done_word;
2616 break;
2619 c = *(p++);
2621 done_word:
2622 --p;
2624 done:
2625 if (startp)
2626 *startp = beg;
2627 if (length)
2628 *length = p - beg;
2629 return wtype;
2632 /* Construct the list of include directories
2633 from the arguments and the default list. */
2635 void
2636 construct_include_path (const char **arg_dirs)
2638 #ifdef VAXC /* just don't ask ... */
2639 stat_t stbuf;
2640 #else
2641 struct stat stbuf;
2642 #endif
2643 const char **dirs;
2644 const char **cpp;
2645 unsigned int idx;
2647 /* Compute the number of pointers we need in the table. */
2648 idx = sizeof (default_include_directories) / sizeof (const char *);
2649 if (arg_dirs)
2650 for (cpp = arg_dirs; *cpp != 0; ++cpp)
2651 ++idx;
2653 #ifdef __MSDOS__
2654 /* Add one for $DJDIR. */
2655 ++idx;
2656 #endif
2658 dirs = xmalloc (idx * sizeof (const char *));
2660 idx = 0;
2661 max_incl_len = 0;
2663 /* First consider any dirs specified with -I switches.
2664 Ignore any that don't exist. Remember the maximum string length. */
2666 if (arg_dirs)
2667 while (*arg_dirs != 0)
2669 const char *dir = *(arg_dirs++);
2670 char *expanded = 0;
2671 int e;
2673 if (dir[0] == '~')
2675 expanded = tilde_expand (dir);
2676 if (expanded != 0)
2677 dir = expanded;
2680 EINTRLOOP (e, stat (dir, &stbuf));
2681 if (e == 0 && S_ISDIR (stbuf.st_mode))
2683 unsigned int len = strlen (dir);
2684 /* If dir name is written with trailing slashes, discard them. */
2685 while (len > 1 && dir[len - 1] == '/')
2686 --len;
2687 if (len > max_incl_len)
2688 max_incl_len = len;
2689 dirs[idx++] = strcache_add_len (dir, len);
2692 if (expanded)
2693 free (expanded);
2696 /* Now add the standard default dirs at the end. */
2698 #ifdef __MSDOS__
2700 /* The environment variable $DJDIR holds the root of the DJGPP directory
2701 tree; add ${DJDIR}/include. */
2702 struct variable *djdir = lookup_variable ("DJDIR", 5);
2704 if (djdir)
2706 unsigned int len = strlen (djdir->value) + 8;
2707 char *defdir = alloca (len + 1);
2709 strcat (strcpy (defdir, djdir->value), "/include");
2710 dirs[idx++] = strcache_add (defdir);
2712 if (len > max_incl_len)
2713 max_incl_len = len;
2716 #endif
2718 for (cpp = default_include_directories; *cpp != 0; ++cpp)
2720 int e;
2722 EINTRLOOP (e, stat (*cpp, &stbuf));
2723 if (e == 0 && S_ISDIR (stbuf.st_mode))
2725 unsigned int len = strlen (*cpp);
2726 /* If dir name is written with trailing slashes, discard them. */
2727 while (len > 1 && (*cpp)[len - 1] == '/')
2728 --len;
2729 if (len > max_incl_len)
2730 max_incl_len = len;
2731 dirs[idx++] = strcache_add_len (*cpp, len);
2735 dirs[idx] = 0;
2737 /* Now add each dir to the .INCLUDE_DIRS variable. */
2739 for (cpp = dirs; *cpp != 0; ++cpp)
2740 do_variable_definition (NILF, ".INCLUDE_DIRS", *cpp,
2741 o_default, f_append, 0);
2743 include_directories = dirs;
2746 /* Expand ~ or ~USER at the beginning of NAME.
2747 Return a newly malloc'd string or 0. */
2749 char *
2750 tilde_expand (const char *name)
2752 #ifndef VMS
2753 if (name[1] == '/' || name[1] == '\0')
2755 extern char *getenv ();
2756 char *home_dir;
2757 int is_variable;
2760 /* Turn off --warn-undefined-variables while we expand HOME. */
2761 int save = warn_undefined_variables_flag;
2762 warn_undefined_variables_flag = 0;
2764 home_dir = allocated_variable_expand ("$(HOME)");
2766 warn_undefined_variables_flag = save;
2769 is_variable = home_dir[0] != '\0';
2770 if (!is_variable)
2772 free (home_dir);
2773 home_dir = getenv ("HOME");
2775 # if !defined(_AMIGA) && !defined(WINDOWS32)
2776 if (home_dir == 0 || home_dir[0] == '\0')
2778 extern char *getlogin ();
2779 char *logname = getlogin ();
2780 home_dir = 0;
2781 if (logname != 0)
2783 struct passwd *p = getpwnam (logname);
2784 if (p != 0)
2785 home_dir = p->pw_dir;
2788 # endif /* !AMIGA && !WINDOWS32 */
2789 if (home_dir != 0)
2791 char *new = xstrdup (concat (2, home_dir, name + 1));
2792 if (is_variable)
2793 free (home_dir);
2794 return new;
2797 # if !defined(_AMIGA) && !defined(WINDOWS32)
2798 else
2800 struct passwd *pwent;
2801 char *userend = strchr (name + 1, '/');
2802 if (userend != 0)
2803 *userend = '\0';
2804 pwent = getpwnam (name + 1);
2805 if (pwent != 0)
2807 if (userend == 0)
2808 return xstrdup (pwent->pw_dir);
2809 else
2810 return xstrdup (concat (3, pwent->pw_dir, "/", userend + 1));
2812 else if (userend != 0)
2813 *userend = '/';
2815 # endif /* !AMIGA && !WINDOWS32 */
2816 #endif /* !VMS */
2817 return 0;
2820 /* Parse a string into a sequence of filenames represented as a chain of
2821 struct nameseq's and return that chain. Optionally expand the strings via
2822 glob().
2824 The string is passed as STRINGP, the address of a string pointer.
2825 The string pointer is updated to point at the first character
2826 not parsed, which either is a null char or equals STOPCHAR.
2828 SIZE is how big to construct chain elements.
2829 This is useful if we want them actually to be other structures
2830 that have room for additional info.
2832 PREFIX, if non-null, is added to the beginning of each filename.
2834 FLAGS allows one or more of the following bitflags to be set:
2835 PARSEFS_NOSTRIP - Do no strip './'s off the beginning
2836 PARSEFS_NOAR - Do not check filenames for archive references
2837 PARSEFS_NOGLOB - Do not expand globbing characters
2838 PARSEFS_EXISTS - Only return globbed files that actually exist
2839 (cannot also set NOGLOB)
2840 PARSEFS_NOCACHE - Do not add filenames to the strcache (caller frees)
2843 void *
2844 parse_file_seq (char **stringp, unsigned int size, int stopchar,
2845 const char *prefix, int flags)
2847 extern void dir_setup_glob (glob_t *glob);
2849 /* tmp points to tmpbuf after the prefix, if any.
2850 tp is the end of the buffer. */
2851 static char *tmpbuf = NULL;
2852 static int tmpbuf_len = 0;
2854 int cachep = (! (flags & PARSEFS_NOCACHE));
2856 struct nameseq *new = 0;
2857 struct nameseq **newp = &new;
2858 #define NEWELT(_n) do { \
2859 const char *__n = (_n); \
2860 *newp = xcalloc (size); \
2861 (*newp)->name = (cachep ? strcache_add (__n) : xstrdup (__n)); \
2862 newp = &(*newp)->next; \
2863 } while(0)
2865 char *p;
2866 glob_t gl;
2867 char *tp;
2869 #ifdef VMS
2870 # define VMS_COMMA ','
2871 #else
2872 # define VMS_COMMA 0
2873 #endif
2875 if (size < sizeof (struct nameseq))
2876 size = sizeof (struct nameseq);
2878 if (! (flags & PARSEFS_NOGLOB))
2879 dir_setup_glob (&gl);
2881 /* Get enough temporary space to construct the largest possible target. */
2883 int l = strlen (*stringp) + 1;
2884 if (l > tmpbuf_len)
2886 tmpbuf = xrealloc (tmpbuf, l);
2887 tmpbuf_len = l;
2890 tp = tmpbuf;
2892 /* Parse STRING. P will always point to the end of the parsed content. */
2893 p = *stringp;
2894 while (1)
2896 const char *name;
2897 const char **nlist = 0;
2898 char *tildep = 0;
2899 #ifndef NO_ARCHIVES
2900 char *arname = 0;
2901 char *memname = 0;
2902 #endif
2903 char *s;
2904 int nlen;
2905 int i;
2907 /* Skip whitespace; at the end of the string or STOPCHAR we're done. */
2908 p = next_token (p);
2909 if (*p == '\0' || *p == stopchar)
2910 break;
2912 /* There are names left, so find the end of the next name.
2913 Throughout this iteration S points to the start. */
2914 s = p;
2915 p = find_char_unquote (p, stopchar, VMS_COMMA, 1, 0);
2916 #ifdef VMS
2917 /* convert comma separated list to space separated */
2918 if (p && *p == ',')
2919 *p =' ';
2920 #endif
2921 #ifdef _AMIGA
2922 if (stopchar == ':' && p && *p == ':'
2923 && !(isspace ((unsigned char)p[1]) || !p[1]
2924 || isspace ((unsigned char)p[-1])))
2925 p = find_char_unquote (p+1, stopchar, VMS_COMMA, 1, 0);
2926 #endif
2927 #ifdef HAVE_DOS_PATHS
2928 /* For DOS paths, skip a "C:\..." or a "C:/..." until we find the
2929 first colon which isn't followed by a slash or a backslash.
2930 Note that tokens separated by spaces should be treated as separate
2931 tokens since make doesn't allow path names with spaces */
2932 if (stopchar == ':')
2933 while (p != 0 && !isspace ((unsigned char)*p) &&
2934 (p[1] == '\\' || p[1] == '/') && isalpha ((unsigned char)p[-1]))
2935 p = find_char_unquote (p + 1, stopchar, VMS_COMMA, 1, 0);
2936 #endif
2937 if (p == 0)
2938 p = s + strlen (s);
2940 /* Strip leading "this directory" references. */
2941 if (! (flags & PARSEFS_NOSTRIP))
2942 #ifdef VMS
2943 /* Skip leading `[]'s. */
2944 while (p - s > 2 && s[0] == '[' && s[1] == ']')
2945 #else
2946 /* Skip leading `./'s. */
2947 while (p - s > 2 && s[0] == '.' && s[1] == '/')
2948 #endif
2950 /* Skip "./" and all following slashes. */
2951 s += 2;
2952 while (*s == '/')
2953 ++s;
2956 /* Extract the filename just found, and skip it.
2957 Set NAME to the string, and NLEN to its length. */
2959 if (s == p)
2961 /* The name was stripped to empty ("./"). */
2962 #if defined(VMS)
2963 continue;
2964 #elif defined(_AMIGA)
2965 /* PDS-- This cannot be right!! */
2966 tp[0] = '\0';
2967 nlen = 0;
2968 #else
2969 tp[0] = '.';
2970 tp[1] = '/';
2971 tp[2] = '\0';
2972 nlen = 2;
2973 #endif
2975 else
2977 #ifdef VMS
2978 /* VMS filenames can have a ':' in them but they have to be '\'ed but we need
2979 * to remove this '\' before we can use the filename.
2980 * xstrdup called because S may be read-only string constant.
2982 char *n = tp;
2983 while (s < p)
2985 if (s[0] == '\\' && s[1] == ':')
2986 ++s;
2987 *(n++) = *(s++);
2989 n[0] = '\0';
2990 nlen = strlen (tp);
2991 #else
2992 nlen = p - s;
2993 memcpy (tp, s, nlen);
2994 tp[nlen] = '\0';
2995 #endif
2998 /* At this point, TP points to the element and NLEN is its length. */
3000 #ifndef NO_ARCHIVES
3001 /* If this is the start of an archive group that isn't complete, set up
3002 to add the archive prefix for future files. A file list like:
3003 "libf.a(x.o y.o z.o)" needs to be expanded as:
3004 "libf.a(x.o) libf.a(y.o) libf.a(z.o)"
3006 TP == TMP means we're not already in an archive group. Ignore
3007 something starting with `(', as that cannot actually be an
3008 archive-member reference (and treating it as such results in an empty
3009 file name, which causes much lossage). Also if it ends in ")" then
3010 it's a complete reference so we don't need to treat it specially.
3012 Finally, note that archive groups must end with ')' as the last
3013 character, so ensure there's some word ending like that before
3014 considering this an archive group. */
3015 if (! (flags & PARSEFS_NOAR)
3016 && tp == tmpbuf && tp[0] != '(' && tp[nlen-1] != ')')
3018 char *n = strchr (tp, '(');
3019 if (n)
3021 /* This looks like the first element in an open archive group.
3022 A valid group MUST have ')' as the last character. */
3023 const char *e = p;
3026 e = next_token (e);
3027 /* Find the end of this word. We don't want to unquote and
3028 we don't care about quoting since we're looking for the
3029 last char in the word. */
3030 while (*e != '\0' && *e != stopchar && *e != VMS_COMMA
3031 && ! isblank ((unsigned char) *e))
3032 ++e;
3033 if (e[-1] == ')')
3035 /* Found the end, so this is the first element in an
3036 open archive group. It looks like "lib(mem".
3037 Reset TP past the open paren. */
3038 nlen -= (n + 1) - tp;
3039 tp = n + 1;
3041 /* If we have just "lib(", part of something like
3042 "lib( a b)", go to the next item. */
3043 if (! nlen)
3044 continue;
3046 /* We can stop looking now. */
3047 break;
3050 while (*e != '\0');
3054 /* If we are inside an archive group, make sure it has an end. */
3055 if (tp > tmpbuf)
3057 if (tp[nlen-1] == ')')
3059 /* This is the natural end; reset TP. */
3060 tp = tmpbuf;
3062 /* This is just ")", something like "lib(a b )": skip it. */
3063 if (nlen == 1)
3064 continue;
3066 else
3068 /* Not the end, so add a "fake" end. */
3069 tp[nlen++] = ')';
3070 tp[nlen] = '\0';
3073 #endif
3075 /* If we're not globbing we're done: add it to the end of the chain.
3076 Go to the next item in the string. */
3077 if (flags & PARSEFS_NOGLOB)
3079 NEWELT (concat (2, prefix, tmpbuf));
3080 continue;
3083 /* If we get here we know we're doing glob expansion.
3084 TP is a string in tmpbuf. NLEN is no longer used.
3085 We may need to do more work: after this NAME will be set. */
3086 name = tmpbuf;
3088 /* Expand tilde if applicable. */
3089 if (tmpbuf[0] == '~')
3091 tildep = tilde_expand (tmpbuf);
3092 if (tildep != 0)
3093 name = tildep;
3096 #ifndef NO_ARCHIVES
3097 /* If NAME is an archive member reference replace it with the archive
3098 file name, and save the member name in MEMNAME. We will glob on the
3099 archive name and then reattach MEMNAME later. */
3100 if (! (flags & PARSEFS_NOAR) && ar_name (name))
3102 ar_parse_name (name, &arname, &memname);
3103 name = arname;
3105 #endif /* !NO_ARCHIVES */
3107 switch (glob (name, GLOB_NOSORT|GLOB_ALTDIRFUNC, NULL, &gl))
3109 case GLOB_NOSPACE:
3110 fatal (NILF, _("virtual memory exhausted"));
3112 case 0:
3113 /* Success. */
3114 i = gl.gl_pathc;
3115 nlist = (const char **)gl.gl_pathv;
3116 break;
3118 case GLOB_NOMATCH:
3119 /* If we want only existing items, skip this one. */
3120 if (flags & PARSEFS_EXISTS)
3122 i = 0;
3123 break;
3125 /* FALLTHROUGH */
3127 default:
3128 /* By default keep this name. */
3129 i = 1;
3130 nlist = &name;
3131 break;
3134 /* For each matched element, add it to the list. */
3135 while (i-- > 0)
3136 #ifndef NO_ARCHIVES
3137 if (memname != 0)
3139 /* Try to glob on MEMNAME within the archive. */
3140 struct nameseq *found = ar_glob (nlist[i], memname, size);
3141 if (! found)
3142 /* No matches. Use MEMNAME as-is. */
3143 NEWELT (concat (5, prefix, nlist[i], "(", memname, ")"));
3144 else
3146 /* We got a chain of items. Attach them. */
3147 if (*newp)
3148 (*newp)->next = found;
3149 else
3150 *newp = found;
3152 /* Find and set the new end. Massage names if necessary. */
3153 while (1)
3155 if (! cachep)
3156 found->name = xstrdup (concat (2, prefix, name));
3157 else if (prefix)
3158 found->name = strcache_add (concat (2, prefix, name));
3160 if (found->next == 0)
3161 break;
3163 found = found->next;
3165 newp = &found->next;
3168 else
3169 #endif /* !NO_ARCHIVES */
3170 NEWELT (concat (2, prefix, nlist[i]));
3172 globfree (&gl);
3174 #ifndef NO_ARCHIVES
3175 if (arname)
3176 free (arname);
3177 #endif
3179 if (tildep)
3180 free (tildep);
3183 *stringp = p;
3184 return new;