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