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