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