Make sure that length variable is set to zero before Var_Parse() is
[dragonfly.git] / usr.bin / make / parse.c
CommitLineData
edf6dd37 1/*-
984263bc
MD
2 * Copyright (c) 1988, 1989, 1990, 1993
3 * The Regents of the University of California. All rights reserved.
4 * Copyright (c) 1989 by Berkeley Softworks
5 * All rights reserved.
6 *
7 * This code is derived from software contributed to Berkeley by
8 * Adam de Boor.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 * 3. All advertising materials mentioning features or use of this software
19 * must display the following acknowledgement:
20 * This product includes software developed by the University of
21 * California, Berkeley and its contributors.
22 * 4. Neither the name of the University nor the names of its contributors
23 * may be used to endorse or promote products derived from this software
24 * without specific prior written permission.
25 *
26 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
27 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
30 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 * SUCH DAMAGE.
1de703da
MD
37 *
38 * @(#)parse.c 8.3 (Berkeley) 3/19/94
1901cbd2 39 * $FreeBSD: src/usr.bin/make/parse.c,v 1.75 2005/02/07 11:27:47 harti Exp $
904b4370 40 * $DragonFly: src/usr.bin/make/parse.c,v 1.47 2005/02/18 01:23:22 okumoto Exp $
984263bc
MD
41 */
42
984263bc
MD
43/*-
44 * parse.c --
45 * Functions to parse a makefile.
46 *
47 * One function, Parse_Init, must be called before any functions
48 * in this module are used. After that, the function Parse_File is the
49 * main entry point and controls most of the other functions in this
50 * module.
51 *
52 * Most important structures are kept in Lsts. Directories for
53 * the #include "..." function are kept in the 'parseIncPath' Lst, while
54 * those for the #include <...> are kept in the 'sysIncPath' Lst. The
55 * targets currently being defined are kept in the 'targets' Lst.
56 *
d3de034c
JS
57 * The variables 'curFile.fname' and 'curFile.lineno' are used to track
58 * the name of the current file and the line number in that file so that
59 * error messages can be more meaningful.
984263bc
MD
60 *
61 * Interface:
62 * Parse_Init Initialization function which must be
63 * called before anything else in this module
64 * is used.
65 *
984263bc
MD
66 * Parse_File Function used to parse a makefile. It must
67 * be given the name of the file, which should
68 * already have been opened, and a function
69 * to call to read a character from the file.
70 *
71 * Parse_IsVar Returns TRUE if the given line is a
72 * variable assignment. Used by MainParseArgs
73 * to determine if an argument is a target
74 * or a variable assignment. Used internally
75 * for pretty much the same thing...
76 *
77 * Parse_Error Function called when an error occurs in
78 * parsing. Used by the variable and
79 * conditional modules.
80 * Parse_MainName Returns a Lst of the main target to create.
81 */
82
984263bc 83#include <ctype.h>
9863ce62
MO
84#include <stdarg.h>
85#include <string.h>
86#include <stdlib.h>
984263bc 87#include <err.h>
9863ce62
MO
88
89#include "arch.h"
90#include "buf.h"
91#include "cond.h"
92#include "config.h"
984263bc 93#include "dir.h"
9863ce62
MO
94#include "for.h"
95#include "globals.h"
96#include "GNode.h"
984263bc 97#include "job.h"
9863ce62
MO
98#include "make.h"
99#include "nonints.h"
100#include "parse.h"
984263bc 101#include "pathnames.h"
9863ce62
MO
102#include "str.h"
103#include "suff.h"
104#include "targ.h"
105#include "util.h"
106#include "var.h"
984263bc
MD
107
108/*
109 * These values are returned by ParseEOF to tell Parse_File whether to
110 * CONTINUE parsing, i.e. it had only reached the end of an include file,
111 * or if it's DONE.
112 */
113#define CONTINUE 1
114#define DONE 0
0a7e0b85
MO
115
116/* targets we're working on */
117static Lst targets = Lst_Initializer(targets);
118
984263bc
MD
119static Boolean inLine; /* true if currently in a dependency
120 * line or its commands */
984263bc
MD
121static int fatals = 0;
122
123static GNode *mainNode; /* The main target to create. This is the
124 * first target on the first dependency
125 * line in the first makefile */
984263bc 126
92490377 127IFile curFile; /* current makefile */
d3de034c 128
0a7e0b85
MO
129/* stack of IFiles generated by * #includes */
130static Lst includes = Lst_Initializer(includes);
131
132/* list of directories for "..." includes */
133Lst parseIncPath = Lst_Initializer(parseIncPath);
134
135/* list of directories for <...> includes */
136Lst sysIncPath = Lst_Initializer(sysIncPath);
984263bc
MD
137
138/*-
139 * specType contains the SPECial TYPE of the current target. It is
140 * Not if the target is unspecial. If it *is* special, however, the children
141 * are linked as children of the parent but not vice versa. This variable is
142 * set in ParseDoDependency
143 */
144typedef enum {
145 Begin, /* .BEGIN */
146 Default, /* .DEFAULT */
147 End, /* .END */
148 Ignore, /* .IGNORE */
149 Includes, /* .INCLUDES */
150 Interrupt, /* .INTERRUPT */
151 Libs, /* .LIBS */
152 MFlags, /* .MFLAGS or .MAKEFLAGS */
153 Main, /* .MAIN and we don't have anything user-specified to
154 * make */
155 NoExport, /* .NOEXPORT */
156 Not, /* Not special */
157 NotParallel, /* .NOTPARALELL */
158 Null, /* .NULL */
159 Order, /* .ORDER */
160 Parallel, /* .PARALLEL */
161 ExPath, /* .PATH */
162 Phony, /* .PHONY */
984263bc 163 Posix, /* .POSIX */
984263bc
MD
164 Precious, /* .PRECIOUS */
165 ExShell, /* .SHELL */
166 Silent, /* .SILENT */
167 SingleShell, /* .SINGLESHELL */
168 Suffixes, /* .SUFFIXES */
169 Wait, /* .WAIT */
170 Attribute /* Generic attribute */
171} ParseSpecial;
172
173static ParseSpecial specType;
174static int waiting;
175
176/*
9edd457e 177 * Predecessor node for handling .ORDER. Initialized to NULL when .ORDER
984263bc
MD
178 * seen, then set to each successive source on the line.
179 */
180static GNode *predecessor;
181
182/*
183 * The parseKeywords table is searched using binary search when deciding
184 * if a target or source is special. The 'spec' field is the ParseSpecial
185 * type of the keyword ("Not" if the keyword isn't special as a target) while
186 * the 'op' field is the operator to apply to the list of targets if the
187 * keyword is used as a source ("0" if the keyword isn't special as a source)
188 */
189static struct {
f72581d7 190 const char *name; /* Name of keyword */
984263bc
MD
191 ParseSpecial spec; /* Type when used as a target */
192 int op; /* Operator when used as a source */
193} parseKeywords[] = {
194{ ".BEGIN", Begin, 0 },
195{ ".DEFAULT", Default, 0 },
196{ ".END", End, 0 },
197{ ".EXEC", Attribute, OP_EXEC },
198{ ".IGNORE", Ignore, OP_IGNORE },
199{ ".INCLUDES", Includes, 0 },
200{ ".INTERRUPT", Interrupt, 0 },
201{ ".INVISIBLE", Attribute, OP_INVISIBLE },
202{ ".JOIN", Attribute, OP_JOIN },
203{ ".LIBS", Libs, 0 },
204{ ".MAIN", Main, 0 },
205{ ".MAKE", Attribute, OP_MAKE },
206{ ".MAKEFLAGS", MFlags, 0 },
207{ ".MFLAGS", MFlags, 0 },
208{ ".NOTMAIN", Attribute, OP_NOTMAIN },
209{ ".NOTPARALLEL", NotParallel, 0 },
210{ ".NO_PARALLEL", NotParallel, 0 },
211{ ".NULL", Null, 0 },
212{ ".OPTIONAL", Attribute, OP_OPTIONAL },
213{ ".ORDER", Order, 0 },
214{ ".PARALLEL", Parallel, 0 },
215{ ".PATH", ExPath, 0 },
216{ ".PHONY", Phony, OP_PHONY },
984263bc 217{ ".POSIX", Posix, 0 },
984263bc
MD
218{ ".PRECIOUS", Precious, OP_PRECIOUS },
219{ ".RECURSIVE", Attribute, OP_MAKE },
220{ ".SHELL", ExShell, 0 },
221{ ".SILENT", Silent, OP_SILENT },
222{ ".SINGLESHELL", SingleShell, 0 },
223{ ".SUFFIXES", Suffixes, 0 },
224{ ".USE", Attribute, OP_USE },
225{ ".WAIT", Wait, 0 },
226};
227
2d8a3be7 228static int ParseFindKeyword(char *);
9edd457e
MD
229static int ParseLinkSrc(void *, void *);
230static int ParseDoOp(void *, void *);
231static int ParseAddDep(void *, void *);
e035e56b 232static void ParseDoSrc(int, char *, Lst *);
9edd457e
MD
233static int ParseFindMain(void *, void *);
234static int ParseAddDir(void *, void *);
235static int ParseClearPath(void *, void *);
2d8a3be7 236static void ParseDoDependency(char *);
9edd457e 237static int ParseAddCmd(void *, void *);
2d8a3be7
EN
238static int ParseReadc(void);
239static void ParseUnreadc(int);
9edd457e 240static void ParseHasCommands(void *);
2d8a3be7
EN
241static void ParseDoInclude(char *);
242static void ParseDoError(char *);
658043eb 243static void ParseDoWarning(char *);
984263bc 244#ifdef SYSVINCLUDE
2d8a3be7 245static void ParseTraditionalInclude(char *);
984263bc 246#endif
2d8a3be7
EN
247static int ParseEOF(int);
248static char *ParseReadLine(void);
d3de034c 249static char *ParseSkipLine(int, int);
2d8a3be7 250static void ParseFinishLine(void);
984263bc
MD
251
252/*-
253 *----------------------------------------------------------------------
254 * ParseFindKeyword --
255 * Look in the table of keywords for one matching the given string.
256 *
257 * Results:
258 * The index of the keyword, or -1 if it isn't there.
259 *
260 * Side Effects:
261 * None
262 *----------------------------------------------------------------------
263 */
264static int
fbfaa208 265ParseFindKeyword(char *str)
984263bc 266{
9a309bcc 267 int start,
984263bc
MD
268 end,
269 cur;
9a309bcc 270 int diff;
984263bc
MD
271
272 start = 0;
fbfaa208 273 end = (sizeof(parseKeywords) / sizeof(parseKeywords[0])) - 1;
984263bc
MD
274
275 do {
276 cur = start + ((end - start) / 2);
fbfaa208 277 diff = strcmp(str, parseKeywords[cur].name);
984263bc
MD
278
279 if (diff == 0) {
280 return (cur);
281 } else if (diff < 0) {
282 end = cur - 1;
283 } else {
284 start = cur + 1;
285 }
286 } while (start <= end);
287 return (-1);
288}
289
290/*-
291 * Parse_Error --
292 * Error message abort function for parsing. Prints out the context
293 * of the error (line number and file) as well as the message with
294 * two optional arguments.
295 *
296 * Results:
297 * None
298 *
299 * Side Effects:
300 * "fatals" is incremented if the level is PARSE_FATAL.
301 */
302/* VARARGS */
303void
b3820a09 304Parse_Error(int type, const char *fmt, ...)
984263bc
MD
305{
306 va_list ap;
984263bc 307
b83dbac0 308 va_start(ap, fmt);
fbfaa208 309 fprintf(stderr, "\"%s\", line %d: ",
d3de034c 310 curFile.fname, curFile.lineno);
984263bc 311 if (type == PARSE_WARNING)
fbfaa208
MO
312 fprintf(stderr, "warning: ");
313 vfprintf(stderr, fmt, ap);
984263bc 314 va_end(ap);
fbfaa208
MO
315 fprintf(stderr, "\n");
316 fflush(stderr);
984263bc
MD
317 if (type == PARSE_FATAL)
318 fatals += 1;
319}
320
321/*-
322 *---------------------------------------------------------------------
323 * ParseLinkSrc --
324 * Link the parent node to its new child. Used in a Lst_ForEach by
325 * ParseDoDependency. If the specType isn't 'Not', the parent
326 * isn't linked as a parent of the child.
327 *
328 * Results:
329 * Always = 0
330 *
331 * Side Effects:
332 * New elements are added to the parents list of cgn and the
333 * children list of cgn. the unmade field of pgn is updated
334 * to reflect the additional child.
335 *---------------------------------------------------------------------
336 */
337static int
fbfaa208 338ParseLinkSrc(void *pgnp, void *cgnp)
984263bc 339{
9a4c88c2
MO
340 GNode *pgn = pgnp;
341 GNode *cgn = cgnp;
fbfaa208 342
0a7e0b85
MO
343 if (Lst_Member(&pgn->children, cgn) == NULL) {
344 Lst_AtEnd(&pgn->children, cgn);
984263bc 345 if (specType == Not) {
0a7e0b85 346 Lst_AtEnd(&cgn->parents, pgn);
984263bc
MD
347 }
348 pgn->unmade += 1;
349 }
350 return (0);
351}
352
353/*-
354 *---------------------------------------------------------------------
355 * ParseDoOp --
356 * Apply the parsed operator to the given target node. Used in a
357 * Lst_ForEach call by ParseDoDependency once all targets have
358 * been found and their operator parsed. If the previous and new
359 * operators are incompatible, a major error is taken.
360 *
361 * Results:
362 * Always 0
363 *
364 * Side Effects:
365 * The type field of the node is altered to reflect any new bits in
366 * the op.
367 *---------------------------------------------------------------------
368 */
369static int
fbfaa208 370ParseDoOp(void *gnp, void *opp)
984263bc 371{
9a4c88c2
MO
372 GNode *gn = gnp;
373 int op = *(int *)opp;
fbfaa208 374
984263bc
MD
375 /*
376 * If the dependency mask of the operator and the node don't match and
377 * the node has actually had an operator applied to it before, and
378 * the operator actually has some dependency information in it, complain.
379 */
380 if (((op & OP_OPMASK) != (gn->type & OP_OPMASK)) &&
381 !OP_NOP(gn->type) && !OP_NOP(op))
382 {
fbfaa208 383 Parse_Error(PARSE_FATAL, "Inconsistent operator for %s", gn->name);
984263bc
MD
384 return (1);
385 }
386
387 if ((op == OP_DOUBLEDEP) && ((gn->type & OP_OPMASK) == OP_DOUBLEDEP)) {
388 /*
389 * If the node was the object of a :: operator, we need to create a
390 * new instance of it for the children and commands on this dependency
391 * line. The new instance is placed on the 'cohorts' list of the
392 * initial one (note the initial one is not on its own cohorts list)
393 * and the new instance is linked to all parents of the initial
394 * instance.
395 */
e035e56b
MO
396 GNode *cohort;
397 LstNode *ln;
984263bc
MD
398
399 cohort = Targ_NewGN(gn->name);
400 /*
401 * Duplicate links to parents so graph traversal is simple. Perhaps
402 * some type bits should be duplicated?
403 *
404 * Make the cohort invisible as well to avoid duplicating it into
405 * other variables. True, parents of this target won't tend to do
406 * anything with their local variables, but better safe than
407 * sorry.
408 */
0a7e0b85 409 Lst_ForEach(&gn->parents, ParseLinkSrc, cohort);
984263bc 410 cohort->type = OP_DOUBLEDEP|OP_INVISIBLE;
0a7e0b85 411 Lst_AtEnd(&gn->cohorts, cohort);
984263bc
MD
412
413 /*
414 * Replace the node in the targets list with the new copy
415 */
0a7e0b85 416 ln = Lst_Member(&targets, gn);
9a4c88c2 417 Lst_Replace(ln, cohort);
984263bc
MD
418 gn = cohort;
419 }
420 /*
421 * We don't want to nuke any previous flags (whatever they were) so we
422 * just OR the new operator into the old
423 */
424 gn->type |= op;
425
426 return (0);
427}
428
429/*-
430 *---------------------------------------------------------------------
431 * ParseAddDep --
432 * Check if the pair of GNodes given needs to be synchronized.
433 * This has to be when two nodes are on different sides of a
434 * .WAIT directive.
435 *
436 * Results:
437 * Returns 1 if the two targets need to be ordered, 0 otherwise.
438 * If it returns 1, the search can stop
439 *
440 * Side Effects:
441 * A dependency can be added between the two nodes.
442 *
443 *---------------------------------------------------------------------
444 */
445static int
84de9e23 446ParseAddDep(void *pp, void *sp)
984263bc 447{
9a4c88c2
MO
448 GNode *p = pp;
449 GNode *s = sp;
984263bc
MD
450
451 if (p->order < s->order) {
452 /*
453 * XXX: This can cause loops, and loops can cause unmade targets,
454 * but checking is tedious, and the debugging output can show the
455 * problem
456 */
0a7e0b85
MO
457 Lst_AtEnd(&p->successors, s);
458 Lst_AtEnd(&s->preds, p);
fbfaa208 459 return (0);
984263bc
MD
460 }
461 else
fbfaa208 462 return (1);
984263bc
MD
463}
464
465
466/*-
467 *---------------------------------------------------------------------
468 * ParseDoSrc --
469 * Given the name of a source, figure out if it is an attribute
470 * and apply it to the targets if it is. Else decide if there is
471 * some attribute which should be applied *to* the source because
472 * of some special target and apply it if so. Otherwise, make the
473 * source be a child of the targets in the list 'targets'
474 *
475 * Results:
476 * None
477 *
478 * Side Effects:
479 * Operator bits may be added to the list of targets or to the source.
480 * The targets may have a new source added to their lists of children.
481 *---------------------------------------------------------------------
482 */
483static void
e035e56b 484ParseDoSrc(int tOp, char *src, Lst *allsrc)
984263bc
MD
485{
486 GNode *gn = NULL;
487
15c05cb0 488 if (*src == '.' && isupper ((unsigned char) src[1])) {
984263bc
MD
489 int keywd = ParseFindKeyword(src);
490 if (keywd != -1) {
491 int op = parseKeywords[keywd].op;
492 if (op != 0) {
0a7e0b85 493 Lst_ForEach(&targets, ParseDoOp, &op);
984263bc
MD
494 return;
495 }
496 if (parseKeywords[keywd].spec == Wait) {
497 waiting++;
498 return;
499 }
500 }
501 }
502
503 switch (specType) {
504 case Main:
505 /*
506 * If we have noted the existence of a .MAIN, it means we need
507 * to add the sources of said target to the list of things
508 * to create. The string 'src' is likely to be free, so we
509 * must make a new copy of it. Note that this will only be
510 * invoked if the user didn't specify a target on the command
511 * line. This is to allow #ifmake's to succeed, or something...
512 */
0a7e0b85 513 Lst_AtEnd(&create, estrdup(src));
984263bc
MD
514 /*
515 * Add the name to the .TARGETS variable as well, so the user cna
516 * employ that, if desired.
517 */
518 Var_Append(".TARGETS", src, VAR_GLOBAL);
519 return;
520
521 case Order:
522 /*
523 * Create proper predecessor/successor links between the previous
524 * source and the current one.
525 */
526 gn = Targ_FindNode(src, TARG_CREATE);
9edd457e 527 if (predecessor != NULL) {
0a7e0b85
MO
528 Lst_AtEnd(&predecessor->successors, gn);
529 Lst_AtEnd(&gn->preds, predecessor);
984263bc
MD
530 }
531 /*
532 * The current source now becomes the predecessor for the next one.
533 */
534 predecessor = gn;
535 break;
536
537 default:
538 /*
539 * If the source is not an attribute, we need to find/create
540 * a node for it. After that we can apply any operator to it
541 * from a special target or link it to its parents, as
542 * appropriate.
543 *
544 * In the case of a source that was the object of a :: operator,
545 * the attribute is applied to all of its instances (as kept in
546 * the 'cohorts' list of the node) or all the cohorts are linked
547 * to all the targets.
548 */
fbfaa208 549 gn = Targ_FindNode(src, TARG_CREATE);
984263bc
MD
550 if (tOp) {
551 gn->type |= tOp;
552 } else {
0a7e0b85 553 Lst_ForEach(&targets, ParseLinkSrc, gn);
984263bc
MD
554 }
555 if ((gn->type & OP_OPMASK) == OP_DOUBLEDEP) {
9a309bcc 556 GNode *cohort;
e035e56b 557 LstNode *ln;
984263bc 558
0a7e0b85 559 for (ln = Lst_First(&gn->cohorts); ln != NULL; ln = Lst_Succ(ln)) {
9a4c88c2 560 cohort = Lst_Datum(ln);
984263bc
MD
561 if (tOp) {
562 cohort->type |= tOp;
563 } else {
0a7e0b85 564 Lst_ForEach(&targets, ParseLinkSrc, cohort);
984263bc
MD
565 }
566 }
567 }
568 break;
569 }
570
571 gn->order = waiting;
9a4c88c2 572 Lst_AtEnd(allsrc, gn);
984263bc 573 if (waiting) {
9a4c88c2 574 Lst_ForEach(allsrc, ParseAddDep, gn);
984263bc
MD
575 }
576}
577
578/*-
579 *-----------------------------------------------------------------------
580 * ParseFindMain --
581 * Find a real target in the list and set it to be the main one.
582 * Called by ParseDoDependency when a main target hasn't been found
583 * yet.
584 *
585 * Results:
586 * 0 if main not found yet, 1 if it is.
587 *
588 * Side Effects:
589 * mainNode is changed and Targ_SetMain is called.
590 *
591 *-----------------------------------------------------------------------
592 */
593static int
84de9e23 594ParseFindMain(void *gnp, void *dummy __unused)
984263bc 595{
9a4c88c2
MO
596 GNode *gn = gnp;
597
fbfaa208 598 if ((gn->type & (OP_NOTMAIN | OP_USE | OP_EXEC | OP_TRANSFORM)) == 0) {
984263bc
MD
599 mainNode = gn;
600 Targ_SetMain(gn);
84de9e23 601 return (1);
984263bc 602 } else {
84de9e23 603 return (0);
984263bc
MD
604 }
605}
606
607/*-
608 *-----------------------------------------------------------------------
609 * ParseAddDir --
610 * Front-end for Dir_AddDir to make sure Lst_ForEach keeps going
611 *
612 * Results:
613 * === 0
614 *
615 * Side Effects:
616 * See Dir_AddDir.
617 *
618 *-----------------------------------------------------------------------
619 */
620static int
84de9e23 621ParseAddDir(void *path, void *name)
984263bc 622{
fbfaa208 623
9a4c88c2 624 Dir_AddDir(path, name);
984263bc
MD
625 return(0);
626}
627
628/*-
629 *-----------------------------------------------------------------------
630 * ParseClearPath --
631 * Front-end for Dir_ClearPath to make sure Lst_ForEach keeps going
632 *
633 * Results:
634 * === 0
635 *
636 * Side Effects:
637 * See Dir_ClearPath
638 *
639 *-----------------------------------------------------------------------
640 */
641static int
84de9e23 642ParseClearPath(void *path, void *dummy __unused)
984263bc 643{
fbfaa208 644
9a4c88c2 645 Dir_ClearPath(path);
84de9e23 646 return (0);
984263bc
MD
647}
648
649/*-
650 *---------------------------------------------------------------------
651 * ParseDoDependency --
652 * Parse the dependency line in line.
653 *
654 * Results:
655 * None
656 *
657 * Side Effects:
658 * The nodes of the sources are linked as children to the nodes of the
659 * targets. Some nodes may be created.
660 *
661 * We parse a dependency line by first extracting words from the line and
662 * finding nodes in the list of all targets with that name. This is done
663 * until a character is encountered which is an operator character. Currently
664 * these are only ! and :. At this point the operator is parsed and the
665 * pointer into the line advanced until the first source is encountered.
666 * The parsed operator is applied to each node in the 'targets' list,
667 * which is where the nodes found for the targets are kept, by means of
668 * the ParseDoOp function.
669 * The sources are read in much the same way as the targets were except
670 * that now they are expanded using the wildcarding scheme of the C-Shell
671 * and all instances of the resulting words in the list of all targets
672 * are found. Each of the resulting nodes is then linked to each of the
673 * targets as one of its children.
674 * Certain targets are handled specially. These are the ones detailed
675 * by the specType variable.
676 * The storing of transformation rules is also taken care of here.
677 * A target is recognized as a transformation rule by calling
678 * Suff_IsTransform. If it is a transformation rule, its node is gotten
679 * from the suffix module via Suff_AddTransform rather than the standard
680 * Targ_FindNode in the target module.
681 *---------------------------------------------------------------------
682 */
683static void
bf2bcf34 684ParseDoDependency(char *line)
984263bc
MD
685{
686 char *cp; /* our current position */
687 GNode *gn; /* a general purpose temporary node */
688 int op; /* the operator on the line */
689 char savec; /* a place to save a character */
0a7e0b85 690 Lst paths; /* Search paths to alter when parsing a list of .PATH targets */
984263bc 691 int tOp; /* operator from special target */
984263bc
MD
692
693 tOp = 0;
694
695 specType = Not;
696 waiting = 0;
0a7e0b85 697 Lst_Init(&paths);
984263bc
MD
698
699 do {
700 for (cp = line;
9a4c88c2
MO
701 *cp && !isspace((unsigned char)*cp) && *cp != '(';
702 cp++)
984263bc
MD
703 {
704 if (*cp == '$') {
705 /*
706 * Must be a dynamic source (would have been expanded
707 * otherwise), so call the Var module to parse the puppy
708 * so we can safely advance beyond it...There should be
709 * no errors in this, as they would have been discovered
710 * in the initial Var_Subst and we wouldn't be here.
711 */
904b4370 712 size_t length = 0;
984263bc
MD
713 Boolean freeIt;
714 char *result;
715
fbfaa208 716 result = Var_Parse(cp, VAR_CMD, TRUE, &length, &freeIt);
984263bc
MD
717
718 if (freeIt) {
719 free(result);
720 }
fbfaa208 721 cp += length - 1;
984263bc
MD
722 } else if (*cp == '!' || *cp == ':') {
723 /*
724 * We don't want to end a word on ':' or '!' if there is a
725 * better match later on in the string (greedy matching).
726 * This allows the user to have targets like:
727 * fie::fi:fo: fum
728 * foo::bar:
729 * where "fie::fi:fo" and "foo::bar" are the targets. In
730 * real life this is used for perl5 library man pages where
731 * "::" separates an object from its class.
732 * Ie: "File::Spec::Unix". This behaviour is also consistent
733 * with other versions of make.
734 */
735 char *p = cp + 1;
736
737 if (*cp == ':' && *p == ':')
738 p++;
739
740 /* Found the best match already. */
741 if (*p == '\0' || isspace(*p))
742 break;
743
744 p += strcspn(p, "!:");
745
746 /* No better match later on... */
747 if (*p == '\0')
748 break;
749 }
750 continue;
751 }
752 if (*cp == '(') {
753 /*
754 * Archives must be handled specially to make sure the OP_ARCHV
755 * flag is set in their 'type' field, for one thing, and because
756 * things like "archive(file1.o file2.o file3.o)" are permissible.
757 * Arch_ParseArchive will set 'line' to be the first non-blank
758 * after the archive-spec. It creates/finds nodes for the members
759 * and places them on the given list, returning SUCCESS if all
760 * went well and FAILURE if there was an error in the
761 * specification. On error, line should remain untouched.
762 */
0a7e0b85 763 if (Arch_ParseArchive(&line, &targets, VAR_CMD) != SUCCESS) {
fbfaa208 764 Parse_Error(PARSE_FATAL,
984263bc
MD
765 "Error in archive specification: \"%s\"", line);
766 return;
767 } else {
768 continue;
769 }
770 }
771 savec = *cp;
772
773 if (!*cp) {
774 /*
775 * Ending a dependency line without an operator is a Bozo
15c05cb0
MD
776 * no-no. As a heuristic, this is also often triggered by
777 * undetected conflicts from cvs/rcs merges.
984263bc 778 */
15c05cb0
MD
779 if ((strncmp(line, "<<<<<<", 6) == 0) ||
780 (strncmp(line, "======", 6) == 0) ||
781 (strncmp(line, ">>>>>>", 6) == 0))
fbfaa208 782 Parse_Error(PARSE_FATAL,
15c05cb0
MD
783 "Makefile appears to contain unresolved cvs/rcs/??? merge conflicts");
784 else
fbfaa208 785 Parse_Error(PARSE_FATAL, "Need an operator");
984263bc
MD
786 return;
787 }
788 *cp = '\0';
789 /*
790 * Have a word in line. See if it's a special target and set
791 * specType to match it.
792 */
9a4c88c2 793 if (*line == '.' && isupper((unsigned char)line[1])) {
984263bc
MD
794 /*
795 * See if the target is a special target that must have it
796 * or its sources handled specially.
797 */
798 int keywd = ParseFindKeyword(line);
799 if (keywd != -1) {
800 if (specType == ExPath && parseKeywords[keywd].spec != ExPath) {
801 Parse_Error(PARSE_FATAL, "Mismatched special targets");
802 return;
803 }
804
805 specType = parseKeywords[keywd].spec;
806 tOp = parseKeywords[keywd].op;
807
808 /*
809 * Certain special targets have special semantics:
810 * .PATH Have to set the dirSearchPath
811 * variable too
812 * .MAIN Its sources are only used if
813 * nothing has been specified to
814 * create.
815 * .DEFAULT Need to create a node to hang
816 * commands on, but we don't want
817 * it in the graph, nor do we want
818 * it to be the Main Target, so we
819 * create it, set OP_NOTMAIN and
820 * add it to the list, setting
821 * DEFAULT to the new node for
822 * later use. We claim the node is
823 * A transformation rule to make
824 * life easier later, when we'll
825 * use Make_HandleUse to actually
826 * apply the .DEFAULT commands.
827 * .PHONY The list of targets
828 * .BEGIN
829 * .END
830 * .INTERRUPT Are not to be considered the
831 * main target.
832 * .NOTPARALLEL Make only one target at a time.
833 * .SINGLESHELL Create a shell for each command.
9edd457e 834 * .ORDER Must set initial predecessor to NULL
984263bc
MD
835 */
836 switch (specType) {
837 case ExPath:
0a7e0b85 838 Lst_AtEnd(&paths, &dirSearchPath);
984263bc
MD
839 break;
840 case Main:
0a7e0b85 841 if (!Lst_IsEmpty(&create)) {
984263bc
MD
842 specType = Not;
843 }
844 break;
845 case Begin:
846 case End:
847 case Interrupt:
848 gn = Targ_FindNode(line, TARG_CREATE);
849 gn->type |= OP_NOTMAIN;
0a7e0b85 850 Lst_AtEnd(&targets, gn);
984263bc
MD
851 break;
852 case Default:
853 gn = Targ_NewGN(".DEFAULT");
854 gn->type |= (OP_NOTMAIN|OP_TRANSFORM);
0a7e0b85 855 Lst_AtEnd(&targets, gn);
984263bc
MD
856 DEFAULT = gn;
857 break;
858 case NotParallel:
859 {
984263bc
MD
860 maxJobs = 1;
861 break;
862 }
863 case SingleShell:
864 compatMake = 1;
865 break;
866 case Order:
9edd457e 867 predecessor = NULL;
984263bc
MD
868 break;
869 default:
870 break;
871 }
fbfaa208 872 } else if (strncmp(line, ".PATH", 5) == 0) {
984263bc
MD
873 /*
874 * .PATH<suffix> has to be handled specially.
875 * Call on the suffix module to give us a path to
876 * modify.
877 */
e035e56b 878 Lst *path;
984263bc
MD
879
880 specType = ExPath;
fbfaa208 881 path = Suff_GetPath(&line[5]);
9edd457e 882 if (path == NULL) {
fbfaa208 883 Parse_Error(PARSE_FATAL,
984263bc
MD
884 "Suffix '%s' not defined (yet)",
885 &line[5]);
886 return;
0a7e0b85
MO
887 } else
888 Lst_AtEnd(&paths, path);
984263bc
MD
889 }
890 }
891
892 /*
893 * Have word in line. Get or create its node and stick it at
894 * the end of the targets list
895 */
896 if ((specType == Not) && (*line != '\0')) {
0a7e0b85
MO
897 /* target names to be found and added to targets list */
898 Lst curTargs = Lst_Initializer(curTargs);
899
984263bc
MD
900 if (Dir_HasWildcards(line)) {
901 /*
902 * Targets are to be sought only in the current directory,
903 * so create an empty path for the thing. Note we need to
904 * use Dir_Destroy in the destruction of the path as the
905 * Dir module could have added a directory to the path...
906 */
0a7e0b85 907 Lst emptyPath = Lst_Initializer(emptyPath);
984263bc 908
0a7e0b85 909 Dir_Expand(line, &emptyPath, &curTargs);
984263bc 910
0a7e0b85 911 Lst_Destroy(&emptyPath, Dir_Destroy);
984263bc
MD
912 } else {
913 /*
914 * No wildcards, but we want to avoid code duplication,
915 * so create a list with the word on it.
916 */
0a7e0b85 917 Lst_AtEnd(&curTargs, line);
984263bc
MD
918 }
919
0a7e0b85
MO
920 while (!Lst_IsEmpty(&curTargs)) {
921 char *targName = Lst_DeQueue(&curTargs);
984263bc
MD
922
923 if (!Suff_IsTransform (targName)) {
fbfaa208 924 gn = Targ_FindNode(targName, TARG_CREATE);
984263bc 925 } else {
fbfaa208 926 gn = Suff_AddTransform(targName);
984263bc
MD
927 }
928
0a7e0b85 929 Lst_AtEnd(&targets, gn);
984263bc
MD
930 }
931 } else if (specType == ExPath && *line != '.' && *line != '\0') {
932 Parse_Error(PARSE_WARNING, "Extra target (%s) ignored", line);
933 }
934
935 *cp = savec;
936 /*
937 * If it is a special type and not .PATH, it's the only target we
938 * allow on this line...
939 */
940 if (specType != Not && specType != ExPath) {
f72581d7 941 Boolean warnFlag = FALSE;
984263bc
MD
942
943 while ((*cp != '!') && (*cp != ':') && *cp) {
944 if (*cp != ' ' && *cp != '\t') {
f72581d7 945 warnFlag = TRUE;
984263bc
MD
946 }
947 cp++;
948 }
f72581d7 949 if (warnFlag) {
984263bc
MD
950 Parse_Error(PARSE_WARNING, "Extra target ignored");
951 }
952 } else {
9a4c88c2 953 while (*cp && isspace((unsigned char)*cp)) {
984263bc
MD
954 cp++;
955 }
956 }
957 line = cp;
958 } while ((*line != '!') && (*line != ':') && *line);
959
0a7e0b85 960 if (!Lst_IsEmpty(&targets)) {
9a4c88c2 961 switch (specType) {
984263bc
MD
962 default:
963 Parse_Error(PARSE_WARNING, "Special and mundane targets don't mix. Mundane ones ignored");
964 break;
965 case Default:
966 case Begin:
967 case End:
968 case Interrupt:
969 /*
970 * These four create nodes on which to hang commands, so
971 * targets shouldn't be empty...
972 */
973 case Not:
974 /*
975 * Nothing special here -- targets can be empty if it wants.
976 */
977 break;
978 }
979 }
980
981 /*
982 * Have now parsed all the target names. Must parse the operator next. The
983 * result is left in op .
984 */
985 if (*cp == '!') {
986 op = OP_FORCE;
987 } else if (*cp == ':') {
988 if (cp[1] == ':') {
989 op = OP_DOUBLEDEP;
990 cp++;
991 } else {
992 op = OP_DEPENDS;
993 }
994 } else {
fbfaa208 995 Parse_Error(PARSE_FATAL, "Missing dependency operator");
984263bc
MD
996 return;
997 }
998
999 cp++; /* Advance beyond operator */
1000
0a7e0b85 1001 Lst_ForEach(&targets, ParseDoOp, &op);
984263bc
MD
1002
1003 /*
1004 * Get to the first source
1005 */
9a4c88c2 1006 while (*cp && isspace((unsigned char)*cp)) {
984263bc
MD
1007 cp++;
1008 }
1009 line = cp;
1010
1011 /*
1012 * Several special targets take different actions if present with no
1013 * sources:
1014 * a .SUFFIXES line with no sources clears out all old suffixes
1015 * a .PRECIOUS line makes all targets precious
1016 * a .IGNORE line ignores errors for all targets
1017 * a .SILENT line creates silence when making all targets
1018 * a .PATH removes all directories from the search path(s).
1019 */
1020 if (!*line) {
1021 switch (specType) {
1022 case Suffixes:
fbfaa208 1023 Suff_ClearSuffixes();
984263bc
MD
1024 break;
1025 case Precious:
1026 allPrecious = TRUE;
1027 break;
1028 case Ignore:
1029 ignoreErrors = TRUE;
1030 break;
1031 case Silent:
1032 beSilent = TRUE;
1033 break;
1034 case ExPath:
0a7e0b85 1035 Lst_ForEach(&paths, ParseClearPath, NULL);
984263bc 1036 break;
984263bc
MD
1037 case Posix:
1038 Var_Set("%POSIX", "1003.2", VAR_GLOBAL);
1039 break;
984263bc
MD
1040 default:
1041 break;
1042 }
1043 } else if (specType == MFlags) {
1044 /*
1045 * Call on functions in main.c to deal with these arguments and
1046 * set the initial character to a null-character so the loop to
1047 * get sources won't get anything
1048 */
9d304036 1049 Main_ParseArgLine(line, 0);
984263bc
MD
1050 *line = '\0';
1051 } else if (specType == ExShell) {
fbfaa208
MO
1052 if (Job_ParseShell(line) != SUCCESS) {
1053 Parse_Error(PARSE_FATAL, "improper shell specification");
984263bc
MD
1054 return;
1055 }
1056 *line = '\0';
1057 } else if ((specType == NotParallel) || (specType == SingleShell)) {
1058 *line = '\0';
1059 }
1060
1061 /*
1062 * NOW GO FOR THE SOURCES
1063 */
1064 if ((specType == Suffixes) || (specType == ExPath) ||
1065 (specType == Includes) || (specType == Libs) ||
1066 (specType == Null))
1067 {
1068 while (*line) {
1069 /*
1070 * If the target was one that doesn't take files as its sources
1071 * but takes something like suffixes, we take each
1072 * space-separated word on the line as a something and deal
1073 * with it accordingly.
1074 *
1075 * If the target was .SUFFIXES, we take each source as a
1076 * suffix and add it to the list of suffixes maintained by the
1077 * Suff module.
1078 *
1079 * If the target was a .PATH, we add the source as a directory
1080 * to search on the search path.
1081 *
1082 * If it was .INCLUDES, the source is taken to be the suffix of
1083 * files which will be #included and whose search path should
1084 * be present in the .INCLUDES variable.
1085 *
1086 * If it was .LIBS, the source is taken to be the suffix of
1087 * files which are considered libraries and whose search path
1088 * should be present in the .LIBS variable.
1089 *
1090 * If it was .NULL, the source is the suffix to use when a file
1091 * has no valid suffix.
1092 */
454224cf 1093 char savech;
9a4c88c2 1094 while (*cp && !isspace((unsigned char)*cp)) {
984263bc
MD
1095 cp++;
1096 }
454224cf 1097 savech = *cp;
984263bc
MD
1098 *cp = '\0';
1099 switch (specType) {
1100 case Suffixes:
fbfaa208 1101 Suff_AddSuffix(line);
984263bc
MD
1102 break;
1103 case ExPath:
0a7e0b85 1104 Lst_ForEach(&paths, ParseAddDir, line);
984263bc
MD
1105 break;
1106 case Includes:
fbfaa208 1107 Suff_AddInclude(line);
984263bc
MD
1108 break;
1109 case Libs:
fbfaa208 1110 Suff_AddLib(line);
984263bc
MD
1111 break;
1112 case Null:
fbfaa208 1113 Suff_SetNull(line);
984263bc
MD
1114 break;
1115 default:
1116 break;
1117 }
454224cf
MD
1118 *cp = savech;
1119 if (savech != '\0') {
984263bc
MD
1120 cp++;
1121 }
9a4c88c2 1122 while (*cp && isspace((unsigned char)*cp)) {
984263bc
MD
1123 cp++;
1124 }
1125 line = cp;
1126 }
0a7e0b85
MO
1127 Lst_Destroy(&paths, NOFREE);
1128
984263bc 1129 } else {
0a7e0b85 1130 Lst curSrcs = Lst_Initializer(curSrc); /* list of sources in order */
bf2bcf34 1131
984263bc
MD
1132 while (*line) {
1133 /*
1134 * The targets take real sources, so we must beware of archive
1135 * specifications (i.e. things with left parentheses in them)
1136 * and handle them accordingly.
1137 */
9a4c88c2 1138 while (*cp && !isspace((unsigned char)*cp)) {
984263bc
MD
1139 if ((*cp == '(') && (cp > line) && (cp[-1] != '$')) {
1140 /*
1141 * Only stop for a left parenthesis if it isn't at the
1142 * start of a word (that'll be for variable changes
1143 * later) and isn't preceded by a dollar sign (a dynamic
1144 * source).
1145 */
1146 break;
1147 } else {
1148 cp++;
1149 }
1150 }
1151
1152 if (*cp == '(') {
454224cf 1153 GNode *gnp;
0a7e0b85
MO
1154 /* list of archive source names after expansion */
1155 Lst sources = Lst_Initializer(sources);
984263bc 1156
0a7e0b85 1157 if (Arch_ParseArchive(&line, &sources, VAR_CMD) != SUCCESS) {
fbfaa208 1158 Parse_Error(PARSE_FATAL,
984263bc
MD
1159 "Error in source archive spec \"%s\"", line);
1160 return;
1161 }
1162
0a7e0b85
MO
1163 while (!Lst_IsEmpty(&sources)) {
1164 gnp = Lst_DeQueue(&sources);
1165 ParseDoSrc(tOp, gnp->name, &curSrcs);
984263bc 1166 }
984263bc
MD
1167 cp = line;
1168 } else {
1169 if (*cp) {
1170 *cp = '\0';
1171 cp += 1;
1172 }
1173
0a7e0b85 1174 ParseDoSrc(tOp, line, &curSrcs);
984263bc 1175 }
9a4c88c2 1176 while (*cp && isspace((unsigned char)*cp)) {
984263bc
MD
1177 cp++;
1178 }
1179 line = cp;
1180 }
0a7e0b85 1181 Lst_Destroy(&curSrcs, NOFREE);
984263bc
MD
1182 }
1183
9edd457e 1184 if (mainNode == NULL) {
984263bc
MD
1185 /*
1186 * If we have yet to decide on a main target to make, in the
1187 * absence of any user input, we want the first target on
1188 * the first dependency line that is actually a real target
1189 * (i.e. isn't a .USE or .EXEC rule) to be made.
1190 */
0a7e0b85 1191 Lst_ForEach(&targets, ParseFindMain, NULL);
984263bc 1192 }
984263bc
MD
1193}
1194
1195/*-
1196 *---------------------------------------------------------------------
1197 * Parse_IsVar --
1198 * Return TRUE if the passed line is a variable assignment. A variable
1199 * assignment consists of a single word followed by optional whitespace
1200 * followed by either a += or an = operator.
1201 * This function is used both by the Parse_File function and main when
1202 * parsing the command-line arguments.
1203 *
1204 * Results:
1205 * TRUE if it is. FALSE if it ain't
1206 *
1207 * Side Effects:
1208 * none
1209 *---------------------------------------------------------------------
1210 */
1211Boolean
fbfaa208 1212Parse_IsVar(char *line)
984263bc 1213{
9a309bcc
MD
1214 Boolean wasSpace = FALSE; /* set TRUE if found a space */
1215 Boolean haveName = FALSE; /* Set TRUE if have a variable name */
fbfaa208 1216
984263bc 1217 int level = 0;
913800f5 1218#define ISEQOPERATOR(c) \
984263bc
MD
1219 (((c) == '+') || ((c) == ':') || ((c) == '?') || ((c) == '!'))
1220
1221 /*
1222 * Skip to variable name
1223 */
fbfaa208 1224 for (; (*line == ' ') || (*line == '\t'); line++)
984263bc
MD
1225 continue;
1226
1227 for (; *line != '=' || level != 0; line++)
1228 switch (*line) {
1229 case '\0':
1230 /*
1231 * end-of-line -- can't be a variable assignment.
1232 */
fbfaa208 1233 return (FALSE);
984263bc
MD
1234
1235 case ' ':
1236 case '\t':
1237 /*
1238 * there can be as much white space as desired so long as there is
1239 * only one word before the operator
1240 */
1241 wasSpace = TRUE;
1242 break;
1243
1244 case '(':
1245 case '{':
1246 level++;
1247 break;
1248
1249 case '}':
1250 case ')':
1251 level--;
1252 break;
1253
1254 default:
1255 if (wasSpace && haveName) {
1256 if (ISEQOPERATOR(*line)) {
1257 /*
1258 * We must have a finished word
1259 */
1260 if (level != 0)
fbfaa208 1261 return (FALSE);
984263bc
MD
1262
1263 /*
1264 * When an = operator [+?!:] is found, the next
1265 * character must be an = or it ain't a valid
1266 * assignment.
1267 */
1268 if (line[1] == '=')
fbfaa208 1269 return (haveName);
984263bc
MD
1270#ifdef SUNSHCMD
1271 /*
1272 * This is a shell command
1273 */
1274 if (strncmp(line, ":sh", 3) == 0)
fbfaa208 1275 return (haveName);
984263bc
MD
1276#endif
1277 }
1278 /*
1279 * This is the start of another word, so not assignment.
1280 */
fbfaa208 1281 return (FALSE);
984263bc
MD
1282 }
1283 else {
1284 haveName = TRUE;
1285 wasSpace = FALSE;
1286 }
1287 break;
1288 }
1289
fbfaa208 1290 return (haveName);
984263bc
MD
1291}
1292
1293/*-
1294 *---------------------------------------------------------------------
1295 * Parse_DoVar --
1296 * Take the variable assignment in the passed line and do it in the
1297 * global context.
1298 *
1299 * Note: There is a lexical ambiguity with assignment modifier characters
1300 * in variable names. This routine interprets the character before the =
1301 * as a modifier. Therefore, an assignment like
1302 * C++=/usr/bin/CC
1303 * is interpreted as "C+ +=" instead of "C++ =".
1304 *
1305 * Results:
1306 * none
1307 *
1308 * Side Effects:
1309 * the variable structure of the given variable name is altered in the
1310 * global context.
1311 *---------------------------------------------------------------------
1312 */
1313void
fbfaa208 1314Parse_DoVar(char *line, GNode *ctxt)
984263bc
MD
1315{
1316 char *cp; /* pointer into line */
1317 enum {
1318 VAR_SUBST, VAR_APPEND, VAR_SHELL, VAR_NORMAL
1319 } type; /* Type of assignment */
1320 char *opc; /* ptr to operator character to
1321 * null-terminate the variable name */
1322 /*
1323 * Avoid clobbered variable warnings by forcing the compiler
1324 * to ``unregister'' variables
1325 */
1326#if __GNUC__
fbfaa208
MO
1327 (void)&cp;
1328 (void)&line;
984263bc
MD
1329#endif
1330
1331 /*
1332 * Skip to variable name
1333 */
1334 while ((*line == ' ') || (*line == '\t')) {
1335 line++;
1336 }
1337
1338 /*
1339 * Skip to operator character, nulling out whitespace as we go
1340 */
1341 for (cp = line + 1; *cp != '='; cp++) {
9a4c88c2 1342 if (isspace((unsigned char)*cp)) {
984263bc
MD
1343 *cp = '\0';
1344 }
1345 }
fbfaa208 1346 opc = cp - 1; /* operator is the previous character */
984263bc
MD
1347 *cp++ = '\0'; /* nuke the = */
1348
1349 /*
1350 * Check operator type
1351 */
1352 switch (*opc) {
1353 case '+':
1354 type = VAR_APPEND;
1355 *opc = '\0';
1356 break;
1357
1358 case '?':
1359 /*
1360 * If the variable already has a value, we don't do anything.
1361 */
1362 *opc = '\0';
1363 if (Var_Exists(line, ctxt)) {
1364 return;
1365 } else {
1366 type = VAR_NORMAL;
1367 }
1368 break;
1369
1370 case ':':
1371 type = VAR_SUBST;
1372 *opc = '\0';
1373 break;
1374
1375 case '!':
1376 type = VAR_SHELL;
1377 *opc = '\0';
1378 break;
1379
1380 default:
1381#ifdef SUNSHCMD
1382 while (*opc != ':')
1383 if (opc == line)
1384 break;
1385 else
1386 --opc;
1387
1388 if (strncmp(opc, ":sh", 3) == 0) {
1389 type = VAR_SHELL;
1390 *opc = '\0';
1391 break;
1392 }
1393#endif
1394 type = VAR_NORMAL;
1395 break;
1396 }
1397
9a4c88c2 1398 while (isspace((unsigned char)*cp)) {
984263bc
MD
1399 cp++;
1400 }
1401
1402 if (type == VAR_APPEND) {
fbfaa208 1403 Var_Append(line, cp, ctxt);
984263bc
MD
1404 } else if (type == VAR_SUBST) {
1405 /*
1406 * Allow variables in the old value to be undefined, but leave their
1407 * invocation alone -- this is done by forcing oldVars to be false.
1408 * XXX: This can cause recursive variables, but that's not hard to do,
1409 * and this allows someone to do something like
1410 *
1411 * CFLAGS = $(.INCLUDES)
1412 * CFLAGS := -I.. $(CFLAGS)
1413 *
1414 * And not get an error.
1415 */
1416 Boolean oldOldVars = oldVars;
1417
1418 oldVars = FALSE;
15c05cb0
MD
1419
1420 /*
1421 * make sure that we set the variable the first time to nothing
1422 * so that it gets substituted!
1423 */
1424 if (!Var_Exists(line, ctxt))
1425 Var_Set(line, "", ctxt);
1426
b0ef9278
MO
1427 {
1428 Buffer *buf;
1429 buf = Var_Subst(NULL, cp, ctxt, FALSE);
1430 cp = Buf_GetAll(buf, NULL);
1431 Buf_Destroy(buf, FALSE);
1432 }
984263bc
MD
1433 oldVars = oldOldVars;
1434
1435 Var_Set(line, cp, ctxt);
1436 free(cp);
1437 } else if (type == VAR_SHELL) {
1438 Boolean freeCmd = FALSE; /* TRUE if the command needs to be freed, i.e.
1439 * if any variable expansion was performed */
63239f27
MO
1440 Buffer *buf;
1441 const char *error;
984263bc
MD
1442
1443 if (strchr(cp, '$') != NULL) {
1444 /*
1445 * There's a dollar sign in the command, so perform variable
1446 * expansion on the whole thing. The resulting string will need
1447 * freeing when we're done, so set freeCmd to TRUE.
1448 */
b0ef9278
MO
1449 {
1450 Buffer *buf1;
1451 buf1 = Var_Subst(NULL, cp, VAR_CMD, TRUE);
1452 cp = Buf_GetAll(buf1, NULL);
1453 Buf_Destroy(buf1, FALSE);
1454 }
984263bc
MD
1455 freeCmd = TRUE;
1456 }
1457
628ad7f9
MO
1458 buf = Cmd_Exec(cp, &error);
1459 Var_Set(line, Buf_GetAll(buf, NULL), ctxt);
1460 Buf_Destroy(buf, TRUE);
984263bc 1461
454224cf
MD
1462 if (error)
1463 Parse_Error(PARSE_WARNING, error, cp);
984263bc
MD
1464
1465 if (freeCmd)
1466 free(cp);
1467 } else {
1468 /*
1469 * Normal assignment -- just do it.
1470 */
1471 Var_Set(line, cp, ctxt);
1472 }
1473}
1474
984263bc
MD
1475/*-
1476 * ParseAddCmd --
1477 * Lst_ForEach function to add a command line to all targets
1478 *
1479 * Results:
1480 * Always 0
1481 *
1482 * Side Effects:
1483 * A new element is added to the commands list of the node.
1484 */
1485static int
84de9e23 1486ParseAddCmd(void *gnp, void *cmd)
984263bc 1487{
9a4c88c2 1488 GNode *gn = gnp;
fbfaa208 1489
984263bc
MD
1490 /* if target already supplied, ignore commands */
1491 if (!(gn->type & OP_HAS_COMMANDS))
0a7e0b85 1492 Lst_AtEnd(&gn->commands, cmd);
c0b1d3dd
MD
1493 else
1494 Parse_Error(PARSE_WARNING,
1495 "duplicate script for target \"%s\" ignored",
1496 gn->name);
fbfaa208 1497 return (0);
984263bc
MD
1498}
1499
1500/*-
1501 *-----------------------------------------------------------------------
1502 * ParseHasCommands --
1503 * Callback procedure for Parse_File when destroying the list of
1504 * targets on the last dependency line. Marks a target as already
1505 * having commands if it does, to keep from having shell commands
1506 * on multiple dependency lines.
1507 *
1508 * Results:
1509 * None
1510 *
1511 * Side Effects:
1512 * OP_HAS_COMMANDS may be set for the target.
1513 *
1514 *-----------------------------------------------------------------------
1515 */
1516static void
84de9e23 1517ParseHasCommands(void *gnp)
984263bc 1518{
9a4c88c2 1519 GNode *gn = gnp;
fbfaa208 1520
0a7e0b85 1521 if (!Lst_IsEmpty(&gn->commands)) {
984263bc
MD
1522 gn->type |= OP_HAS_COMMANDS;
1523 }
1524}
1525
1526/*-
1527 *-----------------------------------------------------------------------
1528 * Parse_AddIncludeDir --
1529 * Add a directory to the path searched for included makefiles
1530 * bracketed by double-quotes. Used by functions in main.c
1531 *
1532 * Results:
1533 * None.
1534 *
1535 * Side Effects:
1536 * The directory is appended to the list.
1537 *
1538 *-----------------------------------------------------------------------
1539 */
1540void
fbfaa208 1541Parse_AddIncludeDir(char *dir)
984263bc 1542{
fbfaa208 1543
0a7e0b85 1544 Dir_AddDir(&parseIncPath, dir);
984263bc
MD
1545}
1546
1547/*---------------------------------------------------------------------
1548 * ParseDoError --
1549 * Handle error directive
1550 *
1551 * The input is the line minus the ".error". We substitute variables,
1552 * print the message and exit(1) or just print a warning if the ".error"
1553 * directive is malformed.
1554 *
1555 *---------------------------------------------------------------------
1556 */
1557static void
84de9e23 1558ParseDoError(char *errmsg)
984263bc 1559{
fbfaa208
MO
1560
1561 if (!isspace((unsigned char)*errmsg)) {
984263bc
MD
1562 Parse_Error(PARSE_WARNING, "invalid syntax: .error%s", errmsg);
1563 return;
1564 }
fbfaa208
MO
1565
1566 while (isspace((unsigned char)*errmsg))
984263bc 1567 errmsg++;
fbfaa208 1568
b0ef9278
MO
1569 {
1570 Buffer *buf;
1571 buf = Var_Subst(NULL, errmsg, VAR_GLOBAL, FALSE);
1572 errmsg = Buf_GetAll(buf, NULL);
1573 Buf_Destroy(buf, FALSE);
1574 }
984263bc 1575
658043eb
JS
1576 Parse_Error(PARSE_FATAL, "%s", errmsg);
1577 /* Terminate immediately. */
984263bc
MD
1578 exit(1);
1579}
1580
658043eb
JS
1581/*---------------------------------------------------------------------
1582 * ParseDoWarning --
1583 * Handle warning directive
1584 *
1585 * The input is the line minus the ".warning". We substitute variables
1586 * and print the message or just print a warning if the ".warning"
1587 * directive is malformed.
1588 *
1589 *---------------------------------------------------------------------
1590 */
1591static void
1592ParseDoWarning(char *warnmsg)
1593{
fbfaa208
MO
1594
1595 if (!isspace((unsigned char)*warnmsg)) {
658043eb
JS
1596 Parse_Error(PARSE_WARNING, "invalid syntax: .warning%s",
1597 warnmsg);
1598 return;
1599 }
fbfaa208
MO
1600
1601 while (isspace((unsigned char)*warnmsg))
658043eb 1602 warnmsg++;
fbfaa208 1603
b0ef9278
MO
1604 {
1605 Buffer *buf;
1606 buf = Var_Subst(NULL, warnmsg, VAR_GLOBAL, FALSE);
1607 warnmsg = Buf_GetAll(buf, NULL);
1608 Buf_Destroy(buf, FALSE);
1609 }
658043eb
JS
1610
1611 Parse_Error(PARSE_WARNING, "%s", warnmsg);
1612}
1613
984263bc
MD
1614/*-
1615 *---------------------------------------------------------------------
1616 * ParseDoInclude --
1617 * Push to another file.
1618 *
1619 * The input is the line minus the #include. A file spec is a string
1620 * enclosed in <> or "". The former is looked for only in sysIncPath.
1621 * The latter in . and the directories specified by -I command line
1622 * options
1623 *
1624 * Results:
1625 * None
1626 *
1627 * Side Effects:
d3de034c
JS
1628 * A structure is added to the includes Lst and readProc, curFile.lineno,
1629 * curFile.fname and curFile.F are altered for the new file
984263bc
MD
1630 *---------------------------------------------------------------------
1631 */
1632static void
bf2bcf34 1633ParseDoInclude(char *file)
984263bc
MD
1634{
1635 char *fullname; /* full pathname of file */
1636 IFile *oldFile; /* state associated with current file */
1637 char endc; /* the character which ends the file spec */
1638 char *cp; /* current position in file spec */
1639 Boolean isSystem; /* TRUE if makefile is a system makefile */
1640
1641 /*
1642 * Skip to delimiter character so we know where to look
1643 */
1644 while ((*file == ' ') || (*file == '\t')) {
1645 file++;
1646 }
1647
1648 if ((*file != '"') && (*file != '<')) {
fbfaa208 1649 Parse_Error(PARSE_FATAL,
984263bc
MD
1650 ".include filename must be delimited by '\"' or '<'");
1651 return;
1652 }
1653
1654 /*
1655 * Set the search path on which to find the include file based on the
1656 * characters which bracket its name. Angle-brackets imply it's
1657 * a system Makefile while double-quotes imply it's a user makefile
1658 */
1659 if (*file == '<') {
1660 isSystem = TRUE;
1661 endc = '>';
1662 } else {
1663 isSystem = FALSE;
1664 endc = '"';
1665 }
1666
1667 /*
1668 * Skip to matching delimiter
1669 */
1670 for (cp = ++file; *cp && *cp != endc; cp++) {
1671 continue;
1672 }
1673
1674 if (*cp != endc) {
fbfaa208 1675 Parse_Error(PARSE_FATAL,
984263bc
MD
1676 "Unclosed %cinclude filename. '%c' expected",
1677 '.', endc);
1678 return;
1679 }
1680 *cp = '\0';
1681
1682 /*
1683 * Substitute for any variables in the file name before trying to
1684 * find the thing.
1685 */
b0ef9278
MO
1686 {
1687 Buffer *buf;
1688 buf = Var_Subst(NULL, file, VAR_CMD, FALSE);
1689 file = Buf_GetAll(buf, NULL);
1690 Buf_Destroy(buf, FALSE);
1691 }
984263bc
MD
1692
1693 /*
1694 * Now we know the file's name and its search path, we attempt to
1695 * find the durn thing. A return of NULL indicates the file don't
1696 * exist.
1697 */
1698 if (!isSystem) {
1699 /*
1700 * Include files contained in double-quotes are first searched for
1701 * relative to the including file's location. We don't want to
1702 * cd there, of course, so we just tack on the old file's
1703 * leading path components and call Dir_FindFile to see if
1704 * we can locate the beast.
1705 */
1706 char *prefEnd, *Fname;
1707
1708 /* Make a temporary copy of this, to be safe. */
d3de034c 1709 Fname = estrdup(curFile.fname);
984263bc 1710
fbfaa208 1711 prefEnd = strrchr(Fname, '/');
984263bc
MD
1712 if (prefEnd != (char *)NULL) {
1713 char *newName;
1714
1715 *prefEnd = '\0';
1716 if (file[0] == '/')
1717 newName = estrdup(file);
1718 else
fbfaa208 1719 newName = str_concat(Fname, file, STR_ADDSLASH);
0a7e0b85 1720 fullname = Dir_FindFile(newName, &parseIncPath);
9a4c88c2 1721 if (fullname == NULL) {
0a7e0b85 1722 fullname = Dir_FindFile(newName, &dirSearchPath);
984263bc 1723 }
fbfaa208 1724 free(newName);
984263bc
MD
1725 *prefEnd = '/';
1726 } else {
9a4c88c2 1727 fullname = NULL;
984263bc 1728 }
fbfaa208 1729 free(Fname);
984263bc 1730 } else {
9a4c88c2 1731 fullname = NULL;
984263bc
MD
1732 }
1733
9a4c88c2 1734 if (fullname == NULL) {
984263bc
MD
1735 /*
1736 * System makefile or makefile wasn't found in same directory as
1737 * included makefile. Search for it first on the -I search path,
1738 * then on the .PATH search path, if not found in a -I directory.
1739 * XXX: Suffix specific?
1740 */
0a7e0b85 1741 fullname = Dir_FindFile(file, &parseIncPath);
9a4c88c2 1742 if (fullname == NULL) {
0a7e0b85 1743 fullname = Dir_FindFile(file, &dirSearchPath);
984263bc
MD
1744 }
1745 }
1746
9a4c88c2 1747 if (fullname == NULL) {
984263bc
MD
1748 /*
1749 * Still haven't found the makefile. Look for it on the system
1750 * path as a last resort.
1751 */
0a7e0b85 1752 fullname = Dir_FindFile(file, &sysIncPath);
984263bc
MD
1753 }
1754
9a4c88c2 1755 if (fullname == NULL) {
984263bc 1756 *cp = endc;
fbfaa208 1757 Parse_Error(PARSE_FATAL, "Could not find %s", file);
984263bc
MD
1758 return;
1759 }
1760
1761 free(file);
1762
1763 /*
1764 * Once we find the absolute path to the file, we get to save all the
1765 * state from the current file before we can start reading this
1766 * include file. The state is stored in an IFile structure which
1767 * is placed on a list with other IFile structures. The list makes
1768 * a very nice stack to track how we got here...
1769 */
bf2bcf34 1770 oldFile = emalloc(sizeof(IFile));
9a4c88c2 1771 memcpy(oldFile, &curFile, sizeof(IFile));
984263bc 1772
0a7e0b85 1773 Lst_AtFront(&includes, oldFile);
984263bc
MD
1774
1775 /*
1776 * Once the previous state has been saved, we can get down to reading
1777 * the new file. We set up the name of the file to be the absolute
1778 * name of the include file so error messages refer to the right
1779 * place. Naturally enough, we start reading at line number 0.
1780 */
d3de034c
JS
1781 curFile.fname = fullname;
1782 curFile.lineno = 0;
984263bc 1783
fbfaa208 1784 curFile.F = fopen(fullname, "r");
d3de034c 1785 curFile.p = NULL;
9a4c88c2 1786 if (curFile.F == NULL) {
fbfaa208 1787 Parse_Error(PARSE_FATAL, "Cannot open %s", fullname);
984263bc
MD
1788 /*
1789 * Pop to previous file
1790 */
fbfaa208 1791 ParseEOF(0);
27afa3b2
MD
1792 } else {
1793 Var_Append(".MAKEFILE_LIST", fullname, VAR_GLOBAL);
984263bc
MD
1794 }
1795}
1796
984263bc
MD
1797/*-
1798 *---------------------------------------------------------------------
1799 * Parse_FromString --
1800 * Start Parsing from the given string
1801 *
1802 * Results:
1803 * None
1804 *
1805 * Side Effects:
d3de034c
JS
1806 * A structure is added to the includes Lst and readProc, curFile.lineno,
1807 * curFile.fname and curFile.F are altered for the new file
984263bc
MD
1808 *---------------------------------------------------------------------
1809 */
1810void
d3de034c 1811Parse_FromString(char *str, int lineno)
984263bc
MD
1812{
1813 IFile *oldFile; /* state associated with this file */
1814
d3de034c 1815 DEBUGF(FOR, ("%s\n---- at line %d\n", str, lineno));
984263bc 1816
9a4c88c2 1817 oldFile = emalloc(sizeof(IFile));
fbfaa208 1818 memcpy(oldFile, &curFile, sizeof(IFile));
984263bc 1819
0a7e0b85 1820 Lst_AtFront(&includes, oldFile);
984263bc 1821
d3de034c 1822 curFile.F = NULL;
bf2bcf34 1823 curFile.p = emalloc(sizeof(PTR));
d3de034c
JS
1824 curFile.p->str = curFile.p->ptr = str;
1825 curFile.lineno = lineno;
1826 curFile.fname = estrdup(curFile.fname);
984263bc
MD
1827}
1828
984263bc
MD
1829#ifdef SYSVINCLUDE
1830/*-
1831 *---------------------------------------------------------------------
1832 * ParseTraditionalInclude --
1833 * Push to another file.
1834 *
1835 * The input is the line minus the "include". The file name is
1836 * the string following the "include".
1837 *
1838 * Results:
1839 * None
1840 *
1841 * Side Effects:
d3de034c
JS
1842 * A structure is added to the includes Lst and readProc, curFile.lineno,
1843 * curFile.fname and curFile.F are altered for the new file
984263bc
MD
1844 *---------------------------------------------------------------------
1845 */
1846static void
bf2bcf34 1847ParseTraditionalInclude(char *file)
984263bc
MD
1848{
1849 char *fullname; /* full pathname of file */
1850 IFile *oldFile; /* state associated with current file */
1851 char *cp; /* current position in file spec */
984263bc
MD
1852
1853 /*
1854 * Skip over whitespace
1855 */
1856 while ((*file == ' ') || (*file == '\t')) {
1857 file++;
1858 }
1859
1860 if (*file == '\0') {
fbfaa208 1861 Parse_Error(PARSE_FATAL,
984263bc
MD
1862 "Filename missing from \"include\"");
1863 return;
1864 }
1865
1866 /*
1867 * Skip to end of line or next whitespace
1868 */
1869 for (cp = file; *cp && *cp != '\n' && *cp != '\t' && *cp != ' '; cp++) {
1870 continue;
1871 }
1872
1873 *cp = '\0';
1874
1875 /*
1876 * Substitute for any variables in the file name before trying to
1877 * find the thing.
1878 */
b0ef9278
MO
1879 {
1880 Buffer *buf;
1881 buf = Var_Subst(NULL, file, VAR_CMD, FALSE);
1882 file = Buf_GetAll(buf, NULL);
1883 Buf_Destroy(buf, FALSE);
1884 }
984263bc
MD
1885
1886 /*
1887 * Now we know the file's name, we attempt to find the durn thing.
6065a492
MD
1888 * Search for it first on the -I search path, then on the .PATH
1889 * search path, if not found in a -I directory.
984263bc 1890 */
0a7e0b85 1891 fullname = Dir_FindFile(file, &parseIncPath);
9a4c88c2 1892 if (fullname == NULL) {
0a7e0b85 1893 fullname = Dir_FindFile(file, &dirSearchPath);
984263bc
MD
1894 }
1895
9a4c88c2 1896 if (fullname == NULL) {
984263bc
MD
1897 /*
1898 * Still haven't found the makefile. Look for it on the system
1899 * path as a last resort.
1900 */
0a7e0b85 1901 fullname = Dir_FindFile(file, &sysIncPath);
984263bc
MD
1902 }
1903
9a4c88c2 1904 if (fullname == NULL) {
fbfaa208 1905 Parse_Error(PARSE_FATAL, "Could not find %s", file);
984263bc
MD
1906 return;
1907 }
1908
1909 /*
1910 * Once we find the absolute path to the file, we get to save all the
1911 * state from the current file before we can start reading this
1912 * include file. The state is stored in an IFile structure which
1913 * is placed on a list with other IFile structures. The list makes
1914 * a very nice stack to track how we got here...
1915 */
9a4c88c2 1916 oldFile = emalloc(sizeof(IFile));
fbfaa208 1917 memcpy(oldFile, &curFile, sizeof(IFile));
984263bc 1918
0a7e0b85 1919 Lst_AtFront(&includes, oldFile);
984263bc
MD
1920
1921 /*
1922 * Once the previous state has been saved, we can get down to reading
1923 * the new file. We set up the name of the file to be the absolute
1924 * name of the include file so error messages refer to the right
1925 * place. Naturally enough, we start reading at line number 0.
1926 */
d3de034c
JS
1927 curFile.fname = fullname;
1928 curFile.lineno = 0;
984263bc 1929
fbfaa208 1930 curFile.F = fopen(fullname, "r");
d3de034c 1931 curFile.p = NULL;
9a4c88c2 1932 if (curFile.F == NULL) {
fbfaa208 1933 Parse_Error(PARSE_FATAL, "Cannot open %s", fullname);
984263bc
MD
1934 /*
1935 * Pop to previous file
1936 */
fbfaa208 1937 ParseEOF(1);
27afa3b2
MD
1938 } else {
1939 Var_Append(".MAKEFILE_LIST", fullname, VAR_GLOBAL);
984263bc
MD
1940 }
1941}
1942#endif
1943
1944/*-
1945 *---------------------------------------------------------------------
1946 * ParseEOF --
1947 * Called when EOF is reached in the current file. If we were reading
1948 * an include file, the includes stack is popped and things set up
1949 * to go back to reading the previous file at the previous location.
1950 *
1951 * Results:
1952 * CONTINUE if there's more to do. DONE if not.
1953 *
1954 * Side Effects:
d3de034c
JS
1955 * The old curFile.F is closed. The includes list is shortened.
1956 * curFile.lineno, curFile.F, and curFile.fname are changed if
1957 * CONTINUE is returned.
984263bc
MD
1958 *---------------------------------------------------------------------
1959 */
1960static int
fbfaa208 1961ParseEOF(int opened)
984263bc
MD
1962{
1963 IFile *ifile; /* the state on the top of the includes stack */
1964
0a7e0b85 1965 if (Lst_IsEmpty(&includes)) {
27afa3b2 1966 Var_Append(".MAKEFILE_LIST", "..", VAR_GLOBAL);
984263bc
MD
1967 return (DONE);
1968 }
1969
0a7e0b85 1970 ifile = Lst_DeQueue(&includes);
fbfaa208 1971 free(curFile.fname);
d3de034c 1972 if (opened && curFile.F) {
fbfaa208 1973 fclose(curFile.F);
27afa3b2
MD
1974 Var_Append(".MAKEFILE_LIST", "..", VAR_GLOBAL);
1975 }
d3de034c
JS
1976 if (curFile.p) {
1977 free(curFile.p->str);
1978 free(curFile.p);
984263bc 1979 }
fbfaa208
MO
1980 memcpy(&curFile, ifile, sizeof(IFile));
1981 free(ifile);
984263bc
MD
1982 return (CONTINUE);
1983}
1984
1985/*-
1986 *---------------------------------------------------------------------
1987 * ParseReadc --
1988 * Read a character from the current file
1989 *
1990 * Results:
1991 * The character that was read
1992 *
1993 * Side Effects:
1994 *---------------------------------------------------------------------
1995 */
1996static int
84de9e23 1997ParseReadc(void)
984263bc 1998{
fbfaa208 1999
d3de034c 2000 if (curFile.F)
fbfaa208 2001 return (fgetc(curFile.F));
984263bc 2002
d3de034c 2003 if (curFile.p && *curFile.p->ptr)
fbfaa208
MO
2004 return (*curFile.p->ptr++);
2005 return (EOF);
984263bc
MD
2006}
2007
2008
2009/*-
2010 *---------------------------------------------------------------------
2011 * ParseUnreadc --
2012 * Put back a character to the current file
2013 *
2014 * Results:
2015 * None.
2016 *
2017 * Side Effects:
2018 *---------------------------------------------------------------------
2019 */
2020static void
84de9e23 2021ParseUnreadc(int c)
984263bc 2022{
fbfaa208 2023
d3de034c
JS
2024 if (curFile.F) {
2025 ungetc(c, curFile.F);
984263bc
MD
2026 return;
2027 }
d3de034c
JS
2028 if (curFile.p) {
2029 *--(curFile.p->ptr) = c;
984263bc
MD
2030 return;
2031 }
2032}
2033
2034
2035/* ParseSkipLine():
84de9e23
MD
2036 * Grab the next line unless it begins with a dot (`.') and we're told to
2037 * ignore such lines.
984263bc
MD
2038 */
2039static char *
d3de034c 2040ParseSkipLine(int skip, int keep_newline)
984263bc
MD
2041{
2042 char *line;
9cf296a4 2043 int c, lastc;
6a3d9147 2044 Buffer *buf;
984263bc
MD
2045
2046 buf = Buf_Init(MAKE_BSIZE);
2047
2048 do {
0964826d 2049 Buf_Clear(buf);
984263bc
MD
2050 lastc = '\0';
2051
2052 while (((c = ParseReadc()) != '\n' || lastc == '\\')
2053 && c != EOF) {
92490377
JS
2054 if (skip && c == '#' && lastc != '\\') {
2055 /* let a comment be terminated even by an escaped \n.
2056 * This is consistent to comment handling in ParseReadLine */
2057 while ((c = ParseReadc()) != '\n' && c != EOF)
2058 ;
2059 break;
2060 }
984263bc 2061 if (c == '\n') {
d3de034c
JS
2062 if (keep_newline)
2063 Buf_AddByte(buf, (Byte)c);
2064 else
2065 Buf_ReplaceLastByte(buf, (Byte)' ');
2066 curFile.lineno++;
984263bc 2067
454224cf
MD
2068 while ((c = ParseReadc()) == ' ' || c == '\t')
2069 continue;
984263bc
MD
2070
2071 if (c == EOF)
2072 break;
2073 }
2074
2075 Buf_AddByte(buf, (Byte)c);
2076 lastc = c;
2077 }
2078
2079 if (c == EOF) {
2080 Parse_Error(PARSE_FATAL, "Unclosed conditional/for loop");
2081 Buf_Destroy(buf, TRUE);
9a4c88c2 2082 return (NULL);
984263bc
MD
2083 }
2084
d3de034c 2085 curFile.lineno++;
8294fbb3 2086 Buf_AddByte(buf, (Byte)'\0');
67492fd2 2087 line = (char *)Buf_GetAll(buf, NULL);
984263bc
MD
2088 } while (skip == 1 && line[0] != '.');
2089
2090 Buf_Destroy(buf, FALSE);
fbfaa208 2091 return (line);
984263bc
MD
2092}
2093
2094
2095/*-
2096 *---------------------------------------------------------------------
2097 * ParseReadLine --
2098 * Read an entire line from the input file. Called only by Parse_File.
2099 * To facilitate escaped newlines and what have you, a character is
2100 * buffered in 'lastc', which is '\0' when no characters have been
2101 * read. When we break out of the loop, c holds the terminating
2102 * character and lastc holds a character that should be added to
2103 * the line (unless we don't read anything but a terminator).
2104 *
2105 * Results:
2106 * A line w/o its newline
2107 *
2108 * Side Effects:
2109 * Only those associated with reading a character
2110 *---------------------------------------------------------------------
2111 */
2112static char *
fbfaa208 2113ParseReadLine(void)
984263bc 2114{
6a3d9147 2115 Buffer *buf; /* Buffer for current line */
9a309bcc
MD
2116 int c; /* the current character */
2117 int lastc; /* The most-recent character */
984263bc
MD
2118 Boolean semiNL; /* treat semi-colons as newlines */
2119 Boolean ignDepOp; /* TRUE if should ignore dependency operators
2120 * for the purposes of setting semiNL */
2121 Boolean ignComment; /* TRUE if should ignore comments (in a
2122 * shell command */
2123 char *line; /* Result */
2124 char *ep; /* to strip trailing blanks */
d3de034c 2125 int lineno; /* Saved line # */
984263bc
MD
2126
2127 semiNL = FALSE;
2128 ignDepOp = FALSE;
2129 ignComment = FALSE;
2130
2131 /*
2132 * Handle special-characters at the beginning of the line. Either a
2133 * leading tab (shell command) or pound-sign (possible conditional)
2134 * forces us to ignore comments and dependency operators and treat
2135 * semi-colons as semi-colons (by leaving semiNL FALSE). This also
2136 * discards completely blank lines.
2137 */
2138 for (;;) {
2139 c = ParseReadc();
2140
2141 if (c == '\t') {
2142 ignComment = ignDepOp = TRUE;
2143 break;
2144 } else if (c == '\n') {
d3de034c 2145 curFile.lineno++;
984263bc
MD
2146 } else if (c == '#') {
2147 ParseUnreadc(c);
2148 break;
2149 } else {
2150 /*
2151 * Anything else breaks out without doing anything
2152 */
2153 break;
2154 }
2155 }
2156
2157 if (c != EOF) {
2158 lastc = c;
2159 buf = Buf_Init(MAKE_BSIZE);
2160
fbfaa208 2161 while (((c = ParseReadc()) != '\n' || (lastc == '\\')) &&
984263bc
MD
2162 (c != EOF))
2163 {
2164test_char:
fbfaa208 2165 switch (c) {
984263bc
MD
2166 case '\n':
2167 /*
2168 * Escaped newline: read characters until a non-space or an
2169 * unescaped newline and replace them all by a single space.
2170 * This is done by storing the space over the backslash and
2171 * dropping through with the next nonspace. If it is a
2172 * semi-colon and semiNL is TRUE, it will be recognized as a
2173 * newline in the code below this...
2174 */
d3de034c 2175 curFile.lineno++;
984263bc 2176 lastc = ' ';
fbfaa208 2177 while ((c = ParseReadc()) == ' ' || c == '\t') {
984263bc
MD
2178 continue;
2179 }
2180 if (c == EOF || c == '\n') {
2181 goto line_read;
2182 } else {
2183 /*
2184 * Check for comments, semiNL's, etc. -- easier than
2185 * ParseUnreadc(c); continue;
2186 */
2187 goto test_char;
2188 }
2189 /*NOTREACHED*/
2190 break;
2191
2192 case ';':
2193 /*
2194 * Semi-colon: Need to see if it should be interpreted as a
2195 * newline
2196 */
2197 if (semiNL) {
2198 /*
2199 * To make sure the command that may be following this
2200 * semi-colon begins with a tab, we push one back into the
2201 * input stream. This will overwrite the semi-colon in the
2202 * buffer. If there is no command following, this does no
2203 * harm, since the newline remains in the buffer and the
2204 * whole line is ignored.
2205 */
2206 ParseUnreadc('\t');
2207 goto line_read;
2208 }
2209 break;
2210 case '=':
2211 if (!semiNL) {
2212 /*
2213 * Haven't seen a dependency operator before this, so this
2214 * must be a variable assignment -- don't pay attention to
2215 * dependency operators after this.
2216 */
2217 ignDepOp = TRUE;
2218 } else if (lastc == ':' || lastc == '!') {
2219 /*
2220 * Well, we've seen a dependency operator already, but it
2221 * was the previous character, so this is really just an
2222 * expanded variable assignment. Revert semi-colons to
2223 * being just semi-colons again and ignore any more
2224 * dependency operators.
2225 *
2226 * XXX: Note that a line like "foo : a:=b" will blow up,
2227 * but who'd write a line like that anyway?
2228 */
fbfaa208
MO
2229 ignDepOp = TRUE;
2230 semiNL = FALSE;
984263bc
MD
2231 }
2232 break;
2233 case '#':
2234 if (!ignComment) {
c0b1d3dd 2235 if (lastc != '\\') {
984263bc
MD
2236 /*
2237 * If the character is a hash mark and it isn't escaped
2238 * (or we're being compatible), the thing is a comment.
2239 * Skip to the end of the line.
2240 */
2241 do {
2242 c = ParseReadc();
2243 } while ((c != '\n') && (c != EOF));
2244 goto line_read;
2245 } else {
2246 /*
2247 * Don't add the backslash. Just let the # get copied
2248 * over.
2249 */
2250 lastc = c;
2251 continue;
2252 }
2253 }
2254 break;
2255 case ':':
2256 case '!':
2257 if (!ignDepOp && (c == ':' || c == '!')) {
2258 /*
2259 * A semi-colon is recognized as a newline only on
2260 * dependency lines. Dependency lines are lines with a
2261 * colon or an exclamation point. Ergo...
2262 */
2263 semiNL = TRUE;
2264 }
2265 break;
454224cf
MD
2266 default:
2267 break;
984263bc
MD
2268 }
2269 /*
2270 * Copy in the previous character and save this one in lastc.
2271 */
fbfaa208 2272 Buf_AddByte(buf, (Byte)lastc);
984263bc
MD
2273 lastc = c;
2274
2275 }
2276 line_read:
d3de034c 2277 curFile.lineno++;
984263bc
MD
2278
2279 if (lastc != '\0') {
fbfaa208 2280 Buf_AddByte(buf, (Byte)lastc);
984263bc 2281 }
8294fbb3 2282 Buf_AddByte(buf, (Byte)'\0');
67492fd2 2283 line = (char *)Buf_GetAll(buf, NULL);
fbfaa208 2284 Buf_Destroy(buf, FALSE);
984263bc
MD
2285
2286 /*
2287 * Strip trailing blanks and tabs from the line.
97e72a8b 2288 * Do not strip a blank or tab that is preceded by
984263bc
MD
2289 * a '\'
2290 */
2291 ep = line;
2292 while (*ep)
2293 ++ep;
2294 while (ep > line + 1 && (ep[-1] == ' ' || ep[-1] == '\t')) {
2295 if (ep > line + 1 && ep[-2] == '\\')
2296 break;
2297 --ep;
2298 }
2299 *ep = 0;
2300
2301 if (line[0] == '.') {
2302 /*
2303 * The line might be a conditional. Ask the conditional module
2304 * about it and act accordingly
2305 */
fbfaa208 2306 switch (Cond_Eval(line)) {
984263bc
MD
2307 case COND_SKIP:
2308 /*
2309 * Skip to next conditional that evaluates to COND_PARSE.
2310 */
2311 do {
fbfaa208 2312 free(line);
d3de034c 2313 line = ParseSkipLine(1, 0);
984263bc
MD
2314 } while (line && Cond_Eval(line) != COND_PARSE);
2315 if (line == NULL)
2316 break;
2317 /*FALLTHRU*/
2318 case COND_PARSE:
fbfaa208 2319 free(line);
984263bc
MD
2320 line = ParseReadLine();
2321 break;
2322 case COND_INVALID:
2323 if (For_Eval(line)) {
2324 int ok;
2325 free(line);
d3de034c 2326 lineno = curFile.lineno;
984263bc
MD
2327 do {
2328 /*
2329 * Skip after the matching end
2330 */
d3de034c 2331 line = ParseSkipLine(0, 1);
984263bc 2332 if (line == NULL) {
fbfaa208 2333 Parse_Error(PARSE_FATAL,
984263bc
MD
2334 "Unexpected end of file in for loop.\n");
2335 break;
2336 }
2337 ok = For_Eval(line);
2338 free(line);
2339 }
2340 while (ok);
2341 if (line != NULL)
d3de034c 2342 For_Run(lineno);
984263bc
MD
2343 line = ParseReadLine();
2344 }
2345 break;
454224cf
MD
2346 default:
2347 break;
984263bc
MD
2348 }
2349 }
2350 return (line);
2351
2352 } else {
2353 /*
2354 * Hit end-of-file, so return a NULL line to indicate this.
2355 */
9a4c88c2 2356 return (NULL);
984263bc
MD
2357 }
2358}
2359
2360/*-
2361 *-----------------------------------------------------------------------
2362 * ParseFinishLine --
2363 * Handle the end of a dependency group.
2364 *
2365 * Results:
2366 * Nothing.
2367 *
2368 * Side Effects:
2369 * inLine set FALSE. 'targets' list destroyed.
2370 *
2371 *-----------------------------------------------------------------------
2372 */
2373static void
84de9e23 2374ParseFinishLine(void)
984263bc 2375{
fbfaa208 2376
984263bc 2377 if (inLine) {
0a7e0b85
MO
2378 Lst_ForEach(&targets, Suff_EndTransform, NULL);
2379 Lst_Destroy(&targets, ParseHasCommands);
984263bc
MD
2380 inLine = FALSE;
2381 }
2382}
2383
be7281c9
MD
2384static char *
2385stripvarname(char *cp)
2386{
2387 char *cp2;
2388
2389 while (isspace((unsigned char)*cp))
2390 ++cp;
2391 cp2 = cp;
2392 while (*cp2 && !isspace((unsigned char)*cp2))
2393 ++cp2;
2394 *cp2 = 0;
2395 return(cp);
2396}
2397
984263bc
MD
2398
2399/*-
2400 *---------------------------------------------------------------------
2401 * Parse_File --
2402 * Parse a file into its component parts, incorporating it into the
2403 * current dependency graph. This is the main function and controls
2404 * almost every other function in this module
2405 *
2406 * Results:
2407 * None
2408 *
2409 * Side Effects:
2410 * Loads. Nodes are added to the list of all targets, nodes and links
2411 * are added to the dependency graph. etc. etc. etc.
2412 *---------------------------------------------------------------------
2413 */
2414void
c533e3d4 2415Parse_File(char *name, FILE *stream)
984263bc 2416{
9a309bcc 2417 char *cp, /* pointer into the line */
984263bc
MD
2418 *line; /* the line we're working on */
2419
2420 inLine = FALSE;
d3de034c
JS
2421 curFile.fname = name;
2422 curFile.F = stream;
2423 curFile.lineno = 0;
984263bc
MD
2424 fatals = 0;
2425
27afa3b2
MD
2426 Var_Append(".MAKEFILE_LIST", name, VAR_GLOBAL);
2427
984263bc 2428 do {
fbfaa208 2429 while ((line = ParseReadLine()) != NULL) {
984263bc
MD
2430 if (*line == '.') {
2431 /*
2432 * Lines that begin with the special character are either
2433 * include or undef directives.
2434 */
fbfaa208 2435 for (cp = line + 1; isspace((unsigned char)*cp); cp++) {
984263bc
MD
2436 continue;
2437 }
fbfaa208 2438 if (strncmp(cp, "include", 7) == 0) {
bf2bcf34 2439 ParseDoInclude(cp + 7);
984263bc 2440 goto nextLine;
fbfaa208 2441 } else if (strncmp(cp, "error", 5) == 0) {
984263bc 2442 ParseDoError(cp + 5);
b83dbac0 2443 goto nextLine;
fbfaa208 2444 } else if (strncmp(cp, "warning", 7) == 0) {
658043eb 2445 ParseDoWarning(cp + 7);
b83dbac0 2446 goto nextLine;
984263bc 2447 } else if (strncmp(cp, "undef", 5) == 0) {
be7281c9 2448 cp = stripvarname(cp + 5);
b0ef9278
MO
2449 {
2450 Buffer *buf;
2451 buf = Var_Subst(NULL, cp, VAR_CMD, FALSE);
2452 cp = Buf_GetAll(buf, NULL);
2453 Buf_Destroy(buf, FALSE);
2454 }
984263bc
MD
2455 Var_Delete(cp, VAR_GLOBAL);
2456 goto nextLine;
be7281c9
MD
2457 } else if (strncmp(cp, "makeenv", 7) == 0) {
2458 cp = stripvarname(cp + 7);
2459 Var_SetEnv(cp, VAR_GLOBAL);
2460 goto nextLine;
984263bc
MD
2461 }
2462 }
2463 if (*line == '#') {
2464 /* If we're this far, the line must be a comment. */
2465 goto nextLine;
2466 }
2467
2468 if (*line == '\t') {
2469 /*
2470 * If a line starts with a tab, it can only hope to be
2471 * a creation command.
2472 */
fbfaa208 2473 for (cp = line + 1; isspace((unsigned char)*cp); cp++) {
984263bc
MD
2474 continue;
2475 }
2476 if (*cp) {
2477 if (inLine) {
2478 /*
2479 * So long as it's not a blank line and we're actually
2480 * in a dependency spec, add the command to the list of
2481 * commands of all targets in the dependency spec
2482 */
0a7e0b85 2483 Lst_ForEach(&targets, ParseAddCmd, cp);
984263bc
MD
2484 continue;
2485 } else {
fbfaa208 2486 Parse_Error(PARSE_FATAL,
984263bc
MD
2487 "Unassociated shell command \"%s\"",
2488 cp);
2489 }
2490 }
2491#ifdef SYSVINCLUDE
fbfaa208
MO
2492 } else if (strncmp(line, "include", 7) == 0 &&
2493 isspace((unsigned char)line[7]) &&
984263bc
MD
2494 strchr(line, ':') == NULL) {
2495 /*
2496 * It's an S3/S5-style "include".
2497 */
fbfaa208 2498 ParseTraditionalInclude(line + 7);
984263bc
MD
2499 goto nextLine;
2500#endif
fbfaa208 2501 } else if (Parse_IsVar(line)) {
984263bc 2502 ParseFinishLine();
fbfaa208 2503 Parse_DoVar(line, VAR_GLOBAL);
984263bc
MD
2504 } else {
2505 /*
2506 * We now know it's a dependency line so it needs to have all
2507 * variables expanded before being parsed. Tell the variable
2508 * module to complain if some variable is undefined...
2509 * To make life easier on novices, if the line is indented we
2510 * first make sure the line has a dependency operator in it.
2511 * If it doesn't have an operator and we're in a dependency
2512 * line's script, we assume it's actually a shell command
2513 * and add it to the current list of targets.
2514 */
984263bc 2515 cp = line;
fbfaa208
MO
2516 if (isspace((unsigned char)line[0])) {
2517 while ((*cp != '\0') && isspace((unsigned char)*cp)) {
984263bc
MD
2518 cp++;
2519 }
2520 if (*cp == '\0') {
2521 goto nextLine;
2522 }
984263bc
MD
2523 }
2524
89a1b397 2525 ParseFinishLine();
984263bc 2526
b0ef9278
MO
2527 {
2528 Buffer *buf;
2529 buf = Var_Subst(NULL, line, VAR_CMD, TRUE);
2530 cp = Buf_GetAll(buf, NULL);
2531 Buf_Destroy(buf, FALSE);
2532 }
fbfaa208 2533 free(line);
89a1b397 2534 line = cp;
984263bc 2535
89a1b397
JS
2536 /*
2537 * Need a non-circular list for the target nodes
2538 */
0a7e0b85 2539 Lst_Destroy(&targets, NOFREE);
89a1b397 2540 inLine = TRUE;
984263bc 2541
bf2bcf34 2542 ParseDoDependency(line);
984263bc
MD
2543 }
2544
2545 nextLine:
2546
fbfaa208 2547 free(line);
984263bc
MD
2548 }
2549 /*
2550 * Reached EOF, but it may be just EOF of an include file...
2551 */
2552 } while (ParseEOF(1) == CONTINUE);
2553
2554 /*
2555 * Make sure conditionals are clean
2556 */
2557 Cond_End();
2558
2559 if (fatals)
2560 errx(1, "fatal errors encountered -- cannot continue");
2561}
2562
2563/*-
2564 *---------------------------------------------------------------------
2565 * Parse_Init --
2566 * initialize the parsing module
2567 *
2568 * Results:
2569 * none
2570 *
2571 * Side Effects:
2572 * the parseIncPath list is initialized...
2573 *---------------------------------------------------------------------
2574 */
2575void
fbfaa208 2576Parse_Init(void)
984263bc 2577{
fbfaa208 2578
9edd457e 2579 mainNode = NULL;
984263bc
MD
2580}
2581
984263bc
MD
2582/*-
2583 *-----------------------------------------------------------------------
2584 * Parse_MainName --
2585 * Return a Lst of the main target to create for main()'s sake. If
2586 * no such target exists, we Punt with an obnoxious error message.
2587 *
2588 * Results:
2589 * A Lst of the single node to create.
2590 *
2591 * Side Effects:
2592 * None.
2593 *
2594 *-----------------------------------------------------------------------
2595 */
0a7e0b85
MO
2596void
2597Parse_MainName(Lst *listmain)
984263bc 2598{
984263bc 2599
9edd457e 2600 if (mainNode == NULL) {
fbfaa208 2601 Punt("no target to make.");
984263bc
MD
2602 /*NOTREACHED*/
2603 } else if (mainNode->type & OP_DOUBLEDEP) {
9a4c88c2 2604 Lst_AtEnd(listmain, mainNode);
0a7e0b85 2605 Lst_Concat(listmain, &mainNode->cohorts, LST_CONCNEW);
984263bc
MD
2606 }
2607 else
9a4c88c2 2608 Lst_AtEnd(listmain, mainNode);
984263bc 2609}