variable.c@ 1107

Last change on this file since 1107 was 1107, checked in by bird, 17 years ago
some silly realloc optimizations.
Property svn:eol-style set to `native`
File size: 60.7 KB

Line
1	/* Internals of variables for GNU Make.
2	Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3	1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software
4	Foundation, Inc.
5	This file is part of GNU Make.
6
7	GNU Make is free software; you can redistribute it and/or modify it under the
8	terms of the GNU General Public License as published by the Free Software
9	Foundation; either version 2, or (at your option) any later version.
10
11	GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
12	WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
13	A PARTICULAR PURPOSE. See the GNU General Public License for more details.
14
15	You should have received a copy of the GNU General Public License along with
16	GNU Make; see the file COPYING. If not, write to the Free Software
17	Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. */
18
19	#include "make.h"
20
21	#include <assert.h>
22
23	#include "dep.h"
24	#include "filedef.h"
25	#include "job.h"
26	#include "commands.h"
27	#include "variable.h"
28	#include "rule.h"
29	#ifdef WINDOWS32
30	#include "pathstuff.h"
31	#endif
32	#include "hash.h"
33	#ifdef KMK
34	# include "kbuild.h"
35	#endif
36
37	/* Chain of all pattern-specific variables. */
38
39	static struct pattern_var *pattern_vars;
40
41	/* Pointer to last struct in the chain, so we can add onto the end. */
42
43	static struct pattern_var *last_pattern_var;
44
45	/* Create a new pattern-specific variable struct. */
46
47	struct pattern_var *
48	create_pattern_var (const char target, const char suffix)
49	{
50	register struct pattern_var *p = xmalloc (sizeof (struct pattern_var));
51
52	if (last_pattern_var != 0)
53	last_pattern_var->next = p;
54	else
55	pattern_vars = p;
56	last_pattern_var = p;
57	p->next = 0;
58
59	p->target = target;
60	p->len = strlen (target);
61	p->suffix = suffix + 1;
62
63	return p;
64	}
65
66	/* Look up a target in the pattern-specific variable list. */
67
68	static struct pattern_var *
69	lookup_pattern_var (struct pattern_var start, const char target)
70	{
71	struct pattern_var *p;
72	unsigned int targlen = strlen(target);
73
74	for (p = start ? start->next : pattern_vars; p != 0; p = p->next)
75	{
76	const char *stem;
77	unsigned int stemlen;
78
79	if (p->len > targlen)
80	/* It can't possibly match. */
81	continue;
82
83	/* From the lengths of the filename and the pattern parts,
84	find the stem: the part of the filename that matches the %. */
85	stem = target + (p->suffix - p->target - 1);
86	stemlen = targlen - p->len + 1;
87
88	/* Compare the text in the pattern before the stem, if any. */
89	if (stem > target && !strneq (p->target, target, stem - target))
90	continue;
91
92	/* Compare the text in the pattern after the stem, if any.
93	We could test simply using streq, but this way we compare the
94	first two characters immediately. This saves time in the very
95	common case where the first character matches because it is a
96	period. */
97	if (*p->suffix == stem[stemlen]
98	&& (*p->suffix == '\0' \|\| streq (&p->suffix[1], &stem[stemlen+1])))
99	break;
100	}
101
102	return p;
103	}
104
105
106	/* Hash table of all global variable definitions. */
107
108	#ifdef VARIABLE_HASH
109	# ifdef _MSC_VER
110	# define inline _inline
111	typedef signed int int32_t;
112	typedef signed short int int16_t;
113	# endif
114	static inline unsigned long variable_hash_2i(register const unsigned char *var, register int length)
115	{
116	register unsigned int hash = 0;
117	var += length;
118	switch (length)
119	{
120	default:
121	case 16: hash = *--var + (hash << 6) + (hash << 16) - hash;
122	case 15: hash = *--var + (hash << 6) + (hash << 16) - hash;
123	case 14: hash = *--var + (hash << 6) + (hash << 16) - hash;
124	case 13: hash = *--var + (hash << 6) + (hash << 16) - hash;
125	case 12: hash = *--var + (hash << 6) + (hash << 16) - hash;
126	case 11: hash = *--var + (hash << 6) + (hash << 16) - hash;
127	case 10: hash = *--var + (hash << 6) + (hash << 16) - hash;
128	case 9: hash = *--var + (hash << 6) + (hash << 16) - hash;
129	case 8: hash = *--var + (hash << 6) + (hash << 16) - hash;
130	case 7: hash = *--var + (hash << 6) + (hash << 16) - hash;
131	case 6: hash = *--var + (hash << 6) + (hash << 16) - hash;
132	case 5: hash = *--var + (hash << 6) + (hash << 16) - hash;
133	case 4: hash = *--var + (hash << 6) + (hash << 16) - hash;
134	case 3: hash = *--var + (hash << 6) + (hash << 16) - hash;
135	case 2: hash = *--var + (hash << 6) + (hash << 16) - hash;
136	case 1: hash = *--var + (hash << 6) + (hash << 16) - hash;
137	case 0:
138	break;
139	}
140	return hash;
141	}
142
143	static inline unsigned long variable_hash_1i(register const unsigned char *var, register int length)
144	{
145	register unsigned int hash = ((5381 << 5) + 5381) + *var;
146	switch (length)
147	{
148	default:
149	case 8: hash = ((hash << 5) + hash) + var[7];
150	case 7: hash = ((hash << 5) + hash) + var[6];
151	case 6: hash = ((hash << 5) + hash) + var[5];
152	case 5: hash = ((hash << 5) + hash) + var[4];
153	case 4: hash = ((hash << 5) + hash) + var[3];
154	case 3: hash = ((hash << 5) + hash) + var[2];
155	case 2: hash = ((hash << 5) + hash) + var[1];
156	case 1: return hash;
157	case 0: return 5381; /* shouldn't happen */
158	}
159	}
160	#endif /* CONFIG_WITH_OPTIMIZATION_HACKS */
161
162	static unsigned long
163	variable_hash_1 (const void *keyv)
164	{
165	struct variable const key = (struct variable const ) keyv;
166	#ifdef VARIABLE_HASH /* bird */
167	# ifdef VARIABLE_HASH_STRICT
168	if (key->hash1 != variable_hash_1i (key->name, key->length))
169	__asm__("int3");
170	if (key->hash2 && key->hash2 != variable_hash_2i (key->name, key->length))
171	__asm__("int3");
172	# endif
173	return key->hash1;
174	#else
175	# ifdef CONFIG_WITH_OPTIMIZATION_HACKS
176	return variable_hash_1i (key->name, key->length);
177	# else
178	return_STRING_N_HASH_1 (key->name, key->length);
179	# endif
180	#endif
181	}
182
183	static unsigned long
184	variable_hash_2 (const void *keyv)
185	{
186	#ifdef VARIABLE_HASH /* bird */
187	struct variable key = (struct variable ) keyv;
188	if (!key->hash2)
189	key->hash2 = variable_hash_2i (key->name, key->length);
190	return key->hash2;
191	#else
192	struct variable const key = (struct variable const ) keyv;
193	# ifdef CONFIG_WITH_OPTIMIZATION_HACKS
194	return variable_hash_2i (key->name, key->length);
195	# else
196	return_STRING_N_HASH_2 (key->name, key->length);
197	# endif
198	#endif
199	}
200
201	static int
202	variable_hash_cmp (const void xv, const void yv)
203	{
204	struct variable const x = (struct variable const ) xv;
205	struct variable const y = (struct variable const ) yv;
206	int result = x->length - y->length;
207	if (result)
208	return result;
209	#ifdef VARIABLE_HASH_STRICT /* bird */
210	if (x->hash1 != variable_hash_1i (x->name, x->length))
211	__asm__("int3");
212	if (x->hash2 && x->hash2 != variable_hash_2i (x->name, x->length))
213	__asm__("int3");
214	if (y->hash1 != variable_hash_1i (y->name, y->length))
215	__asm__("int3");
216	if (y->hash2 && y->hash2 != variable_hash_2i (y->name, y->length))
217	__asm__("int3");
218	#endif
219	#ifdef VARIABLE_HASH
220	/* hash 1 */
221	result = x->hash1 - y->hash1;
222	if (result)
223	return result;
224	#endif
225	#ifdef CONFIG_WITH_OPTIMIZATION_HACKS /* bird: speed */
226	{
227	const char *xs = x->name;
228	const char *ys = y->name;
229	switch (x->length)
230	{
231	case 8:
232	result = (int32_t)(xs + 4) - (int32_t)(ys + 4);
233	if (result)
234	return result;
235	return (int32_t)xs - (int32_t)ys;
236	case 7:
237	result = xs[6] - ys[6];
238	if (result)
239	return result;
240	case 6:
241	result = (int32_t)xs - (int32_t)ys;
242	if (result)
243	return result;
244	return (int16_t)(xs + 4) - (int16_t)(ys + 4);
245	case 5:
246	result = xs[4] - ys[4];
247	if (result)
248	return result;
249	case 4:
250	return (int32_t)xs - (int32_t)ys;
251	case 3:
252	result = xs[2] - ys[2];
253	if (result)
254	return result;
255	case 2:
256	return (int16_t)xs - (int16_t)ys;
257	case 1:
258	return xs - ys;
259	case 0:
260	return 0;
261	}
262	}
263	#endif /* CONFIG_WITH_OPTIMIZATION_HACKS */
264	#ifdef VARIABLE_HASH
265	/* hash 2 */
266	if (!x->hash2)
267	((struct variable *)x)->hash2 = variable_hash_2i (x->name, x->length);
268	if (!y->hash2)
269	((struct variable *)y)->hash2 = variable_hash_2i (y->name, y->length);
270	result = x->hash2 - y->hash2;
271	if (result)
272	return result;
273	#endif
274	#ifdef CONFIG_WITH_OPTIMIZATION_HACKS
275	return memcmp (x->name, y->name, x->length);
276	#else
277	return_STRING_N_COMPARE (x->name, y->name, x->length);
278	#endif
279	}
280
281	#ifndef VARIABLE_BUCKETS
282	# ifdef KMK /* Move to Makefile.kmk? */
283	# define VARIABLE_BUCKETS 16384
284	# else /!KMK/
285	#define VARIABLE_BUCKETS 523
286	# endif /!KMK/
287	#endif
288	#ifndef PERFILE_VARIABLE_BUCKETS
289	#define PERFILE_VARIABLE_BUCKETS 23
290	#endif
291	#ifndef SMALL_SCOPE_VARIABLE_BUCKETS
292	#define SMALL_SCOPE_VARIABLE_BUCKETS 13
293	#endif
294
295	static struct variable_set global_variable_set;
296	static struct variable_set_list global_setlist
297	= { 0, &global_variable_set };
298	struct variable_set_list *current_variable_set_list = &global_setlist;
299
300
301	/* Implement variables. */
302
303	void
304	init_hash_global_variable_set (void)
305	{
306	hash_init (&global_variable_set.table, VARIABLE_BUCKETS,
307	variable_hash_1, variable_hash_2, variable_hash_cmp);
308	}
309
310	/* Define variable named NAME with value VALUE in SET. VALUE is copied.
311	LENGTH is the length of NAME, which does not need to be null-terminated.
312	ORIGIN specifies the origin of the variable (makefile, command line
313	or environment).
314	If RECURSIVE is nonzero a flag is set in the variable saying
315	that it should be recursively re-expanded. */
316
317	#ifdef CONFIG_WITH_VALUE_LENGTH
318	struct variable *
319	define_variable_in_set (const char *name, unsigned int length,
320	const char *value, unsigned int value_length, int duplicate_value,
321	enum variable_origin origin, int recursive,
322	struct variable_set set, const struct floc flocp)
323	#else
324	struct variable *
325	define_variable_in_set (const char *name, unsigned int length,
326	const char *value, enum variable_origin origin,
327	int recursive, struct variable_set *set,
328	const struct floc *flocp)
329	#endif
330	{
331	struct variable *v;
332	struct variable **var_slot;
333	struct variable var_key;
334
335	if (set == NULL)
336	set = &global_variable_set;
337
338	var_key.name = (char *) name;
339	var_key.length = length;
340	#ifdef VARIABLE_HASH /* bird */
341	var_key.hash1 = variable_hash_1i (name, length);
342	var_key.hash2 = 0;
343	#endif
344	var_slot = (struct variable **) hash_find_slot (&set->table, &var_key);
345
346	if (env_overrides && origin == o_env)
347	origin = o_env_override;
348
349	v = *var_slot;
350	if (! HASH_VACANT (v))
351	{
352	if (env_overrides && v->origin == o_env)
353	/* V came from in the environment. Since it was defined
354	before the switches were parsed, it wasn't affected by -e. */
355	v->origin = o_env_override;
356
357	/* A variable of this name is already defined.
358	If the old definition is from a stronger source
359	than this one, don't redefine it. */
360	if ((int) origin >= (int) v->origin)
361	{
362	#ifdef CONFIG_WITH_VALUE_LENGTH
363	if (value_length == ~0U)
364	value_length = strlen (value);
365	else
366	assert (value_length == strlen (value));
367	if (!duplicate_value)
368	{
369	if (v->value != 0)
370	free (v->value);
371	v->value = (char *)value;
372	v->value_alloc_len = value_length + 1;
373	}
374	else
375	{
376	if ((unsigned int)v->value_alloc_len <= value_length)
377	{
378	free (v->value);
379	v->value_alloc_len = (value_length + 0x40) & ~0x3f;
380	v->value = xmalloc (v->value_alloc_len);
381	}
382	memcpy (v->value, value, value_length + 1);
383	}
384	v->value_length = value_length;
385	#else
386	if (v->value != 0)
387	free (v->value);
388	v->value = xstrdup (value);
389	#endif
390	if (flocp != 0)
391	v->fileinfo = *flocp;
392	else
393	v->fileinfo.filenm = 0;
394	v->origin = origin;
395	v->recursive = recursive;
396	}
397	return v;
398	}
399
400	/* Create a new variable definition and add it to the hash table. */
401
402	v = xmalloc (sizeof (struct variable));
403	v->name = savestring (name, length);
404	v->length = length;
405	#ifdef VARIABLE_HASH /* bird */
406	v->hash1 = variable_hash_1i (name, length);
407	v->hash2 = 0;
408	#endif
409	hash_insert_at (&set->table, v, var_slot);
410	#ifdef CONFIG_WITH_VALUE_LENGTH
411	if (value_length == ~0U)
412	value_length = strlen (value);
413	else
414	assert (value_length == strlen (value));
415	v->value_length = value_length;
416	if (!duplicate_value)
417	{
418	v->value_alloc_len = value_length + 1;
419	v->value = (char *)value;
420	}
421	else
422	{
423	v->value_alloc_len = (value_length + 32) & ~31;
424	v->value = xmalloc (v->value_alloc_len);
425	memcpy (v->value, value, value_length + 1);
426	}
427	#else
428	v->value = xstrdup (value);
429	#endif
430	if (flocp != 0)
431	v->fileinfo = *flocp;
432	else
433	v->fileinfo.filenm = 0;
434	v->origin = origin;
435	v->recursive = recursive;
436	v->special = 0;
437	v->expanding = 0;
438	v->exp_count = 0;
439	v->per_target = 0;
440	v->append = 0;
441	v->export = v_default;
442
443	v->exportable = 1;
444	if (name != '_' && (name < 'A' \|\| *name > 'Z')
445	&& (name < 'a' \|\| name > 'z'))
446	v->exportable = 0;
447	else
448	{
449	for (++name; *name != '\0'; ++name)
450	if (name != '_' && (name < 'a' \|\| *name > 'z')
451	&& (name < 'A' \|\| name > 'Z') && !ISDIGIT(*name))
452	break;
453
454	if (*name != '\0')
455	v->exportable = 0;
456	}
457
458	return v;
459	}
460
461
462	/* If the variable passed in is "special", handle its special nature.
463	Currently there are two such variables, both used for introspection:
464	.VARIABLES expands to a list of all the variables defined in this instance
465	of make.
466	.TARGETS expands to a list of all the targets defined in this
467	instance of make.
468	Returns the variable reference passed in. */
469
470	#define EXPANSION_INCREMENT(_l) ((((_l) / 500) + 1) * 500)
471
472	static struct variable *
473	handle_special_var (struct variable *var)
474	{
475	static unsigned long last_var_count = 0;
476
477
478	/* This one actually turns out to be very hard, due to the way the parser
479	records targets. The way it works is that target information is collected
480	internally until make knows the target is completely specified. It unitl
481	it sees that some new construct (a new target or variable) is defined that
482	it knows the previous one is done. In short, this means that if you do
483	this:
484
485	all:
486
487	TARGS := $(.TARGETS)
488
489	then $(TARGS) won't contain "all", because it's not until after the
490	variable is created that the previous target is completed.
491
492	Changing this would be a major pain. I think a less complex way to do it
493	would be to pre-define the target files as soon as the first line is
494	parsed, then come back and do the rest of the definition as now. That
495	would allow $(.TARGETS) to be correct without a major change to the way
496	the parser works.
497
498	if (streq (var->name, ".TARGETS"))
499	var->value = build_target_list (var->value);
500	else
501	*/
502
503	if (streq (var->name, ".VARIABLES")
504	&& global_variable_set.table.ht_fill != last_var_count)
505	{
506	unsigned long max = EXPANSION_INCREMENT (strlen (var->value));
507	unsigned long len;
508	char *p;
509	struct variable vp = (struct variable ) global_variable_set.table.ht_vec;
510	struct variable **end = &vp[global_variable_set.table.ht_size];
511
512	/* Make sure we have at least MAX bytes in the allocated buffer. */
513	var->value = xrealloc (var->value, max);
514
515	/* Walk through the hash of variables, constructing a list of names. */
516	p = var->value;
517	len = 0;
518	for (; vp < end; ++vp)
519	if (!HASH_VACANT (*vp))
520	{
521	struct variable v = vp;
522	int l = v->length;
523
524	len += l + 1;
525	if (len > max)
526	{
527	unsigned long off = p - var->value;
528
529	max += EXPANSION_INCREMENT (l + 1);
530	var->value = xrealloc (var->value, max);
531	p = &var->value[off];
532	}
533
534	memcpy (p, v->name, l);
535	p += l;
536	*(p++) = ' ';
537	}
538	*(p-1) = '\0';
539
540	/* Remember how many variables are in our current count. Since we never
541	remove variables from the list, this is a reliable way to know whether
542	the list is up to date or needs to be recomputed. */
543
544	last_var_count = global_variable_set.table.ht_fill;
545	}
546
547	return var;
548	}
549
550
551
552	/* Lookup a variable whose name is a string starting at NAME
553	and with LENGTH chars. NAME need not be null-terminated.
554	Returns address of the `struct variable' containing all info
555	on the variable, or nil if no such variable is defined. */
556
557	struct variable *
558	lookup_variable (const char *name, unsigned int length)
559	{
560	const struct variable_set_list *setlist;
561	struct variable var_key;
562
563	var_key.name = (char *) name;
564	var_key.length = length;
565	#ifdef VARIABLE_HASH /* bird */
566	var_key.hash1 = variable_hash_1i (name, length);
567	var_key.hash2 = 0;
568	#endif
569
570	for (setlist = current_variable_set_list;
571	setlist != 0; setlist = setlist->next)
572	{
573	#ifdef VARIABLE_HASH /* bird: speed */
574	struct hash_table *ht = &setlist->set->table;
575	unsigned int hash_1 = var_key.hash1;
576	struct variable *v;
577
578	ht->ht_lookups++;
579	for (;;)
580	{
581	hash_1 &= (ht->ht_size - 1);
582	v = (struct variable *)ht->ht_vec[hash_1];
583
584	if (v == 0)
585	break;
586	if ((void *)v != hash_deleted_item)
587	{
588	if (variable_hash_cmp(&var_key, v) == 0)
589	{
590	# ifdef VARIABLE_HASH_STRICT /* bird */
591	struct variable v2 = (struct variable ) hash_find_item ((struct hash_table *) &setlist->set->table, &var_key);
592	assert(v2 == v);
593	# endif
594	return v->special ? handle_special_var (v) : v;
595	}
596	ht->ht_collisions++;
597	}
598	if (!var_key.hash2)
599	var_key.hash2 = variable_hash_2i(name, length);
600	hash_1 += (var_key.hash2 \| 1);
601	}
602
603	#else /* !VARIABLE_HASH */
604	const struct variable_set *set = setlist->set;
605	struct variable *v;
606
607	v = (struct variable ) hash_find_item ((struct hash_table ) &set->table, &var_key);
608	if (v)
609	return v->special ? handle_special_var (v) : v;
610	#endif /* !VARIABLE_HASH */
611	}
612
613	#ifdef VMS
614	/* since we don't read envp[] on startup, try to get the
615	variable via getenv() here. */
616	{
617	char *vname = alloca (length + 1);
618	char *value;
619	strncpy (vname, name, length);
620	vname[length] = 0;
621	value = getenv (vname);
622	if (value != 0)
623	{
624	char *sptr;
625	int scnt;
626
627	sptr = value;
628	scnt = 0;
629
630	while ((sptr = strchr (sptr, '$')))
631	{
632	scnt++;
633	sptr++;
634	}
635
636	if (scnt > 0)
637	{
638	char *nvalue;
639	char *nptr;
640
641	nvalue = alloca (strlen (value) + scnt + 1);
642	sptr = value;
643	nptr = nvalue;
644
645	while (*sptr)
646	{
647	if (*sptr == '$')
648	{
649	*nptr++ = '$';
650	*nptr++ = '$';
651	}
652	else
653	{
654	nptr++ = sptr;
655	}
656	sptr++;
657	}
658
659	*nptr = '\0';
660	return define_variable (vname, length, nvalue, o_env, 1);
661
662	}
663
664	return define_variable (vname, length, value, o_env, 1);
665	}
666	}
667	#endif /* VMS */
668
669	return 0;
670	}
671
672
673	/* Lookup a variable whose name is a string starting at NAME
674	and with LENGTH chars in set SET. NAME need not be null-terminated.
675	Returns address of the `struct variable' containing all info
676	on the variable, or nil if no such variable is defined. */
677
678	struct variable *
679	lookup_variable_in_set (const char *name, unsigned int length,
680	const struct variable_set *set)
681	{
682	struct variable var_key;
683
684	var_key.name = (char *) name;
685	var_key.length = length;
686	#ifdef VARIABLE_HASH /* bird */
687	var_key.hash1 = variable_hash_1i (name, length);
688	var_key.hash2 = 0;
689	#endif
690
691	return (struct variable ) hash_find_item ((struct hash_table ) &set->table, &var_key);
692	}
693
694
695	/* Initialize FILE's variable set list. If FILE already has a variable set
696	list, the topmost variable set is left intact, but the the rest of the
697	chain is replaced with FILE->parent's setlist. If FILE is a double-colon
698	rule, then we will use the "root" double-colon target's variable set as the
699	parent of FILE's variable set.
700
701	If we're READING a makefile, don't do the pattern variable search now,
702	since the pattern variable might not have been defined yet. */
703
704	void
705	initialize_file_variables (struct file *file, int reading)
706	{
707	struct variable_set_list *l = file->variables;
708
709	if (l == 0)
710	{
711	l = (struct variable_set_list *)
712	xmalloc (sizeof (struct variable_set_list));
713	l->set = xmalloc (sizeof (struct variable_set));
714	hash_init (&l->set->table, PERFILE_VARIABLE_BUCKETS,
715	variable_hash_1, variable_hash_2, variable_hash_cmp);
716	file->variables = l;
717	}
718
719	/* If this is a double-colon, then our "parent" is the "root" target for
720	this double-colon rule. Since that rule has the same name, parent,
721	etc. we can just use its variables as the "next" for ours. */
722
723	if (file->double_colon && file->double_colon != file)
724	{
725	initialize_file_variables (file->double_colon, reading);
726	l->next = file->double_colon->variables;
727	return;
728	}
729
730	if (file->parent == 0)
731	l->next = &global_setlist;
732	else
733	{
734	initialize_file_variables (file->parent, reading);
735	l->next = file->parent->variables;
736	}
737
738	/* If we're not reading makefiles and we haven't looked yet, see if
739	we can find pattern variables for this target. */
740
741	if (!reading && !file->pat_searched)
742	{
743	struct pattern_var *p;
744
745	p = lookup_pattern_var (0, file->name);
746	if (p != 0)
747	{
748	struct variable_set_list *global = current_variable_set_list;
749
750	/* We found at least one. Set up a new variable set to accumulate
751	all the pattern variables that match this target. */
752
753	file->pat_variables = create_new_variable_set ();
754	current_variable_set_list = file->pat_variables;
755
756	do
757	{
758	/* We found one, so insert it into the set. */
759
760	struct variable *v;
761
762	if (p->variable.flavor == f_simple)
763	{
764	v = define_variable_loc (
765	p->variable.name, strlen (p->variable.name),
766	p->variable.value, p->variable.origin,
767	0, &p->variable.fileinfo);
768
769	v->flavor = f_simple;
770	}
771	else
772	{
773	v = do_variable_definition (
774	&p->variable.fileinfo, p->variable.name,
775	p->variable.value, p->variable.origin,
776	p->variable.flavor, 1);
777	}
778
779	/* Also mark it as a per-target and copy export status. */
780	v->per_target = p->variable.per_target;
781	v->export = p->variable.export;
782	}
783	while ((p = lookup_pattern_var (p, file->name)) != 0);
784
785	current_variable_set_list = global;
786	}
787	file->pat_searched = 1;
788	}
789
790	/* If we have a pattern variable match, set it up. */
791
792	if (file->pat_variables != 0)
793	{
794	file->pat_variables->next = l->next;
795	l->next = file->pat_variables;
796	}
797	}
798
799
800	/* Pop the top set off the current variable set list,
801	and free all its storage. */
802
803	struct variable_set_list *
804	create_new_variable_set (void)
805	{
806	register struct variable_set_list *setlist;
807	register struct variable_set *set;
808
809	set = xmalloc (sizeof (struct variable_set));
810	hash_init (&set->table, SMALL_SCOPE_VARIABLE_BUCKETS,
811	variable_hash_1, variable_hash_2, variable_hash_cmp);
812
813	setlist = (struct variable_set_list *)
814	xmalloc (sizeof (struct variable_set_list));
815	setlist->set = set;
816	setlist->next = current_variable_set_list;
817
818	return setlist;
819	}
820
821	static void
822	free_variable_name_and_value (const void *item)
823	{
824	struct variable v = (struct variable ) item;
825	free (v->name);
826	free (v->value);
827	}
828
829	void
830	free_variable_set (struct variable_set_list *list)
831	{
832	hash_map (&list->set->table, free_variable_name_and_value);
833	hash_free (&list->set->table, 1);
834	free (list->set);
835	free (list);
836	}
837
838	/* Create a new variable set and push it on the current setlist.
839	If we're pushing a global scope (that is, the current scope is the global
840	scope) then we need to "push" it the other way: file variable sets point
841	directly to the global_setlist so we need to replace that with the new one.
842	*/
843
844	struct variable_set_list *
845	push_new_variable_scope (void)
846	{
847	current_variable_set_list = create_new_variable_set();
848	if (current_variable_set_list->next == &global_setlist)
849	{
850	/* It was the global, so instead of new -> &global we want to replace
851	&global with the new one and have &global -> new, with current still
852	pointing to &global */
853	struct variable_set *set = current_variable_set_list->set;
854	current_variable_set_list->set = global_setlist.set;
855	global_setlist.set = set;
856	current_variable_set_list->next = global_setlist.next;
857	global_setlist.next = current_variable_set_list;
858	current_variable_set_list = &global_setlist;
859	}
860	return (current_variable_set_list);
861	}
862
863	void
864	pop_variable_scope (void)
865	{
866	struct variable_set_list *setlist;
867	struct variable_set *set;
868
869	/* Can't call this if there's no scope to pop! */
870	assert(current_variable_set_list->next != NULL);
871
872	if (current_variable_set_list != &global_setlist)
873	{
874	/* We're not pointing to the global setlist, so pop this one. */
875	setlist = current_variable_set_list;
876	set = setlist->set;
877	current_variable_set_list = setlist->next;
878	}
879	else
880	{
881	/* This set is the one in the global_setlist, but there is another global
882	set beyond that. We want to copy that set to global_setlist, then
883	delete what used to be in global_setlist. */
884	setlist = global_setlist.next;
885	set = global_setlist.set;
886	global_setlist.set = setlist->set;
887	global_setlist.next = setlist->next;
888	}
889
890	/* Free the one we no longer need. */
891	free (setlist);
892	hash_map (&set->table, free_variable_name_and_value);
893	hash_free (&set->table, 1);
894	free (set);
895	}
896
897
898	/* Merge FROM_SET into TO_SET, freeing unused storage in FROM_SET. */
899
900	static void
901	merge_variable_sets (struct variable_set *to_set,
902	struct variable_set *from_set)
903	{
904	struct variable from_var_slot = (struct variable ) from_set->table.ht_vec;
905	struct variable **from_var_end = from_var_slot + from_set->table.ht_size;
906
907	for ( ; from_var_slot < from_var_end; from_var_slot++)
908	if (! HASH_VACANT (*from_var_slot))
909	{
910	struct variable from_var = from_var_slot;
911	struct variable **to_var_slot
912	= (struct variable *) hash_find_slot (&to_set->table, from_var_slot);
913	if (HASH_VACANT (*to_var_slot))
914	hash_insert_at (&to_set->table, from_var, to_var_slot);
915	else
916	{
917	/* GKM FIXME: delete in from_set->table */
918	free (from_var->value);
919	free (from_var);
920	}
921	}
922	}
923
924	/* Merge SETLIST1 into SETLIST0, freeing unused storage in SETLIST1. */
925
926	void
927	merge_variable_set_lists (struct variable_set_list **setlist0,
928	struct variable_set_list *setlist1)
929	{
930	struct variable_set_list to = setlist0;
931	struct variable_set_list *last0 = 0;
932
933	/* If there's nothing to merge, stop now. */
934	if (!setlist1)
935	return;
936
937	/* This loop relies on the fact that all setlists terminate with the global
938	setlist (before NULL). If that's not true, arguably we SHOULD die. */
939	if (to)
940	while (setlist1 != &global_setlist && to != &global_setlist)
941	{
942	struct variable_set_list *from = setlist1;
943	setlist1 = setlist1->next;
944
945	merge_variable_sets (to->set, from->set);
946
947	last0 = to;
948	to = to->next;
949	}
950
951	if (setlist1 != &global_setlist)
952	{
953	if (last0 == 0)
954	*setlist0 = setlist1;
955	else
956	last0->next = setlist1;
957	}
958	}
959
960
961	/* Define the automatic variables, and record the addresses
962	of their structures so we can change their values quickly. */
963
964	void
965	define_automatic_variables (void)
966	{
967	#if defined(WINDOWS32) \|\| defined(__EMX__)
968	extern char* default_shell;
969	#else
970	extern char default_shell[];
971	#endif
972	register struct variable *v;
973	char buf[200];
974	#ifdef KMK
975	const char *envvar;
976	#endif
977
978	sprintf (buf, "%u", makelevel);
979	(void) define_variable (MAKELEVEL_NAME, MAKELEVEL_LENGTH, buf, o_env, 0);
980
981	sprintf (buf, "%s%s%s",
982	version_string,
983	(remote_description == 0 \|\| remote_description[0] == '\0')
984	? "" : "-",
985	(remote_description == 0 \|\| remote_description[0] == '\0')
986	? "" : remote_description);
987	(void) define_variable ("MAKE_VERSION", 12, buf, o_default, 0);
988
989	#ifdef KMK
990	/* Define KMK_VERSION to indicate kMk. */
991	(void) define_variable ("KMK_VERSION", 11, buf, o_default, 0);
992
993	/* Define KBUILD_VERSION* */
994	sprintf (buf, "%d", KBUILD_VERSION_MAJOR);
995	define_variable ("KBUILD_VERSION_MAJOR", sizeof ("KBUILD_VERSION_MAJOR") - 1,
996	buf, o_default, 0);
997	sprintf (buf, "%d", KBUILD_VERSION_MINOR);
998	define_variable ("KBUILD_VERSION_MINOR", sizeof("KBUILD_VERSION_MINOR") - 1,
999	buf, o_default, 0);
1000	sprintf (buf, "%d", KBUILD_VERSION_PATCH);
1001	define_variable ("KBUILD_VERSION_PATCH", sizeof ("KBUILD_VERSION_PATCH") - 1,
1002	buf, o_default, 0);
1003
1004	sprintf (buf, "%d.%d.%d", KBUILD_VERSION_MAJOR, KBUILD_VERSION_MINOR, KBUILD_VERSION_PATCH);
1005	define_variable ("KBUILD_VERSION", sizeof ("KBUILD_VERSION") - 1,
1006	buf, o_default, 0);
1007
1008	/* The build platform defaults. */
1009	envvar = getenv ("BUILD_PLATFORM");
1010	if (!envvar)
1011	define_variable ("BUILD_PLATFORM", sizeof ("BUILD_PLATFORM") - 1,
1012	BUILD_PLATFORM, o_default, 0);
1013	envvar = getenv ("BUILD_PLATFORM_ARCH");
1014	if (!envvar)
1015	define_variable ("BUILD_PLATFORM_ARCH", sizeof ("BUILD_PLATFORM_ARCH") - 1,
1016	BUILD_PLATFORM_ARCH, o_default, 0);
1017	envvar = getenv ("BUILD_PLATFORM_CPU");
1018	if (!envvar)
1019	define_variable ("BUILD_PLATFORM_CPU", sizeof ("BUILD_PLATFORM_CPU") - 1,
1020	BUILD_PLATFORM_CPU, o_default, 0);
1021
1022	/* The kBuild locations. */
1023	define_variable ("PATH_KBUILD", sizeof ("PATH_KBUILD") - 1,
1024	get_path_kbuild (), o_default, 0);
1025	define_variable ("PATH_KBUILD_BIN", sizeof ("PATH_KBUILD_BIN") - 1,
1026	get_path_kbuild_bin (), o_default, 0);
1027
1028	/* Define KMK_FEATURES to indicate various working KMK features. */
1029	# if defined(CONFIG_WITH_RSORT) \
1030	&& defined(CONFIG_WITH_ABSPATHEX) \
1031	&& defined(CONFIG_WITH_TOUPPER_TOLOWER) \
1032	&& defined(CONFIG_WITH_VALUE_LENGTH) && defined(CONFIG_WITH_COMPARE) \
1033	&& defined(CONFIG_WITH_STACK) \
1034	&& defined(CONFIG_WITH_MATH) \
1035	&& defined(CONFIG_WITH_XARGS) \
1036	&& defined(CONFIG_WITH_EXPLICIT_MULTITARGET) \
1037	&& defined(CONFIG_WITH_PREPEND_ASSIGNMENT) \
1038	&& defined(KMK_HELPERS)
1039	(void) define_variable ("KMK_FEATURES", 12,
1040	"append-dash-n abspath"
1041	" rsort"
1042	" abspathex"
1043	" toupper tolower"
1044	" comp-vars comp-cmds"
1045	" stack"
1046	" math-int"
1047	" xargs"
1048	" explicit-multitarget"
1049	" prepend-assignment"
1050	" kb-src-tool kb-obj-base kb-obj-suff kb-src-prop kb-src-one "
1051	, o_default, 0);
1052	# else /* MSC can't deal with strings mixed with #if/#endif, thus the slow way. */
1053	# error "All features should be enabled by default!"
1054	strcpy (buf, "append-dash-n abspath");
1055	# if defined (CONFIG_WITH_RSORT)
1056	strcat (buf, " rsort");
1057	# endif
1058	# if defined (CONFIG_WITH_ABSPATHEX)
1059	strcat (buf, " abspathex");
1060	# endif
1061	# if defined (CONFIG_WITH_TOUPPER_TOLOWER)
1062	strcat (buf, " toupper tolower");
1063	# endif
1064	# if defined (CONFIG_WITH_VALUE_LENGTH) && defined(CONFIG_WITH_COMPARE)
1065	strcat (buf, " comp-vars comp-cmds");
1066	# endif
1067	# if defined (CONFIG_WITH_STACK)
1068	strcat (buf, " stack");
1069	# endif
1070	# if defined (CONFIG_WITH_MATH)
1071	strcat (buf, " math-int");
1072	# endif
1073	# if defined (CONFIG_WITH_XARGS)
1074	strcat (buf, " xargs");
1075	# endif
1076	# if defined (CONFIG_WITH_EXPLICIT_MULTITARGET)
1077	strcat (buf, " explicit-multitarget");
1078	# endif
1079	# if defined (CONFIG_WITH_PREPEND_ASSIGNMENT) \
1080	strcat (buf, " prepend-assignment");
1081	# endif
1082	# if defined (KMK_HELPERS)
1083	strcat (buf, " kb-src-tool kb-obj-base kb-obj-suff kb-src-prop kb-src-one");
1084	# endif
1085	(void) define_variable ("KMK_FEATURES", 12, buf, o_default, 0);
1086	# endif
1087
1088	#endif /* KMK */
1089
1090	#ifdef CONFIG_WITH_KMK_BUILTIN
1091	/* The supported kMk Builtin commands. */
1092	(void) define_variable ("KMK_BUILTIN", 11, "append cat cp echo install ln md5sum mkdir mv printf rm rmdir", o_default, 0);
1093	#endif
1094
1095	#ifdef __MSDOS__
1096	/* Allow to specify a special shell just for Make,
1097	and use $COMSPEC as the default $SHELL when appropriate. */
1098	{
1099	static char shell_str[] = "SHELL";
1100	const int shlen = sizeof (shell_str) - 1;
1101	struct variable *mshp = lookup_variable ("MAKESHELL", 9);
1102	struct variable *comp = lookup_variable ("COMSPEC", 7);
1103
1104	/* Make $MAKESHELL override $SHELL even if -e is in effect. */
1105	if (mshp)
1106	(void) define_variable (shell_str, shlen,
1107	mshp->value, o_env_override, 0);
1108	else if (comp)
1109	{
1110	/* $COMSPEC shouldn't override $SHELL. */
1111	struct variable *shp = lookup_variable (shell_str, shlen);
1112
1113	if (!shp)
1114	(void) define_variable (shell_str, shlen, comp->value, o_env, 0);
1115	}
1116	}
1117	#elif defined(__EMX__)
1118	{
1119	static char shell_str[] = "SHELL";
1120	const int shlen = sizeof (shell_str) - 1;
1121	struct variable *shell = lookup_variable (shell_str, shlen);
1122	struct variable *replace = lookup_variable ("MAKESHELL", 9);
1123
1124	/* if $MAKESHELL is defined in the environment assume o_env_override */
1125	if (replace && *replace->value && replace->origin == o_env)
1126	replace->origin = o_env_override;
1127
1128	/* if $MAKESHELL is not defined use $SHELL but only if the variable
1129	did not come from the environment */
1130	if (!replace \|\| !*replace->value)
1131	if (shell && *shell->value && (shell->origin == o_env
1132	\|\| shell->origin == o_env_override))
1133	{
1134	/* overwrite whatever we got from the environment */
1135	free(shell->value);
1136	shell->value = xstrdup (default_shell);
1137	shell->origin = o_default;
1138	}
1139
1140	/* Some people do not like cmd to be used as the default
1141	if $SHELL is not defined in the Makefile.
1142	With -DNO_CMD_DEFAULT you can turn off this behaviour */
1143	# ifndef NO_CMD_DEFAULT
1144	/* otherwise use $COMSPEC */
1145	if (!replace \|\| !*replace->value)
1146	replace = lookup_variable ("COMSPEC", 7);
1147
1148	/* otherwise use $OS2_SHELL */
1149	if (!replace \|\| !*replace->value)
1150	replace = lookup_variable ("OS2_SHELL", 9);
1151	# else
1152	# warning NO_CMD_DEFAULT: GNU make will not use CMD.EXE as default shell
1153	# endif
1154
1155	if (replace && *replace->value)
1156	/* overwrite $SHELL */
1157	(void) define_variable (shell_str, shlen, replace->value,
1158	replace->origin, 0);
1159	else
1160	/* provide a definition if there is none */
1161	(void) define_variable (shell_str, shlen, default_shell,
1162	o_default, 0);
1163	}
1164
1165	#endif
1166
1167	/* This won't override any definition, but it will provide one if there
1168	isn't one there. */
1169	v = define_variable ("SHELL", 5, default_shell, o_default, 0);
1170
1171	/* On MSDOS we do use SHELL from environment, since it isn't a standard
1172	environment variable on MSDOS, so whoever sets it, does that on purpose.
1173	On OS/2 we do not use SHELL from environment but we have already handled
1174	that problem above. */
1175	#if !defined(__MSDOS__) && !defined(__EMX__)
1176	/* Don't let SHELL come from the environment. */
1177	if (*v->value == '\0' \|\| v->origin == o_env \|\| v->origin == o_env_override)
1178	{
1179	free (v->value);
1180	v->origin = o_file;
1181	v->value = xstrdup (default_shell);
1182	#ifdef CONFIG_WITH_VALUE_LENGTH
1183	v->value_length = strlen (v->value);
1184	v->value_alloc_len = v->value_length + 1;
1185	#endif
1186	}
1187	#endif
1188
1189	/* Make sure MAKEFILES gets exported if it is set. */
1190	v = define_variable ("MAKEFILES", 9, "", o_default, 0);
1191	v->export = v_ifset;
1192
1193	/* Define the magic D and F variables in terms of
1194	the automatic variables they are variations of. */
1195
1196	#ifdef VMS
1197	define_variable ("@D", 2, "$(dir $@)", o_automatic, 1);
1198	define_variable ("%D", 2, "$(dir $%)", o_automatic, 1);
1199	define_variable ("D", 2, "$(dir $)", o_automatic, 1);
1200	define_variable ("<D", 2, "$(dir $<)", o_automatic, 1);
1201	define_variable ("?D", 2, "$(dir $?)", o_automatic, 1);
1202	define_variable ("^D", 2, "$(dir $^)", o_automatic, 1);
1203	define_variable ("+D", 2, "$(dir $+)", o_automatic, 1);
1204	#else
1205	define_variable ("@D", 2, "$(patsubst %/,%,$(dir $@))", o_automatic, 1);
1206	define_variable ("%D", 2, "$(patsubst %/,%,$(dir $%))", o_automatic, 1);
1207	define_variable ("D", 2, "$(patsubst %/,%,$(dir $))", o_automatic, 1);
1208	define_variable ("<D", 2, "$(patsubst %/,%,$(dir $<))", o_automatic, 1);
1209	define_variable ("?D", 2, "$(patsubst %/,%,$(dir $?))", o_automatic, 1);
1210	define_variable ("^D", 2, "$(patsubst %/,%,$(dir $^))", o_automatic, 1);
1211	define_variable ("+D", 2, "$(patsubst %/,%,$(dir $+))", o_automatic, 1);
1212	#endif
1213	define_variable ("@F", 2, "$(notdir $@)", o_automatic, 1);
1214	define_variable ("%F", 2, "$(notdir $%)", o_automatic, 1);
1215	define_variable ("F", 2, "$(notdir $)", o_automatic, 1);
1216	define_variable ("<F", 2, "$(notdir $<)", o_automatic, 1);
1217	define_variable ("?F", 2, "$(notdir $?)", o_automatic, 1);
1218	define_variable ("^F", 2, "$(notdir $^)", o_automatic, 1);
1219	define_variable ("+F", 2, "$(notdir $+)", o_automatic, 1);
1220	}
1221
1222
1223	int export_all_variables;
1224
1225	/* Create a new environment for FILE's commands.
1226	If FILE is nil, this is for the `shell' function.
1227	The child's MAKELEVEL variable is incremented. */
1228
1229	char **
1230	target_environment (struct file *file)
1231	{
1232	struct variable_set_list *set_list;
1233	register struct variable_set_list *s;
1234	struct hash_table table;
1235	struct variable **v_slot;
1236	struct variable **v_end;
1237	struct variable makelevel_key;
1238	char **result_0;
1239	char **result;
1240
1241	if (file == 0)
1242	set_list = current_variable_set_list;
1243	else
1244	set_list = file->variables;
1245
1246	hash_init (&table, VARIABLE_BUCKETS,
1247	variable_hash_1, variable_hash_2, variable_hash_cmp);
1248
1249	/* Run through all the variable sets in the list,
1250	accumulating variables in TABLE. */
1251	for (s = set_list; s != 0; s = s->next)
1252	{
1253	struct variable_set *set = s->set;
1254	v_slot = (struct variable **) set->table.ht_vec;
1255	v_end = v_slot + set->table.ht_size;
1256	for ( ; v_slot < v_end; v_slot++)
1257	if (! HASH_VACANT (*v_slot))
1258	{
1259	struct variable **new_slot;
1260	struct variable v = v_slot;
1261
1262	/* If this is a per-target variable and it hasn't been touched
1263	already then look up the global version and take its export
1264	value. */
1265	if (v->per_target && v->export == v_default)
1266	{
1267	struct variable *gv;
1268
1269	gv = lookup_variable_in_set (v->name, strlen(v->name),
1270	&global_variable_set);
1271	if (gv)
1272	v->export = gv->export;
1273	}
1274
1275	switch (v->export)
1276	{
1277	case v_default:
1278	if (v->origin == o_default \|\| v->origin == o_automatic)
1279	/* Only export default variables by explicit request. */
1280	continue;
1281
1282	/* The variable doesn't have a name that can be exported. */
1283	if (! v->exportable)
1284	continue;
1285
1286	if (! export_all_variables
1287	&& v->origin != o_command
1288	&& v->origin != o_env && v->origin != o_env_override)
1289	continue;
1290	break;
1291
1292	case v_export:
1293	break;
1294
1295	case v_noexport:
1296	/* If this is the SHELL variable and it's not exported, then
1297	add the value from our original environment. */
1298	if (streq (v->name, "SHELL"))
1299	{
1300	extern struct variable shell_var;
1301	v = &shell_var;
1302	break;
1303	}
1304	continue;
1305
1306	case v_ifset:
1307	if (v->origin == o_default)
1308	continue;
1309	break;
1310	}
1311
1312	new_slot = (struct variable **) hash_find_slot (&table, v);
1313	if (HASH_VACANT (*new_slot))
1314	hash_insert_at (&table, v, new_slot);
1315	}
1316	}
1317
1318	makelevel_key.name = MAKELEVEL_NAME;
1319	makelevel_key.length = MAKELEVEL_LENGTH;
1320	#ifdef VARIABLE_HASH /* bird */
1321	makelevel_key.hash1 = variable_hash_1i (MAKELEVEL_NAME, MAKELEVEL_LENGTH);
1322	makelevel_key.hash2 = 0;
1323	#endif
1324	hash_delete (&table, &makelevel_key);
1325
1326	result = result_0 = xmalloc ((table.ht_fill + 2) * sizeof (char *));
1327
1328	v_slot = (struct variable **) table.ht_vec;
1329	v_end = v_slot + table.ht_size;
1330	for ( ; v_slot < v_end; v_slot++)
1331	if (! HASH_VACANT (*v_slot))
1332	{
1333	struct variable v = v_slot;
1334
1335	/* If V is recursively expanded and didn't come from the environment,
1336	expand its value. If it came from the environment, it should
1337	go back into the environment unchanged. */
1338	if (v->recursive
1339	&& v->origin != o_env && v->origin != o_env_override)
1340	{
1341	char *value = recursively_expand_for_file (v, file);
1342	#ifdef WINDOWS32
1343	if (strcmp(v->name, "Path") == 0 \|\|
1344	strcmp(v->name, "PATH") == 0)
1345	convert_Path_to_windows32(value, ';');
1346	#endif
1347	*result++ = xstrdup (concat (v->name, "=", value));
1348	free (value);
1349	}
1350	else
1351	{
1352	#ifdef WINDOWS32
1353	if (strcmp(v->name, "Path") == 0 \|\|
1354	strcmp(v->name, "PATH") == 0)
1355	convert_Path_to_windows32(v->value, ';');
1356	#endif
1357	*result++ = xstrdup (concat (v->name, "=", v->value));
1358	}
1359	}
1360
1361	*result = xmalloc (100);
1362	sprintf (*result, "%s=%u", MAKELEVEL_NAME, makelevel + 1);
1363	*++result = 0;
1364
1365	hash_free (&table, 0);
1366
1367	return result_0;
1368	}
1369
1370
1371	#ifdef CONFIG_WITH_VALUE_LENGTH
1372	static struct variable *
1373	do_variable_definition_append (const struct floc flocp, struct variable v, const char *value,
1374	enum variable_origin origin, int append)
1375	{
1376	if (env_overrides && origin == o_env)
1377	origin = o_env_override;
1378
1379	if (env_overrides && v->origin == o_env)
1380	/* V came from in the environment. Since it was defined
1381	before the switches were parsed, it wasn't affected by -e. */
1382	v->origin = o_env_override;
1383
1384	/* A variable of this name is already defined.
1385	If the old definition is from a stronger source
1386	than this one, don't redefine it. */
1387	if ((int) origin < (int) v->origin)
1388	return v;
1389	v->origin = origin;
1390
1391	/* location */
1392	if (flocp != 0)
1393	v->fileinfo = *flocp;
1394
1395	/* The juicy bits, append the specified value to the variable
1396	This is a heavily exercised code path in kBuild. */
1397	if (v->recursive)
1398	{
1399	/* The previous definition of the variable was recursive.
1400	The new value is the unexpanded old and new values. */
1401	unsigned int value_len = strlen (value);
1402	unsigned int new_value_len = value_len + (v->value_length != 0 ? 1 + v->value_length : 0);
1403	int done_1st_prepend_copy = 0;
1404
1405	/* adjust the size. */
1406	if ((unsigned)v->value_alloc_len <= new_value_len)
1407	{
1408	v->value_alloc_len *= 2;
1409	if (v->value_alloc_len < new_value_len)
1410	v->value_alloc_len = (new_value_len + value_len + 0x7f) + ~0x7fU;
1411	if (append \|\| !v->value_length)
1412	v->value = xrealloc (v->value, v->value_alloc_len);
1413	else
1414	{
1415	/* avoid the extra memcpy the xrealloc may have to do */
1416	char *new_buf = xmalloc (v->value_alloc_len);
1417	memcpy (&new_buf[value_len + 1], v->value, v->value_length + 1);
1418	done_1st_prepend_copy = 1;
1419	free (v->value);
1420	v->value = new_buf;
1421	}
1422	}
1423
1424	/* insert the new bits */
1425	if (v->value_length != 0)
1426	{
1427	if (append)
1428	{
1429	v->value[v->value_length] = ' ';
1430	memcpy (&v->value[v->value_length + 1], value, value_len + 1);
1431	}
1432	else
1433	{
1434	if (!done_1st_prepend_copy)
1435	memmove (&v->value[value_len + 1], v->value, v->value_length + 1);
1436	v->value[value_len] = ' ';
1437	memcpy (v->value, value, value_len);
1438	}
1439	}
1440	else
1441	memcpy (v->value, value, value_len + 1);
1442	v->value_length = new_value_len;
1443	}
1444	else
1445	{
1446	/* The previous definition of the variable was simple.
1447	The new value comes from the old value, which was expanded
1448	when it was set; and from the expanded new value. */
1449	append_expanded_string_to_variable(v, value);
1450	}
1451
1452	/* update the variable */
1453	return v;
1454	}
1455	#endif /* CONFIG_WITH_VALUE_LENGTH */
1456
1457
1458	/* Given a variable, a value, and a flavor, define the variable.
1459	See the try_variable_definition() function for details on the parameters. */
1460
1461	struct variable *
1462	do_variable_definition (const struct floc flocp, const char varname,
1463	const char *value, enum variable_origin origin,
1464	enum variable_flavor flavor, int target_var)
1465	{
1466	const char *p;
1467	char *alloc_value = NULL;
1468	struct variable *v;
1469	int append = 0;
1470	int conditional = 0;
1471	const size_t varname_len = strlen (varname); /* bird */
1472	#ifdef CONFIG_WITH_VALUE_LENGTH
1473	unsigned int value_len = ~0U;
1474	#endif
1475
1476	/* Calculate the variable's new value in VALUE. */
1477
1478	switch (flavor)
1479	{
1480	default:
1481	case f_bogus:
1482	/* Should not be possible. */
1483	abort ();
1484	case f_simple:
1485	/* A simple variable definition "var := value". Expand the value.
1486	We have to allocate memory since otherwise it'll clobber the
1487	variable buffer, and we may still need that if we're looking at a
1488	target-specific variable. */
1489	p = alloc_value = allocated_variable_expand (value);
1490	break;
1491	case f_conditional:
1492	/* A conditional variable definition "var ?= value".
1493	The value is set IFF the variable is not defined yet. */
1494	v = lookup_variable (varname, varname_len);
1495	if (v)
1496	return v;
1497
1498	conditional = 1;
1499	flavor = f_recursive;
1500	/* FALLTHROUGH */
1501	case f_recursive:
1502	/* A recursive variable definition "var = value".
1503	The value is used verbatim. */
1504	p = value;
1505	break;
1506	#ifdef CONFIG_WITH_PREPEND_ASSIGNMENT
1507	case f_append:
1508	case f_prepend:
1509	{
1510	const enum variable_flavor org_flavor = flavor;
1511	#else
1512	case f_append:
1513	{
1514	#endif
1515
1516	/* If we have += but we're in a target variable context, we want to
1517	append only with other variables in the context of this target. */
1518	if (target_var)
1519	{
1520	append = 1;
1521	v = lookup_variable_in_set (varname, varname_len,
1522	current_variable_set_list->set);
1523
1524	/* Don't append from the global set if a previous non-appending
1525	target-specific variable definition exists. */
1526	if (v && !v->append)
1527	append = 0;
1528	}
1529	else
1530	v = lookup_variable (varname, varname_len);
1531
1532	if (v == 0)
1533	{
1534	/* There was no old value.
1535	This becomes a normal recursive definition. */
1536	p = value;
1537	flavor = f_recursive;
1538	}
1539	else
1540	{
1541	#ifdef CONFIG_WITH_VALUE_LENGTH
1542	v->append = append;
1543	# ifdef CONFIG_WITH_PREPEND_ASSIGNMENT
1544	return do_variable_definition_append (flocp, v, value, origin, org_flavor == f_append);
1545	# else
1546	return do_variable_definition_append (flocp, v, value, origin, 1);
1547	# endif
1548	#else /* !CONFIG_WITH_VALUE_LENGTH */
1549
1550	/* Paste the old and new values together in VALUE. */
1551
1552	unsigned int oldlen, vallen;
1553	const char *val;
1554	char *tp;
1555
1556	val = value;
1557	if (v->recursive)
1558	/* The previous definition of the variable was recursive.
1559	The new value is the unexpanded old and new values. */
1560	flavor = f_recursive;
1561	else
1562	/* The previous definition of the variable was simple.
1563	The new value comes from the old value, which was expanded
1564	when it was set; and from the expanded new value. Allocate
1565	memory for the expansion as we may still need the rest of the
1566	buffer if we're looking at a target-specific variable. */
1567	val = alloc_value = allocated_variable_expand (val);
1568
1569	oldlen = strlen (v->value);
1570	vallen = strlen (val);
1571	tp = alloca (oldlen + 1 + vallen + 1);
1572	# ifdef CONFIG_WITH_PREPEND_ASSIGNMENT
1573	if (org_flavor == f_prepend)
1574	{
1575	memcpy (tp, val, vallen);
1576	tp[oldlen] = ' ';
1577	memcpy (&tp[oldlen + 1], v->value, oldlen + 1);
1578	}
1579	else
1580	# endif /* CONFIG_WITH_PREPEND_ASSIGNMENT */
1581	{
1582	memcpy (tp, v->value, oldlen);
1583	tp[oldlen] = ' ';
1584	memcpy (&tp[oldlen + 1], val, vallen + 1);
1585	}
1586	p = tp;
1587	#endif /* !CONFIG_WITH_VALUE_LENGTH */
1588	}
1589	}
1590	}
1591
1592	#ifdef __MSDOS__
1593	/* Many Unix Makefiles include a line saying "SHELL=/bin/sh", but
1594	non-Unix systems don't conform to this default configuration (in
1595	fact, most of them don't even have `/bin'). On the other hand,
1596	$SHELL in the environment, if set, points to the real pathname of
1597	the shell.
1598	Therefore, we generally won't let lines like "SHELL=/bin/sh" from
1599	the Makefile override $SHELL from the environment. But first, we
1600	look for the basename of the shell in the directory where SHELL=
1601	points, and along the $PATH; if it is found in any of these places,
1602	we define $SHELL to be the actual pathname of the shell. Thus, if
1603	you have bash.exe installed as d:/unix/bash.exe, and d:/unix is on
1604	your $PATH, then SHELL=/usr/local/bin/bash will have the effect of
1605	defining SHELL to be "d:/unix/bash.exe". */
1606	if ((origin == o_file \|\| origin == o_override)
1607	&& strcmp (varname, "SHELL") == 0)
1608	{
1609	PATH_VAR (shellpath);
1610	extern char * __dosexec_find_on_path (const char , char [], char *);
1611
1612	/* See if we can find "/bin/sh.exe", "/bin/sh.com", etc. */
1613	if (__dosexec_find_on_path (p, NULL, shellpath))
1614	{
1615	char *tp;
1616
1617	for (tp = shellpath; *tp; tp++)
1618	if (*tp == '\\')
1619	*tp = '/';
1620
1621	v = define_variable_loc (varname, varname_len,
1622	shellpath, origin, flavor == f_recursive,
1623	flocp);
1624	}
1625	else
1626	{
1627	const char shellbase, bslash;
1628	struct variable *pathv = lookup_variable ("PATH", 4);
1629	char *path_string;
1630	char *fake_env[2];
1631	size_t pathlen = 0;
1632
1633	shellbase = strrchr (p, '/');
1634	bslash = strrchr (p, '\\');
1635	if (!shellbase \|\| bslash > shellbase)
1636	shellbase = bslash;
1637	if (!shellbase && p[1] == ':')
1638	shellbase = p + 1;
1639	if (shellbase)
1640	shellbase++;
1641	else
1642	shellbase = p;
1643
1644	/* Search for the basename of the shell (with standard
1645	executable extensions) along the $PATH. */
1646	if (pathv)
1647	pathlen = strlen (pathv->value);
1648	path_string = xmalloc (5 + pathlen + 2 + 1);
1649	/* On MSDOS, current directory is considered as part of $PATH. */
1650	sprintf (path_string, "PATH=.;%s", pathv ? pathv->value : "");
1651	fake_env[0] = path_string;
1652	fake_env[1] = 0;
1653	if (__dosexec_find_on_path (shellbase, fake_env, shellpath))
1654	{
1655	char *tp;
1656
1657	for (tp = shellpath; *tp; tp++)
1658	if (*tp == '\\')
1659	*tp = '/';
1660
1661	v = define_variable_loc (varname, varname_len,
1662	shellpath, origin,
1663	flavor == f_recursive, flocp);
1664	}
1665	else
1666	v = lookup_variable (varname, varname_len);
1667
1668	free (path_string);
1669	}
1670	}
1671	else
1672	#endif /* __MSDOS__ */
1673	#ifdef WINDOWS32
1674	if ( varname_len == sizeof("SHELL") - 1 /* bird */
1675	&& (origin == o_file \|\| origin == o_override \|\| origin == o_command)
1676	&& streq (varname, "SHELL"))
1677	{
1678	extern char *default_shell;
1679
1680	/* Call shell locator function. If it returns TRUE, then
1681	set no_default_sh_exe to indicate sh was found and
1682	set new value for SHELL variable. */
1683
1684	if (find_and_set_default_shell (p))
1685	{
1686	v = define_variable_in_set (varname, varname_len, default_shell,
1687	# ifdef CONFIG_WITH_VALUE_LENGTH
1688	~0U, 1 /* duplicate_value */,
1689	# endif
1690	origin, flavor == f_recursive,
1691	(target_var
1692	? current_variable_set_list->set
1693	: NULL),
1694	flocp);
1695	no_default_sh_exe = 0;
1696	}
1697	else
1698	v = lookup_variable (varname, varname_len);
1699	# ifdef CONFIG_WITH_VALUE_LENGTH
1700	if (alloc_value)
1701	free (alloc_value);
1702	# endif
1703	}
1704	else
1705	#endif
1706
1707	/* If we are defining variables inside an $(eval ...), we might have a
1708	different variable context pushed, not the global context (maybe we're
1709	inside a $(call ...) or something. Since this function is only ever
1710	invoked in places where we want to define globally visible variables,
1711	make sure we define this variable in the global set. */
1712
1713	v = define_variable_in_set (varname, varname_len, p,
1714	#ifdef CONFIG_WITH_VALUE_LENGTH
1715	value_len, !alloc_value,
1716	#endif
1717	origin, flavor == f_recursive,
1718	(target_var
1719	? current_variable_set_list->set : NULL),
1720	flocp);
1721	v->append = append;
1722	v->conditional = conditional;
1723
1724	#ifndef CONFIG_WITH_VALUE_LENGTH
1725	if (alloc_value)
1726	free (alloc_value);
1727	#endif
1728
1729	return v;
1730	}
1731
1732
1733	/* Try to interpret LINE (a null-terminated string) as a variable definition.
1734
1735	ORIGIN may be o_file, o_override, o_env, o_env_override,
1736	or o_command specifying that the variable definition comes
1737	from a makefile, an override directive, the environment with
1738	or without the -e switch, or the command line.
1739
1740	See the comments for parse_variable_definition().
1741
1742	If LINE was recognized as a variable definition, a pointer to its `struct
1743	variable' is returned. If LINE is not a variable definition, NULL is
1744	returned. */
1745
1746	struct variable *
1747	parse_variable_definition (struct variable v, char line)
1748	{
1749	register int c;
1750	register char *p = line;
1751	register char *beg;
1752	register char *end;
1753	enum variable_flavor flavor = f_bogus;
1754	char *name;
1755
1756	while (1)
1757	{
1758	c = *p++;
1759	if (c == '\0' \|\| c == '#')
1760	return 0;
1761	if (c == '=')
1762	{
1763	end = p - 1;
1764	flavor = f_recursive;
1765	break;
1766	}
1767	else if (c == ':')
1768	if (*p == '=')
1769	{
1770	end = p++ - 1;
1771	flavor = f_simple;
1772	break;
1773	}
1774	else
1775	/* A colon other than := is a rule line, not a variable defn. */
1776	return 0;
1777	else if (c == '+' && *p == '=')
1778	{
1779	end = p++ - 1;
1780	flavor = f_append;
1781	break;
1782	}
1783	#ifdef CONFIG_WITH_PREPEND_ASSIGNMENT
1784	else if (c == '<' && *p == '=')
1785	{
1786	end = p++ - 1;
1787	flavor = f_prepend;
1788	break;
1789	}
1790	#endif
1791	else if (c == '?' && *p == '=')
1792	{
1793	end = p++ - 1;
1794	flavor = f_conditional;
1795	break;
1796	}
1797	else if (c == '$')
1798	{
1799	/* This might begin a variable expansion reference. Make sure we
1800	don't misrecognize chars inside the reference as =, := or +=. */
1801	char closeparen;
1802	int count;
1803	c = *p++;
1804	if (c == '(')
1805	closeparen = ')';
1806	else if (c == '{')
1807	closeparen = '}';
1808	else
1809	continue; /* Nope. */
1810
1811	/* P now points past the opening paren or brace.
1812	Count parens or braces until it is matched. */
1813	count = 0;
1814	for (; *p != '\0'; ++p)
1815	{
1816	if (*p == c)
1817	++count;
1818	else if (*p == closeparen && --count < 0)
1819	{
1820	++p;
1821	break;
1822	}
1823	}
1824	}
1825	}
1826	v->flavor = flavor;
1827
1828	beg = next_token (line);
1829	while (end > beg && isblank ((unsigned char)end[-1]))
1830	--end;
1831	p = next_token (p);
1832	v->value = p;
1833	#ifdef CONFIG_WITH_VALUE_LENGTH
1834	v->value_length = v->value_alloc_len = -1;
1835	#endif
1836
1837	/* Expand the name, so "$(foo)bar = baz" works. */
1838	name = alloca (end - beg + 1);
1839	memcpy (name, beg, end - beg);
1840	name[end - beg] = '\0';
1841	v->name = allocated_variable_expand (name);
1842
1843	if (v->name[0] == '\0')
1844	fatal (&v->fileinfo, _("empty variable name"));
1845
1846	return v;
1847	}
1848
1849
1850	/* Try to interpret LINE (a null-terminated string) as a variable definition.
1851
1852	ORIGIN may be o_file, o_override, o_env, o_env_override,
1853	or o_command specifying that the variable definition comes
1854	from a makefile, an override directive, the environment with
1855	or without the -e switch, or the command line.
1856
1857	See the comments for parse_variable_definition().
1858
1859	If LINE was recognized as a variable definition, a pointer to its `struct
1860	variable' is returned. If LINE is not a variable definition, NULL is
1861	returned. */
1862
1863	struct variable *
1864	try_variable_definition (const struct floc flocp, char line,
1865	enum variable_origin origin, int target_var)
1866	{
1867	struct variable v;
1868	struct variable *vp;
1869
1870	if (flocp != 0)
1871	v.fileinfo = *flocp;
1872	else
1873	v.fileinfo.filenm = 0;
1874
1875	if (!parse_variable_definition (&v, line))
1876	return 0;
1877
1878	vp = do_variable_definition (flocp, v.name, v.value,
1879	origin, v.flavor, target_var);
1880
1881	free (v.name);
1882
1883	return vp;
1884	}
1885
1886
1887	/* Print information for variable V, prefixing it with PREFIX. */
1888
1889	static void
1890	print_variable (const void item, void arg)
1891	{
1892	const struct variable *v = item;
1893	const char *prefix = arg;
1894	const char *origin;
1895
1896	switch (v->origin)
1897	{
1898	case o_default:
1899	origin = _("default");
1900	break;
1901	case o_env:
1902	origin = _("environment");
1903	break;
1904	case o_file:
1905	origin = _("makefile");
1906	break;
1907	case o_env_override:
1908	origin = _("environment under -e");
1909	break;
1910	case o_command:
1911	origin = _("command line");
1912	break;
1913	case o_override:
1914	origin = _("`override' directive");
1915	break;
1916	case o_automatic:
1917	origin = _("automatic");
1918	break;
1919	case o_invalid:
1920	default:
1921	abort ();
1922	}
1923	fputs ("# ", stdout);
1924	fputs (origin, stdout);
1925	if (v->fileinfo.filenm)
1926	printf (_(" (from `%s', line %lu)"),
1927	v->fileinfo.filenm, v->fileinfo.lineno);
1928	putchar ('\n');
1929	fputs (prefix, stdout);
1930
1931	/* Is this a `define'? */
1932	if (v->recursive && strchr (v->value, '\n') != 0)
1933	printf ("define %s\n%s\nendef\n", v->name, v->value);
1934	else
1935	{
1936	register char *p;
1937
1938	printf ("%s %s= ", v->name, v->recursive ? v->append ? "+" : "" : ":");
1939
1940	/* Check if the value is just whitespace. */
1941	p = next_token (v->value);
1942	if (p != v->value && *p == '\0')
1943	/* All whitespace. */
1944	printf ("$(subst ,,%s)", v->value);
1945	else if (v->recursive)
1946	fputs (v->value, stdout);
1947	else
1948	/* Double up dollar signs. */
1949	for (p = v->value; *p != '\0'; ++p)
1950	{
1951	if (*p == '$')
1952	putchar ('$');
1953	putchar (*p);
1954	}
1955	putchar ('\n');
1956	}
1957	}
1958
1959
1960	/* Print all the variables in SET. PREFIX is printed before
1961	the actual variable definitions (everything else is comments). */
1962
1963	void
1964	print_variable_set (struct variable_set set, char prefix)
1965	{
1966	hash_map_arg (&set->table, print_variable, prefix);
1967
1968	fputs (_("# variable set hash-table stats:\n"), stdout);
1969	fputs ("# ", stdout);
1970	hash_print_stats (&set->table, stdout);
1971	putc ('\n', stdout);
1972	}
1973
1974	/* Print the data base of variables. */
1975
1976	void
1977	print_variable_data_base (void)
1978	{
1979	puts (_("\n# Variables\n"));
1980
1981	print_variable_set (&global_variable_set, "");
1982
1983	puts (_("\n# Pattern-specific Variable Values"));
1984
1985	{
1986	struct pattern_var *p;
1987	int rules = 0;
1988
1989	for (p = pattern_vars; p != 0; p = p->next)
1990	{
1991	++rules;
1992	printf ("\n%s :\n", p->target);
1993	print_variable (&p->variable, "# ");
1994	}
1995
1996	if (rules == 0)
1997	puts (_("\n# No pattern-specific variable values."));
1998	else
1999	printf (_("\n# %u pattern-specific variable values"), rules);
2000	}
2001	}
2002
2003
2004	/* Print all the local variables of FILE. */
2005
2006	void
2007	print_file_variables (const struct file *file)
2008	{
2009	if (file->variables != 0)
2010	print_variable_set (file->variables->set, "# ");
2011	}
2012
2013	#ifdef WINDOWS32
2014	void
2015	sync_Path_environment (void)
2016	{
2017	char *path = allocated_variable_expand ("$(PATH)");
2018	static char *environ_path = NULL;
2019
2020	if (!path)
2021	return;
2022
2023	/*
2024	* If done this before, don't leak memory unnecessarily.
2025	* Free the previous entry before allocating new one.
2026	*/
2027	if (environ_path)
2028	free (environ_path);
2029
2030	/*
2031	* Create something WINDOWS32 world can grok
2032	*/
2033	convert_Path_to_windows32 (path, ';');
2034	environ_path = xstrdup (concat ("PATH", "=", path));
2035	putenv (environ_path);
2036	free (path);
2037	}
2038	#endif

Note: See TracBrowser for help on using the repository browser.

source: kBuild/trunk/src/kmk/variable.c@ 1107

Download in other formats: