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