]> CyberLeo.Net >> Repos - FreeBSD/stable/10.git/blob - contrib/bmake/suff.c
MFC r368207,368607:
[FreeBSD/stable/10.git] / contrib / bmake / suff.c
1 /*      $NetBSD: suff.c,v 1.86 2017/04/16 20:38:18 riastradh Exp $      */
2
3 /*
4  * Copyright (c) 1988, 1989, 1990, 1993
5  *      The Regents of the University of California.  All rights reserved.
6  *
7  * This code is derived from software contributed to Berkeley by
8  * Adam de Boor.
9  *
10  * Redistribution and use in source and binary forms, with or without
11  * modification, are permitted provided that the following conditions
12  * are met:
13  * 1. Redistributions of source code must retain the above copyright
14  *    notice, this list of conditions and the following disclaimer.
15  * 2. Redistributions in binary form must reproduce the above copyright
16  *    notice, this list of conditions and the following disclaimer in the
17  *    documentation and/or other materials provided with the distribution.
18  * 3. Neither the name of the University nor the names of its contributors
19  *    may be used to endorse or promote products derived from this software
20  *    without specific prior written permission.
21  *
22  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32  * SUCH DAMAGE.
33  */
34
35 /*
36  * Copyright (c) 1989 by Berkeley Softworks
37  * All rights reserved.
38  *
39  * This code is derived from software contributed to Berkeley by
40  * Adam de Boor.
41  *
42  * Redistribution and use in source and binary forms, with or without
43  * modification, are permitted provided that the following conditions
44  * are met:
45  * 1. Redistributions of source code must retain the above copyright
46  *    notice, this list of conditions and the following disclaimer.
47  * 2. Redistributions in binary form must reproduce the above copyright
48  *    notice, this list of conditions and the following disclaimer in the
49  *    documentation and/or other materials provided with the distribution.
50  * 3. All advertising materials mentioning features or use of this software
51  *    must display the following acknowledgement:
52  *      This product includes software developed by the University of
53  *      California, Berkeley and its contributors.
54  * 4. Neither the name of the University nor the names of its contributors
55  *    may be used to endorse or promote products derived from this software
56  *    without specific prior written permission.
57  *
58  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
59  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
60  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
61  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
62  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
63  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
64  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
65  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
66  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
67  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
68  * SUCH DAMAGE.
69  */
70
71 #ifndef MAKE_NATIVE
72 static char rcsid[] = "$NetBSD: suff.c,v 1.86 2017/04/16 20:38:18 riastradh Exp $";
73 #else
74 #include <sys/cdefs.h>
75 #ifndef lint
76 #if 0
77 static char sccsid[] = "@(#)suff.c      8.4 (Berkeley) 3/21/94";
78 #else
79 __RCSID("$NetBSD: suff.c,v 1.86 2017/04/16 20:38:18 riastradh Exp $");
80 #endif
81 #endif /* not lint */
82 #endif
83
84 /*-
85  * suff.c --
86  *      Functions to maintain suffix lists and find implicit dependents
87  *      using suffix transformation rules
88  *
89  * Interface:
90  *      Suff_Init               Initialize all things to do with suffixes.
91  *
92  *      Suff_End                Cleanup the module
93  *
94  *      Suff_DoPaths            This function is used to make life easier
95  *                              when searching for a file according to its
96  *                              suffix. It takes the global search path,
97  *                              as defined using the .PATH: target, and appends
98  *                              its directories to the path of each of the
99  *                              defined suffixes, as specified using
100  *                              .PATH<suffix>: targets. In addition, all
101  *                              directories given for suffixes labeled as
102  *                              include files or libraries, using the .INCLUDES
103  *                              or .LIBS targets, are played with using
104  *                              Dir_MakeFlags to create the .INCLUDES and
105  *                              .LIBS global variables.
106  *
107  *      Suff_ClearSuffixes      Clear out all the suffixes and defined
108  *                              transformations.
109  *
110  *      Suff_IsTransform        Return TRUE if the passed string is the lhs
111  *                              of a transformation rule.
112  *
113  *      Suff_AddSuffix          Add the passed string as another known suffix.
114  *
115  *      Suff_GetPath            Return the search path for the given suffix.
116  *
117  *      Suff_AddInclude         Mark the given suffix as denoting an include
118  *                              file.
119  *
120  *      Suff_AddLib             Mark the given suffix as denoting a library.
121  *
122  *      Suff_AddTransform       Add another transformation to the suffix
123  *                              graph. Returns  GNode suitable for framing, I
124  *                              mean, tacking commands, attributes, etc. on.
125  *
126  *      Suff_SetNull            Define the suffix to consider the suffix of
127  *                              any file that doesn't have a known one.
128  *
129  *      Suff_FindDeps           Find implicit sources for and the location of
130  *                              a target based on its suffix. Returns the
131  *                              bottom-most node added to the graph or NULL
132  *                              if the target had no implicit sources.
133  *
134  *      Suff_FindPath           Return the appropriate path to search in
135  *                              order to find the node.
136  */
137
138 #include          <assert.h>
139 #include          <stdio.h>
140 #include          "make.h"
141 #include          "hash.h"
142 #include          "dir.h"
143
144 static Lst       sufflist;      /* Lst of suffixes */
145 #ifdef CLEANUP
146 static Lst       suffClean;     /* Lst of suffixes to be cleaned */
147 #endif
148 static Lst       srclist;       /* Lst of sources */
149 static Lst       transforms;    /* Lst of transformation rules */
150
151 static int        sNum = 0;     /* Counter for assigning suffix numbers */
152
153 /*
154  * Structure describing an individual suffix.
155  */
156 typedef struct _Suff {
157     char         *name;         /* The suffix itself */
158     int          nameLen;       /* Length of the suffix */
159     short        flags;         /* Type of suffix */
160 #define SUFF_INCLUDE      0x01      /* One which is #include'd */
161 #define SUFF_LIBRARY      0x02      /* One which contains a library */
162 #define SUFF_NULL         0x04      /* The empty suffix */
163     Lst          searchPath;    /* The path along which files of this suffix
164                                  * may be found */
165     int          sNum;          /* The suffix number */
166     int          refCount;      /* Reference count of list membership */
167     Lst          parents;       /* Suffixes we have a transformation to */
168     Lst          children;      /* Suffixes we have a transformation from */
169     Lst          ref;           /* List of lists this suffix is referenced */
170 } Suff;
171
172 /*
173  * for SuffSuffIsSuffix
174  */
175 typedef struct {
176     char        *ename;         /* The end of the name */
177     int          len;           /* Length of the name */
178 } SuffixCmpData;
179
180 /*
181  * Structure used in the search for implied sources.
182  */
183 typedef struct _Src {
184     char            *file;      /* The file to look for */
185     char            *pref;      /* Prefix from which file was formed */
186     Suff            *suff;      /* The suffix on the file */
187     struct _Src     *parent;    /* The Src for which this is a source */
188     GNode           *node;      /* The node describing the file */
189     int             children;   /* Count of existing children (so we don't free
190                                  * this thing too early or never nuke it) */
191 #ifdef DEBUG_SRC
192     Lst             cp;         /* Debug; children list */
193 #endif
194 } Src;
195
196 /*
197  * A structure for passing more than one argument to the Lst-library-invoked
198  * function...
199  */
200 typedef struct {
201     Lst            l;
202     Src            *s;
203 } LstSrc;
204
205 typedef struct {
206     GNode         **gn;
207     Suff           *s;
208     Boolean         r;
209 } GNodeSuff;
210
211 static Suff         *suffNull;  /* The NULL suffix for this run */
212 static Suff         *emptySuff; /* The empty suffix required for POSIX
213                                  * single-suffix transformation rules */
214
215
216 static const char *SuffStrIsPrefix(const char *, const char *);
217 static char *SuffSuffIsSuffix(const Suff *, const SuffixCmpData *);
218 static int SuffSuffIsSuffixP(const void *, const void *);
219 static int SuffSuffHasNameP(const void *, const void *);
220 static int SuffSuffIsPrefix(const void *, const void *);
221 static int SuffGNHasNameP(const void *, const void *);
222 static void SuffUnRef(void *, void *);
223 static void SuffFree(void *);
224 static void SuffInsert(Lst, Suff *);
225 static void SuffRemove(Lst, Suff *);
226 static Boolean SuffParseTransform(char *, Suff **, Suff **);
227 static int SuffRebuildGraph(void *, void *);
228 static int SuffScanTargets(void *, void *);
229 static int SuffAddSrc(void *, void *);
230 static int SuffRemoveSrc(Lst);
231 static void SuffAddLevel(Lst, Src *);
232 static Src *SuffFindThem(Lst, Lst);
233 static Src *SuffFindCmds(Src *, Lst);
234 static void SuffExpandChildren(LstNode, GNode *);
235 static void SuffExpandWildcards(LstNode, GNode *);
236 static Boolean SuffApplyTransform(GNode *, GNode *, Suff *, Suff *);
237 static void SuffFindDeps(GNode *, Lst);
238 static void SuffFindArchiveDeps(GNode *, Lst);
239 static void SuffFindNormalDeps(GNode *, Lst);
240 static int SuffPrintName(void *, void *);
241 static int SuffPrintSuff(void *, void *);
242 static int SuffPrintTrans(void *, void *);
243
244         /*************** Lst Predicates ****************/
245 /*-
246  *-----------------------------------------------------------------------
247  * SuffStrIsPrefix  --
248  *      See if pref is a prefix of str.
249  *
250  * Input:
251  *      pref            possible prefix
252  *      str             string to check
253  *
254  * Results:
255  *      NULL if it ain't, pointer to character in str after prefix if so
256  *
257  * Side Effects:
258  *      None
259  *-----------------------------------------------------------------------
260  */
261 static const char *
262 SuffStrIsPrefix(const char *pref, const char *str)
263 {
264     while (*str && *pref == *str) {
265         pref++;
266         str++;
267     }
268
269     return (*pref ? NULL : str);
270 }
271
272 /*-
273  *-----------------------------------------------------------------------
274  * SuffSuffIsSuffix  --
275  *      See if suff is a suffix of str. sd->ename should point to THE END
276  *      of the string to check. (THE END == the null byte)
277  *
278  * Input:
279  *      s               possible suffix
280  *      sd              string to examine
281  *
282  * Results:
283  *      NULL if it ain't, pointer to character in str before suffix if
284  *      it is.
285  *
286  * Side Effects:
287  *      None
288  *-----------------------------------------------------------------------
289  */
290 static char *
291 SuffSuffIsSuffix(const Suff *s, const SuffixCmpData *sd)
292 {
293     char  *p1;          /* Pointer into suffix name */
294     char  *p2;          /* Pointer into string being examined */
295
296     if (sd->len < s->nameLen)
297         return NULL;            /* this string is shorter than the suffix */
298
299     p1 = s->name + s->nameLen;
300     p2 = sd->ename;
301
302     while (p1 >= s->name && *p1 == *p2) {
303         p1--;
304         p2--;
305     }
306
307     return (p1 == s->name - 1 ? p2 : NULL);
308 }
309
310 /*-
311  *-----------------------------------------------------------------------
312  * SuffSuffIsSuffixP --
313  *      Predicate form of SuffSuffIsSuffix. Passed as the callback function
314  *      to Lst_Find.
315  *
316  * Results:
317  *      0 if the suffix is the one desired, non-zero if not.
318  *
319  * Side Effects:
320  *      None.
321  *
322  *-----------------------------------------------------------------------
323  */
324 static int
325 SuffSuffIsSuffixP(const void *s, const void *sd)
326 {
327     return(!SuffSuffIsSuffix(s, sd));
328 }
329
330 /*-
331  *-----------------------------------------------------------------------
332  * SuffSuffHasNameP --
333  *      Callback procedure for finding a suffix based on its name. Used by
334  *      Suff_GetPath.
335  *
336  * Input:
337  *      s               Suffix to check
338  *      sd              Desired name
339  *
340  * Results:
341  *      0 if the suffix is of the given name. non-zero otherwise.
342  *
343  * Side Effects:
344  *      None
345  *-----------------------------------------------------------------------
346  */
347 static int
348 SuffSuffHasNameP(const void *s, const void *sname)
349 {
350     return (strcmp(sname, ((const Suff *)s)->name));
351 }
352
353 /*-
354  *-----------------------------------------------------------------------
355  * SuffSuffIsPrefix  --
356  *      See if the suffix described by s is a prefix of the string. Care
357  *      must be taken when using this to search for transformations and
358  *      what-not, since there could well be two suffixes, one of which
359  *      is a prefix of the other...
360  *
361  * Input:
362  *      s               suffix to compare
363  *      str             string to examine
364  *
365  * Results:
366  *      0 if s is a prefix of str. non-zero otherwise
367  *
368  * Side Effects:
369  *      None
370  *-----------------------------------------------------------------------
371  */
372 static int
373 SuffSuffIsPrefix(const void *s, const void *str)
374 {
375     return SuffStrIsPrefix(((const Suff *)s)->name, str) == NULL;
376 }
377
378 /*-
379  *-----------------------------------------------------------------------
380  * SuffGNHasNameP  --
381  *      See if the graph node has the desired name
382  *
383  * Input:
384  *      gn              current node we're looking at
385  *      name            name we're looking for
386  *
387  * Results:
388  *      0 if it does. non-zero if it doesn't
389  *
390  * Side Effects:
391  *      None
392  *-----------------------------------------------------------------------
393  */
394 static int
395 SuffGNHasNameP(const void *gn, const void *name)
396 {
397     return (strcmp(name, ((const GNode *)gn)->name));
398 }
399
400             /*********** Maintenance Functions ************/
401
402 static void
403 SuffUnRef(void *lp, void *sp)
404 {
405     Lst l = (Lst) lp;
406
407     LstNode ln = Lst_Member(l, sp);
408     if (ln != NULL) {
409         Lst_Remove(l, ln);
410         ((Suff *)sp)->refCount--;
411     }
412 }
413
414 /*-
415  *-----------------------------------------------------------------------
416  * SuffFree  --
417  *      Free up all memory associated with the given suffix structure.
418  *
419  * Results:
420  *      none
421  *
422  * Side Effects:
423  *      the suffix entry is detroyed
424  *-----------------------------------------------------------------------
425  */
426 static void
427 SuffFree(void *sp)
428 {
429     Suff           *s = (Suff *)sp;
430
431     if (s == suffNull)
432         suffNull = NULL;
433
434     if (s == emptySuff)
435         emptySuff = NULL;
436
437 #ifdef notdef
438     /* We don't delete suffixes in order, so we cannot use this */
439     if (s->refCount)
440         Punt("Internal error deleting suffix `%s' with refcount = %d", s->name,
441             s->refCount);
442 #endif
443
444     Lst_Destroy(s->ref, NULL);
445     Lst_Destroy(s->children, NULL);
446     Lst_Destroy(s->parents, NULL);
447     Lst_Destroy(s->searchPath, Dir_Destroy);
448
449     free(s->name);
450     free(s);
451 }
452
453 /*-
454  *-----------------------------------------------------------------------
455  * SuffRemove  --
456  *      Remove the suffix into the list
457  *
458  * Results:
459  *      None
460  *
461  * Side Effects:
462  *      The reference count for the suffix is decremented and the
463  *      suffix is possibly freed
464  *-----------------------------------------------------------------------
465  */
466 static void
467 SuffRemove(Lst l, Suff *s)
468 {
469     SuffUnRef(l, s);
470     if (s->refCount == 0) {
471         SuffUnRef(sufflist, s);
472         SuffFree(s);
473     }
474 }
475 \f
476 /*-
477  *-----------------------------------------------------------------------
478  * SuffInsert  --
479  *      Insert the suffix into the list keeping the list ordered by suffix
480  *      numbers.
481  *
482  * Input:
483  *      l               the list where in s should be inserted
484  *      s               the suffix to insert
485  *
486  * Results:
487  *      None
488  *
489  * Side Effects:
490  *      The reference count of the suffix is incremented
491  *-----------------------------------------------------------------------
492  */
493 static void
494 SuffInsert(Lst l, Suff *s)
495 {
496     LstNode       ln;           /* current element in l we're examining */
497     Suff          *s2 = NULL;   /* the suffix descriptor in this element */
498
499     if (Lst_Open(l) == FAILURE) {
500         return;
501     }
502     while ((ln = Lst_Next(l)) != NULL) {
503         s2 = (Suff *)Lst_Datum(ln);
504         if (s2->sNum >= s->sNum) {
505             break;
506         }
507     }
508
509     Lst_Close(l);
510     if (DEBUG(SUFF)) {
511         fprintf(debug_file, "inserting %s(%d)...", s->name, s->sNum);
512     }
513     if (ln == NULL) {
514         if (DEBUG(SUFF)) {
515             fprintf(debug_file, "at end of list\n");
516         }
517         (void)Lst_AtEnd(l, s);
518         s->refCount++;
519         (void)Lst_AtEnd(s->ref, l);
520     } else if (s2->sNum != s->sNum) {
521         if (DEBUG(SUFF)) {
522             fprintf(debug_file, "before %s(%d)\n", s2->name, s2->sNum);
523         }
524         (void)Lst_InsertBefore(l, ln, s);
525         s->refCount++;
526         (void)Lst_AtEnd(s->ref, l);
527     } else if (DEBUG(SUFF)) {
528         fprintf(debug_file, "already there\n");
529     }
530 }
531
532 /*-
533  *-----------------------------------------------------------------------
534  * Suff_ClearSuffixes --
535  *      This is gross. Nuke the list of suffixes but keep all transformation
536  *      rules around. The transformation graph is destroyed in this process,
537  *      but we leave the list of rules so when a new graph is formed the rules
538  *      will remain.
539  *      This function is called from the parse module when a
540  *      .SUFFIXES:\n line is encountered.
541  *
542  * Results:
543  *      none
544  *
545  * Side Effects:
546  *      the sufflist and its graph nodes are destroyed
547  *-----------------------------------------------------------------------
548  */
549 void
550 Suff_ClearSuffixes(void)
551 {
552 #ifdef CLEANUP
553     Lst_Concat(suffClean, sufflist, LST_CONCLINK);
554 #endif
555     sufflist = Lst_Init(FALSE);
556     sNum = 0;
557     if (suffNull)
558         SuffFree(suffNull);
559     emptySuff = suffNull = bmake_malloc(sizeof(Suff));
560
561     suffNull->name =        bmake_strdup("");
562     suffNull->nameLen =     0;
563     suffNull->searchPath =  Lst_Init(FALSE);
564     Dir_Concat(suffNull->searchPath, dirSearchPath);
565     suffNull->children =    Lst_Init(FALSE);
566     suffNull->parents =     Lst_Init(FALSE);
567     suffNull->ref =         Lst_Init(FALSE);
568     suffNull->sNum =        sNum++;
569     suffNull->flags =       SUFF_NULL;
570     suffNull->refCount =    1;
571 }
572
573 /*-
574  *-----------------------------------------------------------------------
575  * SuffParseTransform --
576  *      Parse a transformation string to find its two component suffixes.
577  *
578  * Input:
579  *      str             String being parsed
580  *      srcPtr          Place to store source of trans.
581  *      targPtr         Place to store target of trans.
582  *
583  * Results:
584  *      TRUE if the string is a valid transformation and FALSE otherwise.
585  *
586  * Side Effects:
587  *      The passed pointers are overwritten.
588  *
589  *-----------------------------------------------------------------------
590  */
591 static Boolean
592 SuffParseTransform(char *str, Suff **srcPtr, Suff **targPtr)
593 {
594     LstNode             srcLn;      /* element in suffix list of trans source*/
595     Suff                *src;       /* Source of transformation */
596     LstNode             targLn;     /* element in suffix list of trans target*/
597     char                *str2;      /* Extra pointer (maybe target suffix) */
598     LstNode             singleLn;   /* element in suffix list of any suffix
599                                      * that exactly matches str */
600     Suff                *single = NULL;/* Source of possible transformation to
601                                      * null suffix */
602
603     srcLn = NULL;
604     singleLn = NULL;
605
606     /*
607      * Loop looking first for a suffix that matches the start of the
608      * string and then for one that exactly matches the rest of it. If
609      * we can find two that meet these criteria, we've successfully
610      * parsed the string.
611      */
612     for (;;) {
613         if (srcLn == NULL) {
614             srcLn = Lst_Find(sufflist, str, SuffSuffIsPrefix);
615         } else {
616             srcLn = Lst_FindFrom(sufflist, Lst_Succ(srcLn), str,
617                                   SuffSuffIsPrefix);
618         }
619         if (srcLn == NULL) {
620             /*
621              * Ran out of source suffixes -- no such rule
622              */
623             if (singleLn != NULL) {
624                 /*
625                  * Not so fast Mr. Smith! There was a suffix that encompassed
626                  * the entire string, so we assume it was a transformation
627                  * to the null suffix (thank you POSIX). We still prefer to
628                  * find a double rule over a singleton, hence we leave this
629                  * check until the end.
630                  *
631                  * XXX: Use emptySuff over suffNull?
632                  */
633                 *srcPtr = single;
634                 *targPtr = suffNull;
635                 return(TRUE);
636             }
637             return (FALSE);
638         }
639         src = (Suff *)Lst_Datum(srcLn);
640         str2 = str + src->nameLen;
641         if (*str2 == '\0') {
642             single = src;
643             singleLn = srcLn;
644         } else {
645             targLn = Lst_Find(sufflist, str2, SuffSuffHasNameP);
646             if (targLn != NULL) {
647                 *srcPtr = src;
648                 *targPtr = (Suff *)Lst_Datum(targLn);
649                 return (TRUE);
650             }
651         }
652     }
653 }
654
655 /*-
656  *-----------------------------------------------------------------------
657  * Suff_IsTransform  --
658  *      Return TRUE if the given string is a transformation rule
659  *
660  *
661  * Input:
662  *      str             string to check
663  *
664  * Results:
665  *      TRUE if the string is a concatenation of two known suffixes.
666  *      FALSE otherwise
667  *
668  * Side Effects:
669  *      None
670  *-----------------------------------------------------------------------
671  */
672 Boolean
673 Suff_IsTransform(char *str)
674 {
675     Suff          *src, *targ;
676
677     return (SuffParseTransform(str, &src, &targ));
678 }
679
680 /*-
681  *-----------------------------------------------------------------------
682  * Suff_AddTransform --
683  *      Add the transformation rule described by the line to the
684  *      list of rules and place the transformation itself in the graph
685  *
686  * Input:
687  *      line            name of transformation to add
688  *
689  * Results:
690  *      The node created for the transformation in the transforms list
691  *
692  * Side Effects:
693  *      The node is placed on the end of the transforms Lst and links are
694  *      made between the two suffixes mentioned in the target name
695  *-----------------------------------------------------------------------
696  */
697 GNode *
698 Suff_AddTransform(char *line)
699 {
700     GNode         *gn;          /* GNode of transformation rule */
701     Suff          *s,           /* source suffix */
702                   *t;           /* target suffix */
703     LstNode       ln;           /* Node for existing transformation */
704
705     ln = Lst_Find(transforms, line, SuffGNHasNameP);
706     if (ln == NULL) {
707         /*
708          * Make a new graph node for the transformation. It will be filled in
709          * by the Parse module.
710          */
711         gn = Targ_NewGN(line);
712         (void)Lst_AtEnd(transforms, gn);
713     } else {
714         /*
715          * New specification for transformation rule. Just nuke the old list
716          * of commands so they can be filled in again... We don't actually
717          * free the commands themselves, because a given command can be
718          * attached to several different transformations.
719          */
720         gn = (GNode *)Lst_Datum(ln);
721         Lst_Destroy(gn->commands, NULL);
722         Lst_Destroy(gn->children, NULL);
723         gn->commands = Lst_Init(FALSE);
724         gn->children = Lst_Init(FALSE);
725     }
726
727     gn->type = OP_TRANSFORM;
728
729     (void)SuffParseTransform(line, &s, &t);
730
731     /*
732      * link the two together in the proper relationship and order
733      */
734     if (DEBUG(SUFF)) {
735         fprintf(debug_file, "defining transformation from `%s' to `%s'\n",
736                 s->name, t->name);
737     }
738     SuffInsert(t->children, s);
739     SuffInsert(s->parents, t);
740
741     return (gn);
742 }
743
744 /*-
745  *-----------------------------------------------------------------------
746  * Suff_EndTransform --
747  *      Handle the finish of a transformation definition, removing the
748  *      transformation from the graph if it has neither commands nor
749  *      sources. This is a callback procedure for the Parse module via
750  *      Lst_ForEach
751  *
752  * Input:
753  *      gnp             Node for transformation
754  *      dummy           Node for transformation
755  *
756  * Results:
757  *      === 0
758  *
759  * Side Effects:
760  *      If the node has no commands or children, the children and parents
761  *      lists of the affected suffixes are altered.
762  *
763  *-----------------------------------------------------------------------
764  */
765 int
766 Suff_EndTransform(void *gnp, void *dummy MAKE_ATTR_UNUSED)
767 {
768     GNode *gn = (GNode *)gnp;
769
770     if ((gn->type & OP_DOUBLEDEP) && !Lst_IsEmpty (gn->cohorts))
771         gn = (GNode *)Lst_Datum(Lst_Last(gn->cohorts));
772     if ((gn->type & OP_TRANSFORM) && Lst_IsEmpty(gn->commands) &&
773         Lst_IsEmpty(gn->children))
774     {
775         Suff    *s, *t;
776
777         /*
778          * SuffParseTransform() may fail for special rules which are not
779          * actual transformation rules. (e.g. .DEFAULT)
780          */
781         if (SuffParseTransform(gn->name, &s, &t)) {
782             Lst  p;
783
784             if (DEBUG(SUFF)) {
785                 fprintf(debug_file, "deleting transformation from `%s' to `%s'\n",
786                 s->name, t->name);
787             }
788
789             /*
790              * Store s->parents because s could be deleted in SuffRemove
791              */
792             p = s->parents;
793
794             /*
795              * Remove the source from the target's children list. We check for a
796              * nil return to handle a beanhead saying something like
797              *  .c.o .c.o:
798              *
799              * We'll be called twice when the next target is seen, but .c and .o
800              * are only linked once...
801              */
802             SuffRemove(t->children, s);
803
804             /*
805              * Remove the target from the source's parents list
806              */
807             SuffRemove(p, t);
808         }
809     } else if ((gn->type & OP_TRANSFORM) && DEBUG(SUFF)) {
810         fprintf(debug_file, "transformation %s complete\n", gn->name);
811     }
812
813     return 0;
814 }
815
816 /*-
817  *-----------------------------------------------------------------------
818  * SuffRebuildGraph --
819  *      Called from Suff_AddSuffix via Lst_ForEach to search through the
820  *      list of existing transformation rules and rebuild the transformation
821  *      graph when it has been destroyed by Suff_ClearSuffixes. If the
822  *      given rule is a transformation involving this suffix and another,
823  *      existing suffix, the proper relationship is established between
824  *      the two.
825  *
826  * Input:
827  *      transformp      Transformation to test
828  *      sp              Suffix to rebuild
829  *
830  * Results:
831  *      Always 0.
832  *
833  * Side Effects:
834  *      The appropriate links will be made between this suffix and
835  *      others if transformation rules exist for it.
836  *
837  *-----------------------------------------------------------------------
838  */
839 static int
840 SuffRebuildGraph(void *transformp, void *sp)
841 {
842     GNode       *transform = (GNode *)transformp;
843     Suff        *s = (Suff *)sp;
844     char        *cp;
845     LstNode     ln;
846     Suff        *s2;
847     SuffixCmpData sd;
848
849     /*
850      * First see if it is a transformation from this suffix.
851      */
852     cp = UNCONST(SuffStrIsPrefix(s->name, transform->name));
853     if (cp != NULL) {
854         ln = Lst_Find(sufflist, cp, SuffSuffHasNameP);
855         if (ln != NULL) {
856             /*
857              * Found target. Link in and return, since it can't be anything
858              * else.
859              */
860             s2 = (Suff *)Lst_Datum(ln);
861             SuffInsert(s2->children, s);
862             SuffInsert(s->parents, s2);
863             return(0);
864         }
865     }
866
867     /*
868      * Not from, maybe to?
869      */
870     sd.len = strlen(transform->name);
871     sd.ename = transform->name + sd.len;
872     cp = SuffSuffIsSuffix(s, &sd);
873     if (cp != NULL) {
874         /*
875          * Null-terminate the source suffix in order to find it.
876          */
877         cp[1] = '\0';
878         ln = Lst_Find(sufflist, transform->name, SuffSuffHasNameP);
879         /*
880          * Replace the start of the target suffix
881          */
882         cp[1] = s->name[0];
883         if (ln != NULL) {
884             /*
885              * Found it -- establish the proper relationship
886              */
887             s2 = (Suff *)Lst_Datum(ln);
888             SuffInsert(s->children, s2);
889             SuffInsert(s2->parents, s);
890         }
891     }
892     return(0);
893 }
894
895 /*-
896  *-----------------------------------------------------------------------
897  * SuffScanTargets --
898  *      Called from Suff_AddSuffix via Lst_ForEach to search through the
899  *      list of existing targets and find if any of the existing targets
900  *      can be turned into a transformation rule.
901  *
902  * Results:
903  *      1 if a new main target has been selected, 0 otherwise.
904  *
905  * Side Effects:
906  *      If such a target is found and the target is the current main
907  *      target, the main target is set to NULL and the next target
908  *      examined (if that exists) becomes the main target.
909  *
910  *-----------------------------------------------------------------------
911  */
912 static int
913 SuffScanTargets(void *targetp, void *gsp)
914 {
915     GNode       *target = (GNode *)targetp;
916     GNodeSuff   *gs = (GNodeSuff *)gsp;
917     Suff        *s, *t;
918     char        *ptr;
919
920     if (*gs->gn == NULL && gs->r && (target->type & OP_NOTARGET) == 0) {
921         *gs->gn = target;
922         Targ_SetMain(target);
923         return 1;
924     }
925
926     if ((unsigned int)target->type == OP_TRANSFORM)
927         return 0;
928
929     if ((ptr = strstr(target->name, gs->s->name)) == NULL ||
930         ptr == target->name)
931         return 0;
932
933     if (SuffParseTransform(target->name, &s, &t)) {
934         if (*gs->gn == target) {
935             gs->r = TRUE;
936             *gs->gn = NULL;
937             Targ_SetMain(NULL);
938         }
939         Lst_Destroy(target->children, NULL);
940         target->children = Lst_Init(FALSE);
941         target->type = OP_TRANSFORM;
942         /*
943          * link the two together in the proper relationship and order
944          */
945         if (DEBUG(SUFF)) {
946             fprintf(debug_file, "defining transformation from `%s' to `%s'\n",
947                 s->name, t->name);
948         }
949         SuffInsert(t->children, s);
950         SuffInsert(s->parents, t);
951     }
952     return 0;
953 }
954
955 /*-
956  *-----------------------------------------------------------------------
957  * Suff_AddSuffix --
958  *      Add the suffix in string to the end of the list of known suffixes.
959  *      Should we restructure the suffix graph? Make doesn't...
960  *
961  * Input:
962  *      str             the name of the suffix to add
963  *
964  * Results:
965  *      None
966  *
967  * Side Effects:
968  *      A GNode is created for the suffix and a Suff structure is created and
969  *      added to the suffixes list unless the suffix was already known.
970  *      The mainNode passed can be modified if a target mutated into a
971  *      transform and that target happened to be the main target.
972  *-----------------------------------------------------------------------
973  */
974 void
975 Suff_AddSuffix(char *str, GNode **gn)
976 {
977     Suff          *s;       /* new suffix descriptor */
978     LstNode       ln;
979     GNodeSuff     gs;
980
981     ln = Lst_Find(sufflist, str, SuffSuffHasNameP);
982     if (ln == NULL) {
983         s = bmake_malloc(sizeof(Suff));
984
985         s->name =       bmake_strdup(str);
986         s->nameLen =    strlen(s->name);
987         s->searchPath = Lst_Init(FALSE);
988         s->children =   Lst_Init(FALSE);
989         s->parents =    Lst_Init(FALSE);
990         s->ref =        Lst_Init(FALSE);
991         s->sNum =       sNum++;
992         s->flags =      0;
993         s->refCount =   1;
994
995         (void)Lst_AtEnd(sufflist, s);
996         /*
997          * We also look at our existing targets list to see if adding
998          * this suffix will make one of our current targets mutate into
999          * a suffix rule. This is ugly, but other makes treat all targets
1000          * that start with a . as suffix rules.
1001          */
1002         gs.gn = gn;
1003         gs.s  = s;
1004         gs.r  = FALSE;
1005         Lst_ForEach(Targ_List(), SuffScanTargets, &gs);
1006         /*
1007          * Look for any existing transformations from or to this suffix.
1008          * XXX: Only do this after a Suff_ClearSuffixes?
1009          */
1010         Lst_ForEach(transforms, SuffRebuildGraph, s);
1011     }
1012 }
1013
1014 /*-
1015  *-----------------------------------------------------------------------
1016  * Suff_GetPath --
1017  *      Return the search path for the given suffix, if it's defined.
1018  *
1019  * Results:
1020  *      The searchPath for the desired suffix or NULL if the suffix isn't
1021  *      defined.
1022  *
1023  * Side Effects:
1024  *      None
1025  *-----------------------------------------------------------------------
1026  */
1027 Lst
1028 Suff_GetPath(char *sname)
1029 {
1030     LstNode       ln;
1031     Suff          *s;
1032
1033     ln = Lst_Find(sufflist, sname, SuffSuffHasNameP);
1034     if (ln == NULL) {
1035         return NULL;
1036     } else {
1037         s = (Suff *)Lst_Datum(ln);
1038         return (s->searchPath);
1039     }
1040 }
1041
1042 /*-
1043  *-----------------------------------------------------------------------
1044  * Suff_DoPaths --
1045  *      Extend the search paths for all suffixes to include the default
1046  *      search path.
1047  *
1048  * Results:
1049  *      None.
1050  *
1051  * Side Effects:
1052  *      The searchPath field of all the suffixes is extended by the
1053  *      directories in dirSearchPath. If paths were specified for the
1054  *      ".h" suffix, the directories are stuffed into a global variable
1055  *      called ".INCLUDES" with each directory preceded by a -I. The same
1056  *      is done for the ".a" suffix, except the variable is called
1057  *      ".LIBS" and the flag is -L.
1058  *-----------------------------------------------------------------------
1059  */
1060 void
1061 Suff_DoPaths(void)
1062 {
1063     Suff                *s;
1064     LstNode             ln;
1065     char                *ptr;
1066     Lst                 inIncludes; /* Cumulative .INCLUDES path */
1067     Lst                 inLibs;     /* Cumulative .LIBS path */
1068
1069     if (Lst_Open(sufflist) == FAILURE) {
1070         return;
1071     }
1072
1073     inIncludes = Lst_Init(FALSE);
1074     inLibs = Lst_Init(FALSE);
1075
1076     while ((ln = Lst_Next(sufflist)) != NULL) {
1077         s = (Suff *)Lst_Datum(ln);
1078         if (!Lst_IsEmpty (s->searchPath)) {
1079 #ifdef INCLUDES
1080             if (s->flags & SUFF_INCLUDE) {
1081                 Dir_Concat(inIncludes, s->searchPath);
1082             }
1083 #endif /* INCLUDES */
1084 #ifdef LIBRARIES
1085             if (s->flags & SUFF_LIBRARY) {
1086                 Dir_Concat(inLibs, s->searchPath);
1087             }
1088 #endif /* LIBRARIES */
1089             Dir_Concat(s->searchPath, dirSearchPath);
1090         } else {
1091             Lst_Destroy(s->searchPath, Dir_Destroy);
1092             s->searchPath = Lst_Duplicate(dirSearchPath, Dir_CopyDir);
1093         }
1094     }
1095
1096     Var_Set(".INCLUDES", ptr = Dir_MakeFlags("-I", inIncludes), VAR_GLOBAL, 0);
1097     free(ptr);
1098     Var_Set(".LIBS", ptr = Dir_MakeFlags("-L", inLibs), VAR_GLOBAL, 0);
1099     free(ptr);
1100
1101     Lst_Destroy(inIncludes, Dir_Destroy);
1102     Lst_Destroy(inLibs, Dir_Destroy);
1103
1104     Lst_Close(sufflist);
1105 }
1106
1107 /*-
1108  *-----------------------------------------------------------------------
1109  * Suff_AddInclude --
1110  *      Add the given suffix as a type of file which gets included.
1111  *      Called from the parse module when a .INCLUDES line is parsed.
1112  *      The suffix must have already been defined.
1113  *
1114  * Input:
1115  *      sname           Name of the suffix to mark
1116  *
1117  * Results:
1118  *      None.
1119  *
1120  * Side Effects:
1121  *      The SUFF_INCLUDE bit is set in the suffix's flags field
1122  *
1123  *-----------------------------------------------------------------------
1124  */
1125 void
1126 Suff_AddInclude(char *sname)
1127 {
1128     LstNode       ln;
1129     Suff          *s;
1130
1131     ln = Lst_Find(sufflist, sname, SuffSuffHasNameP);
1132     if (ln != NULL) {
1133         s = (Suff *)Lst_Datum(ln);
1134         s->flags |= SUFF_INCLUDE;
1135     }
1136 }
1137
1138 /*-
1139  *-----------------------------------------------------------------------
1140  * Suff_AddLib --
1141  *      Add the given suffix as a type of file which is a library.
1142  *      Called from the parse module when parsing a .LIBS line. The
1143  *      suffix must have been defined via .SUFFIXES before this is
1144  *      called.
1145  *
1146  * Input:
1147  *      sname           Name of the suffix to mark
1148  *
1149  * Results:
1150  *      None.
1151  *
1152  * Side Effects:
1153  *      The SUFF_LIBRARY bit is set in the suffix's flags field
1154  *
1155  *-----------------------------------------------------------------------
1156  */
1157 void
1158 Suff_AddLib(char *sname)
1159 {
1160     LstNode       ln;
1161     Suff          *s;
1162
1163     ln = Lst_Find(sufflist, sname, SuffSuffHasNameP);
1164     if (ln != NULL) {
1165         s = (Suff *)Lst_Datum(ln);
1166         s->flags |= SUFF_LIBRARY;
1167     }
1168 }
1169
1170           /********** Implicit Source Search Functions *********/
1171
1172 /*-
1173  *-----------------------------------------------------------------------
1174  * SuffAddSrc  --
1175  *      Add a suffix as a Src structure to the given list with its parent
1176  *      being the given Src structure. If the suffix is the null suffix,
1177  *      the prefix is used unaltered as the file name in the Src structure.
1178  *
1179  * Input:
1180  *      sp              suffix for which to create a Src structure
1181  *      lsp             list and parent for the new Src
1182  *
1183  * Results:
1184  *      always returns 0
1185  *
1186  * Side Effects:
1187  *      A Src structure is created and tacked onto the end of the list
1188  *-----------------------------------------------------------------------
1189  */
1190 static int
1191 SuffAddSrc(void *sp, void *lsp)
1192 {
1193     Suff        *s = (Suff *)sp;
1194     LstSrc      *ls = (LstSrc *)lsp;
1195     Src         *s2;        /* new Src structure */
1196     Src         *targ;      /* Target structure */
1197
1198     targ = ls->s;
1199
1200     if ((s->flags & SUFF_NULL) && (*s->name != '\0')) {
1201         /*
1202          * If the suffix has been marked as the NULL suffix, also create a Src
1203          * structure for a file with no suffix attached. Two birds, and all
1204          * that...
1205          */
1206         s2 = bmake_malloc(sizeof(Src));
1207         s2->file =      bmake_strdup(targ->pref);
1208         s2->pref =      targ->pref;
1209         s2->parent =    targ;
1210         s2->node =      NULL;
1211         s2->suff =      s;
1212         s->refCount++;
1213         s2->children =  0;
1214         targ->children += 1;
1215         (void)Lst_AtEnd(ls->l, s2);
1216 #ifdef DEBUG_SRC
1217         s2->cp = Lst_Init(FALSE);
1218         Lst_AtEnd(targ->cp, s2);
1219         fprintf(debug_file, "1 add %p %p to %p:", targ, s2, ls->l);
1220         Lst_ForEach(ls->l, PrintAddr, NULL);
1221         fprintf(debug_file, "\n");
1222 #endif
1223     }
1224     s2 = bmake_malloc(sizeof(Src));
1225     s2->file =      str_concat(targ->pref, s->name, 0);
1226     s2->pref =      targ->pref;
1227     s2->parent =    targ;
1228     s2->node =      NULL;
1229     s2->suff =      s;
1230     s->refCount++;
1231     s2->children =  0;
1232     targ->children += 1;
1233     (void)Lst_AtEnd(ls->l, s2);
1234 #ifdef DEBUG_SRC
1235     s2->cp = Lst_Init(FALSE);
1236     Lst_AtEnd(targ->cp, s2);
1237     fprintf(debug_file, "2 add %p %p to %p:", targ, s2, ls->l);
1238     Lst_ForEach(ls->l, PrintAddr, NULL);
1239     fprintf(debug_file, "\n");
1240 #endif
1241
1242     return(0);
1243 }
1244
1245 /*-
1246  *-----------------------------------------------------------------------
1247  * SuffAddLevel  --
1248  *      Add all the children of targ as Src structures to the given list
1249  *
1250  * Input:
1251  *      l               list to which to add the new level
1252  *      targ            Src structure to use as the parent
1253  *
1254  * Results:
1255  *      None
1256  *
1257  * Side Effects:
1258  *      Lots of structures are created and added to the list
1259  *-----------------------------------------------------------------------
1260  */
1261 static void
1262 SuffAddLevel(Lst l, Src *targ)
1263 {
1264     LstSrc         ls;
1265
1266     ls.s = targ;
1267     ls.l = l;
1268
1269     Lst_ForEach(targ->suff->children, SuffAddSrc, &ls);
1270 }
1271
1272 /*-
1273  *----------------------------------------------------------------------
1274  * SuffRemoveSrc --
1275  *      Free all src structures in list that don't have a reference count
1276  *
1277  * Results:
1278  *      Ture if an src was removed
1279  *
1280  * Side Effects:
1281  *      The memory is free'd.
1282  *----------------------------------------------------------------------
1283  */
1284 static int
1285 SuffRemoveSrc(Lst l)
1286 {
1287     LstNode ln;
1288     Src *s;
1289     int t = 0;
1290
1291     if (Lst_Open(l) == FAILURE) {
1292         return 0;
1293     }
1294 #ifdef DEBUG_SRC
1295     fprintf(debug_file, "cleaning %lx: ", (unsigned long) l);
1296     Lst_ForEach(l, PrintAddr, NULL);
1297     fprintf(debug_file, "\n");
1298 #endif
1299
1300
1301     while ((ln = Lst_Next(l)) != NULL) {
1302         s = (Src *)Lst_Datum(ln);
1303         if (s->children == 0) {
1304             free(s->file);
1305             if (!s->parent)
1306                 free(s->pref);
1307             else {
1308 #ifdef DEBUG_SRC
1309                 LstNode ln2 = Lst_Member(s->parent->cp, s);
1310                 if (ln2 != NULL)
1311                     Lst_Remove(s->parent->cp, ln2);
1312 #endif
1313                 --s->parent->children;
1314             }
1315 #ifdef DEBUG_SRC
1316             fprintf(debug_file, "free: [l=%p] p=%p %d\n", l, s, s->children);
1317             Lst_Destroy(s->cp, NULL);
1318 #endif
1319             Lst_Remove(l, ln);
1320             free(s);
1321             t |= 1;
1322             Lst_Close(l);
1323             return TRUE;
1324         }
1325 #ifdef DEBUG_SRC
1326         else {
1327             fprintf(debug_file, "keep: [l=%p] p=%p %d: ", l, s, s->children);
1328             Lst_ForEach(s->cp, PrintAddr, NULL);
1329             fprintf(debug_file, "\n");
1330         }
1331 #endif
1332     }
1333
1334     Lst_Close(l);
1335
1336     return t;
1337 }
1338
1339 /*-
1340  *-----------------------------------------------------------------------
1341  * SuffFindThem --
1342  *      Find the first existing file/target in the list srcs
1343  *
1344  * Input:
1345  *      srcs            list of Src structures to search through
1346  *
1347  * Results:
1348  *      The lowest structure in the chain of transformations
1349  *
1350  * Side Effects:
1351  *      None
1352  *-----------------------------------------------------------------------
1353  */
1354 static Src *
1355 SuffFindThem(Lst srcs, Lst slst)
1356 {
1357     Src            *s;          /* current Src */
1358     Src            *rs;         /* returned Src */
1359     char           *ptr;
1360
1361     rs = NULL;
1362
1363     while (!Lst_IsEmpty (srcs)) {
1364         s = (Src *)Lst_DeQueue(srcs);
1365
1366         if (DEBUG(SUFF)) {
1367             fprintf(debug_file, "\ttrying %s...", s->file);
1368         }
1369
1370         /*
1371          * A file is considered to exist if either a node exists in the
1372          * graph for it or the file actually exists.
1373          */
1374         if (Targ_FindNode(s->file, TARG_NOCREATE) != NULL) {
1375 #ifdef DEBUG_SRC
1376             fprintf(debug_file, "remove %p from %p\n", s, srcs);
1377 #endif
1378             rs = s;
1379             break;
1380         }
1381
1382         if ((ptr = Dir_FindFile(s->file, s->suff->searchPath)) != NULL) {
1383             rs = s;
1384 #ifdef DEBUG_SRC
1385             fprintf(debug_file, "remove %p from %p\n", s, srcs);
1386 #endif
1387             free(ptr);
1388             break;
1389         }
1390
1391         if (DEBUG(SUFF)) {
1392             fprintf(debug_file, "not there\n");
1393         }
1394
1395         SuffAddLevel(srcs, s);
1396         Lst_AtEnd(slst, s);
1397     }
1398
1399     if (DEBUG(SUFF) && rs) {
1400         fprintf(debug_file, "got it\n");
1401     }
1402     return (rs);
1403 }
1404
1405 /*-
1406  *-----------------------------------------------------------------------
1407  * SuffFindCmds --
1408  *      See if any of the children of the target in the Src structure is
1409  *      one from which the target can be transformed. If there is one,
1410  *      a Src structure is put together for it and returned.
1411  *
1412  * Input:
1413  *      targ            Src structure to play with
1414  *
1415  * Results:
1416  *      The Src structure of the "winning" child, or NULL if no such beast.
1417  *
1418  * Side Effects:
1419  *      A Src structure may be allocated.
1420  *
1421  *-----------------------------------------------------------------------
1422  */
1423 static Src *
1424 SuffFindCmds(Src *targ, Lst slst)
1425 {
1426     LstNode             ln;     /* General-purpose list node */
1427     GNode               *t,     /* Target GNode */
1428                         *s;     /* Source GNode */
1429     int                 prefLen;/* The length of the defined prefix */
1430     Suff                *suff;  /* Suffix on matching beastie */
1431     Src                 *ret;   /* Return value */
1432     char                *cp;
1433
1434     t = targ->node;
1435     (void)Lst_Open(t->children);
1436     prefLen = strlen(targ->pref);
1437
1438     for (;;) {
1439         ln = Lst_Next(t->children);
1440         if (ln == NULL) {
1441             Lst_Close(t->children);
1442             return NULL;
1443         }
1444         s = (GNode *)Lst_Datum(ln);
1445
1446         if (s->type & OP_OPTIONAL && Lst_IsEmpty(t->commands)) {
1447             /*
1448              * We haven't looked to see if .OPTIONAL files exist yet, so
1449              * don't use one as the implicit source.
1450              * This allows us to use .OPTIONAL in .depend files so make won't
1451              * complain "don't know how to make xxx.h' when a dependent file
1452              * has been moved/deleted.
1453              */
1454             continue;
1455         }
1456
1457         cp = strrchr(s->name, '/');
1458         if (cp == NULL) {
1459             cp = s->name;
1460         } else {
1461             cp++;
1462         }
1463         if (strncmp(cp, targ->pref, prefLen) != 0)
1464             continue;
1465         /*
1466          * The node matches the prefix ok, see if it has a known
1467          * suffix.
1468          */
1469         ln = Lst_Find(sufflist, &cp[prefLen], SuffSuffHasNameP);
1470         if (ln == NULL)
1471             continue;
1472         /*
1473          * It even has a known suffix, see if there's a transformation
1474          * defined between the node's suffix and the target's suffix.
1475          *
1476          * XXX: Handle multi-stage transformations here, too.
1477          */
1478         suff = (Suff *)Lst_Datum(ln);
1479
1480         if (Lst_Member(suff->parents, targ->suff) != NULL)
1481             break;
1482     }
1483
1484     /*
1485      * Hot Damn! Create a new Src structure to describe
1486      * this transformation (making sure to duplicate the
1487      * source node's name so Suff_FindDeps can free it
1488      * again (ick)), and return the new structure.
1489      */
1490     ret = bmake_malloc(sizeof(Src));
1491     ret->file = bmake_strdup(s->name);
1492     ret->pref = targ->pref;
1493     ret->suff = suff;
1494     suff->refCount++;
1495     ret->parent = targ;
1496     ret->node = s;
1497     ret->children = 0;
1498     targ->children += 1;
1499 #ifdef DEBUG_SRC
1500     ret->cp = Lst_Init(FALSE);
1501     fprintf(debug_file, "3 add %p %p\n", targ, ret);
1502     Lst_AtEnd(targ->cp, ret);
1503 #endif
1504     Lst_AtEnd(slst, ret);
1505     if (DEBUG(SUFF)) {
1506         fprintf(debug_file, "\tusing existing source %s\n", s->name);
1507     }
1508     return (ret);
1509 }
1510
1511 /*-
1512  *-----------------------------------------------------------------------
1513  * SuffExpandChildren --
1514  *      Expand the names of any children of a given node that contain
1515  *      variable invocations or file wildcards into actual targets.
1516  *
1517  * Input:
1518  *      cln             Child to examine
1519  *      pgn             Parent node being processed
1520  *
1521  * Results:
1522  *      === 0 (continue)
1523  *
1524  * Side Effects:
1525  *      The expanded node is removed from the parent's list of children,
1526  *      and the parent's unmade counter is decremented, but other nodes
1527  *      may be added.
1528  *
1529  *-----------------------------------------------------------------------
1530  */
1531 static void
1532 SuffExpandChildren(LstNode cln, GNode *pgn)
1533 {
1534     GNode       *cgn = (GNode *)Lst_Datum(cln);
1535     GNode       *gn;        /* New source 8) */
1536     char        *cp;        /* Expanded value */
1537
1538     if (!Lst_IsEmpty(cgn->order_pred) || !Lst_IsEmpty(cgn->order_succ))
1539         /* It is all too hard to process the result of .ORDER */
1540         return;
1541
1542     if (cgn->type & OP_WAIT)
1543         /* Ignore these (& OP_PHONY ?) */
1544         return;
1545
1546     /*
1547      * First do variable expansion -- this takes precedence over
1548      * wildcard expansion. If the result contains wildcards, they'll be gotten
1549      * to later since the resulting words are tacked on to the end of
1550      * the children list.
1551      */
1552     if (strchr(cgn->name, '$') == NULL) {
1553         SuffExpandWildcards(cln, pgn);
1554         return;
1555     }
1556
1557     if (DEBUG(SUFF)) {
1558         fprintf(debug_file, "Expanding \"%s\"...", cgn->name);
1559     }
1560     cp = Var_Subst(NULL, cgn->name, pgn, VARF_UNDEFERR|VARF_WANTRES);
1561
1562     if (cp != NULL) {
1563         Lst         members = Lst_Init(FALSE);
1564
1565         if (cgn->type & OP_ARCHV) {
1566             /*
1567              * Node was an archive(member) target, so we want to call
1568              * on the Arch module to find the nodes for us, expanding
1569              * variables in the parent's context.
1570              */
1571             char        *sacrifice = cp;
1572
1573             (void)Arch_ParseArchive(&sacrifice, members, pgn);
1574         } else {
1575             /*
1576              * Break the result into a vector of strings whose nodes
1577              * we can find, then add those nodes to the members list.
1578              * Unfortunately, we can't use brk_string b/c it
1579              * doesn't understand about variable specifications with
1580              * spaces in them...
1581              */
1582             char            *start;
1583             char            *initcp = cp;   /* For freeing... */
1584
1585             for (start = cp; *start == ' ' || *start == '\t'; start++)
1586                 continue;
1587             for (cp = start; *cp != '\0'; cp++) {
1588                 if (*cp == ' ' || *cp == '\t') {
1589                     /*
1590                      * White-space -- terminate element, find the node,
1591                      * add it, skip any further spaces.
1592                      */
1593                     *cp++ = '\0';
1594                     gn = Targ_FindNode(start, TARG_CREATE);
1595                     (void)Lst_AtEnd(members, gn);
1596                     while (*cp == ' ' || *cp == '\t') {
1597                         cp++;
1598                     }
1599                     /*
1600                      * Adjust cp for increment at start of loop, but
1601                      * set start to first non-space.
1602                      */
1603                     start = cp--;
1604                 } else if (*cp == '$') {
1605                     /*
1606                      * Start of a variable spec -- contact variable module
1607                      * to find the end so we can skip over it.
1608                      */
1609                     char        *junk;
1610                     int         len;
1611                     void        *freeIt;
1612
1613                     junk = Var_Parse(cp, pgn, VARF_UNDEFERR|VARF_WANTRES,
1614                         &len, &freeIt);
1615                     if (junk != var_Error) {
1616                         cp += len - 1;
1617                     }
1618
1619                     free(freeIt);
1620                 } else if (*cp == '\\' && cp[1] != '\0') {
1621                     /*
1622                      * Escaped something -- skip over it
1623                      */
1624                     cp++;
1625                 }
1626             }
1627
1628             if (cp != start) {
1629                 /*
1630                  * Stuff left over -- add it to the list too
1631                  */
1632                 gn = Targ_FindNode(start, TARG_CREATE);
1633                 (void)Lst_AtEnd(members, gn);
1634             }
1635             /*
1636              * Point cp back at the beginning again so the variable value
1637              * can be freed.
1638              */
1639             cp = initcp;
1640         }
1641
1642         /*
1643          * Add all elements of the members list to the parent node.
1644          */
1645         while(!Lst_IsEmpty(members)) {
1646             gn = (GNode *)Lst_DeQueue(members);
1647
1648             if (DEBUG(SUFF)) {
1649                 fprintf(debug_file, "%s...", gn->name);
1650             }
1651             /* Add gn to the parents child list before the original child */
1652             (void)Lst_InsertBefore(pgn->children, cln, gn);
1653             (void)Lst_AtEnd(gn->parents, pgn);
1654             pgn->unmade++;
1655             /* Expand wildcards on new node */
1656             SuffExpandWildcards(Lst_Prev(cln), pgn);
1657         }
1658         Lst_Destroy(members, NULL);
1659
1660         /*
1661          * Free the result
1662          */
1663         free(cp);
1664     }
1665     if (DEBUG(SUFF)) {
1666         fprintf(debug_file, "\n");
1667     }
1668
1669     /*
1670      * Now the source is expanded, remove it from the list of children to
1671      * keep it from being processed.
1672      */
1673     pgn->unmade--;
1674     Lst_Remove(pgn->children, cln);
1675     Lst_Remove(cgn->parents, Lst_Member(cgn->parents, pgn));
1676 }
1677
1678 static void
1679 SuffExpandWildcards(LstNode cln, GNode *pgn)
1680 {
1681     GNode       *cgn = (GNode *)Lst_Datum(cln);
1682     GNode       *gn;        /* New source 8) */
1683     char        *cp;        /* Expanded value */
1684     Lst         explist;    /* List of expansions */
1685
1686     if (!Dir_HasWildcards(cgn->name))
1687         return;
1688
1689     /*
1690      * Expand the word along the chosen path
1691      */
1692     explist = Lst_Init(FALSE);
1693     Dir_Expand(cgn->name, Suff_FindPath(cgn), explist);
1694
1695     while (!Lst_IsEmpty(explist)) {
1696         /*
1697          * Fetch next expansion off the list and find its GNode
1698          */
1699         cp = (char *)Lst_DeQueue(explist);
1700
1701         if (DEBUG(SUFF)) {
1702             fprintf(debug_file, "%s...", cp);
1703         }
1704         gn = Targ_FindNode(cp, TARG_CREATE);
1705
1706         /* Add gn to the parents child list before the original child */
1707         (void)Lst_InsertBefore(pgn->children, cln, gn);
1708         (void)Lst_AtEnd(gn->parents, pgn);
1709         pgn->unmade++;
1710     }
1711
1712     /*
1713      * Nuke what's left of the list
1714      */
1715     Lst_Destroy(explist, NULL);
1716
1717     if (DEBUG(SUFF)) {
1718         fprintf(debug_file, "\n");
1719     }
1720
1721     /*
1722      * Now the source is expanded, remove it from the list of children to
1723      * keep it from being processed.
1724      */
1725     pgn->unmade--;
1726     Lst_Remove(pgn->children, cln);
1727     Lst_Remove(cgn->parents, Lst_Member(cgn->parents, pgn));
1728 }
1729
1730 /*-
1731  *-----------------------------------------------------------------------
1732  * Suff_FindPath --
1733  *      Find a path along which to expand the node.
1734  *
1735  *      If the word has a known suffix, use that path.
1736  *      If it has no known suffix, use the default system search path.
1737  *
1738  * Input:
1739  *      gn              Node being examined
1740  *
1741  * Results:
1742  *      The appropriate path to search for the GNode.
1743  *
1744  * Side Effects:
1745  *      XXX: We could set the suffix here so that we don't have to scan
1746  *      again.
1747  *
1748  *-----------------------------------------------------------------------
1749  */
1750 Lst
1751 Suff_FindPath(GNode* gn)
1752 {
1753     Suff *suff = gn->suffix;
1754
1755     if (suff == NULL) {
1756         SuffixCmpData sd;   /* Search string data */
1757         LstNode ln;
1758         sd.len = strlen(gn->name);
1759         sd.ename = gn->name + sd.len;
1760         ln = Lst_Find(sufflist, &sd, SuffSuffIsSuffixP);
1761
1762         if (DEBUG(SUFF)) {
1763             fprintf(debug_file, "Wildcard expanding \"%s\"...", gn->name);
1764         }
1765         if (ln != NULL)
1766             suff = (Suff *)Lst_Datum(ln);
1767         /* XXX: Here we can save the suffix so we don't have to do this again */
1768     }
1769
1770     if (suff != NULL) {
1771         if (DEBUG(SUFF)) {
1772             fprintf(debug_file, "suffix is \"%s\"...", suff->name);
1773         }
1774         return suff->searchPath;
1775     } else {
1776         /*
1777          * Use default search path
1778          */
1779         return dirSearchPath;
1780     }
1781 }
1782
1783 /*-
1784  *-----------------------------------------------------------------------
1785  * SuffApplyTransform --
1786  *      Apply a transformation rule, given the source and target nodes
1787  *      and suffixes.
1788  *
1789  * Input:
1790  *      tGn             Target node
1791  *      sGn             Source node
1792  *      t               Target suffix
1793  *      s               Source suffix
1794  *
1795  * Results:
1796  *      TRUE if successful, FALSE if not.
1797  *
1798  * Side Effects:
1799  *      The source and target are linked and the commands from the
1800  *      transformation are added to the target node's commands list.
1801  *      All attributes but OP_DEPMASK and OP_TRANSFORM are applied
1802  *      to the target. The target also inherits all the sources for
1803  *      the transformation rule.
1804  *
1805  *-----------------------------------------------------------------------
1806  */
1807 static Boolean
1808 SuffApplyTransform(GNode *tGn, GNode *sGn, Suff *t, Suff *s)
1809 {
1810     LstNode     ln, nln;    /* General node */
1811     char        *tname;     /* Name of transformation rule */
1812     GNode       *gn;        /* Node for same */
1813
1814     /*
1815      * Form the proper links between the target and source.
1816      */
1817     (void)Lst_AtEnd(tGn->children, sGn);
1818     (void)Lst_AtEnd(sGn->parents, tGn);
1819     tGn->unmade += 1;
1820
1821     /*
1822      * Locate the transformation rule itself
1823      */
1824     tname = str_concat(s->name, t->name, 0);
1825     ln = Lst_Find(transforms, tname, SuffGNHasNameP);
1826     free(tname);
1827
1828     if (ln == NULL) {
1829         /*
1830          * Not really such a transformation rule (can happen when we're
1831          * called to link an OP_MEMBER and OP_ARCHV node), so return
1832          * FALSE.
1833          */
1834         return(FALSE);
1835     }
1836
1837     gn = (GNode *)Lst_Datum(ln);
1838
1839     if (DEBUG(SUFF)) {
1840         fprintf(debug_file, "\tapplying %s -> %s to \"%s\"\n", s->name, t->name, tGn->name);
1841     }
1842
1843     /*
1844      * Record last child for expansion purposes
1845      */
1846     ln = Lst_Last(tGn->children);
1847
1848     /*
1849      * Pass the buck to Make_HandleUse to apply the rule
1850      */
1851     (void)Make_HandleUse(gn, tGn);
1852
1853     /*
1854      * Deal with wildcards and variables in any acquired sources
1855      */
1856     for (ln = Lst_Succ(ln); ln != NULL; ln = nln) {
1857         nln = Lst_Succ(ln);
1858         SuffExpandChildren(ln, tGn);
1859     }
1860
1861     /*
1862      * Keep track of another parent to which this beast is transformed so
1863      * the .IMPSRC variable can be set correctly for the parent.
1864      */
1865     (void)Lst_AtEnd(sGn->iParents, tGn);
1866
1867     return(TRUE);
1868 }
1869
1870
1871 /*-
1872  *-----------------------------------------------------------------------
1873  * SuffFindArchiveDeps --
1874  *      Locate dependencies for an OP_ARCHV node.
1875  *
1876  * Input:
1877  *      gn              Node for which to locate dependencies
1878  *
1879  * Results:
1880  *      None
1881  *
1882  * Side Effects:
1883  *      Same as Suff_FindDeps
1884  *
1885  *-----------------------------------------------------------------------
1886  */
1887 static void
1888 SuffFindArchiveDeps(GNode *gn, Lst slst)
1889 {
1890     char        *eoarch;    /* End of archive portion */
1891     char        *eoname;    /* End of member portion */
1892     GNode       *mem;       /* Node for member */
1893     static const char   *copy[] = {
1894         /* Variables to be copied from the member node */
1895         TARGET,             /* Must be first */
1896         PREFIX,             /* Must be second */
1897     };
1898     LstNode     ln, nln;    /* Next suffix node to check */
1899     int         i;          /* Index into copy and vals */
1900     Suff        *ms;        /* Suffix descriptor for member */
1901     char        *name;      /* Start of member's name */
1902
1903     /*
1904      * The node is an archive(member) pair. so we must find a
1905      * suffix for both of them.
1906      */
1907     eoarch = strchr(gn->name, '(');
1908     eoname = strchr(eoarch, ')');
1909
1910     /*
1911      * Caller guarantees the format `libname(member)', via
1912      * Arch_ParseArchive.
1913      */
1914     assert(eoarch != NULL);
1915     assert(eoname != NULL);
1916
1917     *eoname = '\0';       /* Nuke parentheses during suffix search */
1918     *eoarch = '\0';       /* So a suffix can be found */
1919
1920     name = eoarch + 1;
1921
1922     /*
1923      * To simplify things, call Suff_FindDeps recursively on the member now,
1924      * so we can simply compare the member's .PREFIX and .TARGET variables
1925      * to locate its suffix. This allows us to figure out the suffix to
1926      * use for the archive without having to do a quadratic search over the
1927      * suffix list, backtracking for each one...
1928      */
1929     mem = Targ_FindNode(name, TARG_CREATE);
1930     SuffFindDeps(mem, slst);
1931
1932     /*
1933      * Create the link between the two nodes right off
1934      */
1935     (void)Lst_AtEnd(gn->children, mem);
1936     (void)Lst_AtEnd(mem->parents, gn);
1937     gn->unmade += 1;
1938
1939     /*
1940      * Copy in the variables from the member node to this one.
1941      */
1942     for (i = (sizeof(copy)/sizeof(copy[0]))-1; i >= 0; i--) {
1943         char *p1;
1944         Var_Set(copy[i], Var_Value(copy[i], mem, &p1), gn, 0);
1945         free(p1);
1946
1947     }
1948
1949     ms = mem->suffix;
1950     if (ms == NULL) {
1951         /*
1952          * Didn't know what it was -- use .NULL suffix if not in make mode
1953          */
1954         if (DEBUG(SUFF)) {
1955             fprintf(debug_file, "using null suffix\n");
1956         }
1957         ms = suffNull;
1958     }
1959
1960
1961     /*
1962      * Set the other two local variables required for this target.
1963      */
1964     Var_Set(MEMBER, name, gn, 0);
1965     Var_Set(ARCHIVE, gn->name, gn, 0);
1966
1967     /*
1968      * Set $@ for compatibility with other makes
1969      */
1970     Var_Set(TARGET, gn->name, gn, 0);
1971
1972     /*
1973      * Now we've got the important local variables set, expand any sources
1974      * that still contain variables or wildcards in their names.
1975      */
1976     for (ln = Lst_First(gn->children); ln != NULL; ln = nln) {
1977         nln = Lst_Succ(ln);
1978         SuffExpandChildren(ln, gn);
1979     }
1980
1981     if (ms != NULL) {
1982         /*
1983          * Member has a known suffix, so look for a transformation rule from
1984          * it to a possible suffix of the archive. Rather than searching
1985          * through the entire list, we just look at suffixes to which the
1986          * member's suffix may be transformed...
1987          */
1988         SuffixCmpData   sd;             /* Search string data */
1989
1990         /*
1991          * Use first matching suffix...
1992          */
1993         sd.len = eoarch - gn->name;
1994         sd.ename = eoarch;
1995         ln = Lst_Find(ms->parents, &sd, SuffSuffIsSuffixP);
1996
1997         if (ln != NULL) {
1998             /*
1999              * Got one -- apply it
2000              */
2001             if (!SuffApplyTransform(gn, mem, (Suff *)Lst_Datum(ln), ms) &&
2002                 DEBUG(SUFF))
2003             {
2004                 fprintf(debug_file, "\tNo transformation from %s -> %s\n",
2005                        ms->name, ((Suff *)Lst_Datum(ln))->name);
2006             }
2007         }
2008     }
2009
2010     /*
2011      * Replace the opening and closing parens now we've no need of the separate
2012      * pieces.
2013      */
2014     *eoarch = '('; *eoname = ')';
2015
2016     /*
2017      * Pretend gn appeared to the left of a dependency operator so
2018      * the user needn't provide a transformation from the member to the
2019      * archive.
2020      */
2021     if (OP_NOP(gn->type)) {
2022         gn->type |= OP_DEPENDS;
2023     }
2024
2025     /*
2026      * Flag the member as such so we remember to look in the archive for
2027      * its modification time. The OP_JOIN | OP_MADE is needed because this
2028      * target should never get made.
2029      */
2030     mem->type |= OP_MEMBER | OP_JOIN | OP_MADE;
2031 }
2032
2033 /*-
2034  *-----------------------------------------------------------------------
2035  * SuffFindNormalDeps --
2036  *      Locate implicit dependencies for regular targets.
2037  *
2038  * Input:
2039  *      gn              Node for which to find sources
2040  *
2041  * Results:
2042  *      None.
2043  *
2044  * Side Effects:
2045  *      Same as Suff_FindDeps...
2046  *
2047  *-----------------------------------------------------------------------
2048  */
2049 static void
2050 SuffFindNormalDeps(GNode *gn, Lst slst)
2051 {
2052     char        *eoname;    /* End of name */
2053     char        *sopref;    /* Start of prefix */
2054     LstNode     ln, nln;    /* Next suffix node to check */
2055     Lst         srcs;       /* List of sources at which to look */
2056     Lst         targs;      /* List of targets to which things can be
2057                              * transformed. They all have the same file,
2058                              * but different suff and pref fields */
2059     Src         *bottom;    /* Start of found transformation path */
2060     Src         *src;       /* General Src pointer */
2061     char        *pref;      /* Prefix to use */
2062     Src         *targ;      /* General Src target pointer */
2063     SuffixCmpData sd;       /* Search string data */
2064
2065
2066     sd.len = strlen(gn->name);
2067     sd.ename = eoname = gn->name + sd.len;
2068
2069     sopref = gn->name;
2070
2071     /*
2072      * Begin at the beginning...
2073      */
2074     ln = Lst_First(sufflist);
2075     srcs = Lst_Init(FALSE);
2076     targs = Lst_Init(FALSE);
2077
2078     /*
2079      * We're caught in a catch-22 here. On the one hand, we want to use any
2080      * transformation implied by the target's sources, but we can't examine
2081      * the sources until we've expanded any variables/wildcards they may hold,
2082      * and we can't do that until we've set up the target's local variables
2083      * and we can't do that until we know what the proper suffix for the
2084      * target is (in case there are two suffixes one of which is a suffix of
2085      * the other) and we can't know that until we've found its implied
2086      * source, which we may not want to use if there's an existing source
2087      * that implies a different transformation.
2088      *
2089      * In an attempt to get around this, which may not work all the time,
2090      * but should work most of the time, we look for implied sources first,
2091      * checking transformations to all possible suffixes of the target,
2092      * use what we find to set the target's local variables, expand the
2093      * children, then look for any overriding transformations they imply.
2094      * Should we find one, we discard the one we found before.
2095      */
2096     bottom = NULL;
2097     targ = NULL;
2098
2099     if (!(gn->type & OP_PHONY)) {
2100
2101         while (ln != NULL) {
2102             /*
2103              * Look for next possible suffix...
2104              */
2105             ln = Lst_FindFrom(sufflist, ln, &sd, SuffSuffIsSuffixP);
2106
2107             if (ln != NULL) {
2108                 int         prefLen;        /* Length of the prefix */
2109
2110                 /*
2111                  * Allocate a Src structure to which things can be transformed
2112                  */
2113                 targ = bmake_malloc(sizeof(Src));
2114                 targ->file = bmake_strdup(gn->name);
2115                 targ->suff = (Suff *)Lst_Datum(ln);
2116                 targ->suff->refCount++;
2117                 targ->node = gn;
2118                 targ->parent = NULL;
2119                 targ->children = 0;
2120 #ifdef DEBUG_SRC
2121                 targ->cp = Lst_Init(FALSE);
2122 #endif
2123
2124                 /*
2125                  * Allocate room for the prefix, whose end is found by
2126                  * subtracting the length of the suffix from
2127                  * the end of the name.
2128                  */
2129                 prefLen = (eoname - targ->suff->nameLen) - sopref;
2130                 targ->pref = bmake_malloc(prefLen + 1);
2131                 memcpy(targ->pref, sopref, prefLen);
2132                 targ->pref[prefLen] = '\0';
2133
2134                 /*
2135                  * Add nodes from which the target can be made
2136                  */
2137                 SuffAddLevel(srcs, targ);
2138
2139                 /*
2140                  * Record the target so we can nuke it
2141                  */
2142                 (void)Lst_AtEnd(targs, targ);
2143
2144                 /*
2145                  * Search from this suffix's successor...
2146                  */
2147                 ln = Lst_Succ(ln);
2148             }
2149         }
2150
2151         /*
2152          * Handle target of unknown suffix...
2153          */
2154         if (Lst_IsEmpty(targs) && suffNull != NULL) {
2155             if (DEBUG(SUFF)) {
2156                 fprintf(debug_file, "\tNo known suffix on %s. Using .NULL suffix\n", gn->name);
2157             }
2158
2159             targ = bmake_malloc(sizeof(Src));
2160             targ->file = bmake_strdup(gn->name);
2161             targ->suff = suffNull;
2162             targ->suff->refCount++;
2163             targ->node = gn;
2164             targ->parent = NULL;
2165             targ->children = 0;
2166             targ->pref = bmake_strdup(sopref);
2167 #ifdef DEBUG_SRC
2168             targ->cp = Lst_Init(FALSE);
2169 #endif
2170
2171             /*
2172              * Only use the default suffix rules if we don't have commands
2173              * defined for this gnode; traditional make programs used to
2174              * not define suffix rules if the gnode had children but we
2175              * don't do this anymore.
2176              */
2177             if (Lst_IsEmpty(gn->commands))
2178                 SuffAddLevel(srcs, targ);
2179             else {
2180                 if (DEBUG(SUFF))
2181                     fprintf(debug_file, "not ");
2182             }
2183
2184             if (DEBUG(SUFF))
2185                 fprintf(debug_file, "adding suffix rules\n");
2186
2187             (void)Lst_AtEnd(targs, targ);
2188         }
2189
2190         /*
2191          * Using the list of possible sources built up from the target
2192          * suffix(es), try and find an existing file/target that matches.
2193          */
2194         bottom = SuffFindThem(srcs, slst);
2195
2196         if (bottom == NULL) {
2197             /*
2198              * No known transformations -- use the first suffix found
2199              * for setting the local variables.
2200              */
2201             if (!Lst_IsEmpty(targs)) {
2202                 targ = (Src *)Lst_Datum(Lst_First(targs));
2203             } else {
2204                 targ = NULL;
2205             }
2206         } else {
2207             /*
2208              * Work up the transformation path to find the suffix of the
2209              * target to which the transformation was made.
2210              */
2211             for (targ = bottom; targ->parent != NULL; targ = targ->parent)
2212                 continue;
2213         }
2214     }
2215
2216     Var_Set(TARGET, gn->path ? gn->path : gn->name, gn, 0);
2217
2218     pref = (targ != NULL) ? targ->pref : gn->name;
2219     Var_Set(PREFIX, pref, gn, 0);
2220
2221     /*
2222      * Now we've got the important local variables set, expand any sources
2223      * that still contain variables or wildcards in their names.
2224      */
2225     for (ln = Lst_First(gn->children); ln != NULL; ln = nln) {
2226         nln = Lst_Succ(ln);
2227         SuffExpandChildren(ln, gn);
2228     }
2229
2230     if (targ == NULL) {
2231         if (DEBUG(SUFF)) {
2232             fprintf(debug_file, "\tNo valid suffix on %s\n", gn->name);
2233         }
2234
2235 sfnd_abort:
2236         /*
2237          * Deal with finding the thing on the default search path. We
2238          * always do that, not only if the node is only a source (not
2239          * on the lhs of a dependency operator or [XXX] it has neither
2240          * children or commands) as the old pmake did.
2241          */
2242         if ((gn->type & (OP_PHONY|OP_NOPATH)) == 0) {
2243             free(gn->path);
2244             gn->path = Dir_FindFile(gn->name,
2245                                     (targ == NULL ? dirSearchPath :
2246                                      targ->suff->searchPath));
2247             if (gn->path != NULL) {
2248                 char *ptr;
2249                 Var_Set(TARGET, gn->path, gn, 0);
2250
2251                 if (targ != NULL) {
2252                     /*
2253                      * Suffix known for the thing -- trim the suffix off
2254                      * the path to form the proper .PREFIX variable.
2255                      */
2256                     int     savep = strlen(gn->path) - targ->suff->nameLen;
2257                     char    savec;
2258
2259                     if (gn->suffix)
2260                         gn->suffix->refCount--;
2261                     gn->suffix = targ->suff;
2262                     gn->suffix->refCount++;
2263
2264                     savec = gn->path[savep];
2265                     gn->path[savep] = '\0';
2266
2267                     if ((ptr = strrchr(gn->path, '/')) != NULL)
2268                         ptr++;
2269                     else
2270                         ptr = gn->path;
2271
2272                     Var_Set(PREFIX, ptr, gn, 0);
2273
2274                     gn->path[savep] = savec;
2275                 } else {
2276                     /*
2277                      * The .PREFIX gets the full path if the target has
2278                      * no known suffix.
2279                      */
2280                     if (gn->suffix)
2281                         gn->suffix->refCount--;
2282                     gn->suffix = NULL;
2283
2284                     if ((ptr = strrchr(gn->path, '/')) != NULL)
2285                         ptr++;
2286                     else
2287                         ptr = gn->path;
2288
2289                     Var_Set(PREFIX, ptr, gn, 0);
2290                 }
2291             }
2292         }
2293
2294         goto sfnd_return;
2295     }
2296
2297     /*
2298      * If the suffix indicates that the target is a library, mark that in
2299      * the node's type field.
2300      */
2301     if (targ->suff->flags & SUFF_LIBRARY) {
2302         gn->type |= OP_LIB;
2303     }
2304
2305     /*
2306      * Check for overriding transformation rule implied by sources
2307      */
2308     if (!Lst_IsEmpty(gn->children)) {
2309         src = SuffFindCmds(targ, slst);
2310
2311         if (src != NULL) {
2312             /*
2313              * Free up all the Src structures in the transformation path
2314              * up to, but not including, the parent node.
2315              */
2316             while (bottom && bottom->parent != NULL) {
2317                 if (Lst_Member(slst, bottom) == NULL) {
2318                     Lst_AtEnd(slst, bottom);
2319                 }
2320                 bottom = bottom->parent;
2321             }
2322             bottom = src;
2323         }
2324     }
2325
2326     if (bottom == NULL) {
2327         /*
2328          * No idea from where it can come -- return now.
2329          */
2330         goto sfnd_abort;
2331     }
2332
2333     /*
2334      * We now have a list of Src structures headed by 'bottom' and linked via
2335      * their 'parent' pointers. What we do next is create links between
2336      * source and target nodes (which may or may not have been created)
2337      * and set the necessary local variables in each target. The
2338      * commands for each target are set from the commands of the
2339      * transformation rule used to get from the src suffix to the targ
2340      * suffix. Note that this causes the commands list of the original
2341      * node, gn, to be replaced by the commands of the final
2342      * transformation rule. Also, the unmade field of gn is incremented.
2343      * Etc.
2344      */
2345     if (bottom->node == NULL) {
2346         bottom->node = Targ_FindNode(bottom->file, TARG_CREATE);
2347     }
2348
2349     for (src = bottom; src->parent != NULL; src = src->parent) {
2350         targ = src->parent;
2351
2352         if (src->node->suffix)
2353             src->node->suffix->refCount--;
2354         src->node->suffix = src->suff;
2355         src->node->suffix->refCount++;
2356
2357         if (targ->node == NULL) {
2358             targ->node = Targ_FindNode(targ->file, TARG_CREATE);
2359         }
2360
2361         SuffApplyTransform(targ->node, src->node,
2362                            targ->suff, src->suff);
2363
2364         if (targ->node != gn) {
2365             /*
2366              * Finish off the dependency-search process for any nodes
2367              * between bottom and gn (no point in questing around the
2368              * filesystem for their implicit source when it's already
2369              * known). Note that the node can't have any sources that
2370              * need expanding, since SuffFindThem will stop on an existing
2371              * node, so all we need to do is set the standard and System V
2372              * variables.
2373              */
2374             targ->node->type |= OP_DEPS_FOUND;
2375
2376             Var_Set(PREFIX, targ->pref, targ->node, 0);
2377
2378             Var_Set(TARGET, targ->node->name, targ->node, 0);
2379         }
2380     }
2381
2382     if (gn->suffix)
2383         gn->suffix->refCount--;
2384     gn->suffix = src->suff;
2385     gn->suffix->refCount++;
2386
2387     /*
2388      * Nuke the transformation path and the Src structures left over in the
2389      * two lists.
2390      */
2391 sfnd_return:
2392     if (bottom)
2393         if (Lst_Member(slst, bottom) == NULL)
2394             Lst_AtEnd(slst, bottom);
2395
2396     while (SuffRemoveSrc(srcs) || SuffRemoveSrc(targs))
2397         continue;
2398
2399     Lst_Concat(slst, srcs, LST_CONCLINK);
2400     Lst_Concat(slst, targs, LST_CONCLINK);
2401 }
2402
2403
2404 /*-
2405  *-----------------------------------------------------------------------
2406  * Suff_FindDeps  --
2407  *      Find implicit sources for the target described by the graph node
2408  *      gn
2409  *
2410  * Results:
2411  *      Nothing.
2412  *
2413  * Side Effects:
2414  *      Nodes are added to the graph below the passed-in node. The nodes
2415  *      are marked to have their IMPSRC variable filled in. The
2416  *      PREFIX variable is set for the given node and all its
2417  *      implied children.
2418  *
2419  * Notes:
2420  *      The path found by this target is the shortest path in the
2421  *      transformation graph, which may pass through non-existent targets,
2422  *      to an existing target. The search continues on all paths from the
2423  *      root suffix until a file is found. I.e. if there's a path
2424  *      .o -> .c -> .l -> .l,v from the root and the .l,v file exists but
2425  *      the .c and .l files don't, the search will branch out in
2426  *      all directions from .o and again from all the nodes on the
2427  *      next level until the .l,v node is encountered.
2428  *
2429  *-----------------------------------------------------------------------
2430  */
2431
2432 void
2433 Suff_FindDeps(GNode *gn)
2434 {
2435
2436     SuffFindDeps(gn, srclist);
2437     while (SuffRemoveSrc(srclist))
2438         continue;
2439 }
2440
2441
2442 /*
2443  * Input:
2444  *      gn              node we're dealing with
2445  *
2446  */
2447 static void
2448 SuffFindDeps(GNode *gn, Lst slst)
2449 {
2450     if (gn->type & OP_DEPS_FOUND) {
2451         /*
2452          * If dependencies already found, no need to do it again...
2453          */
2454         return;
2455     } else {
2456         gn->type |= OP_DEPS_FOUND;
2457     }
2458     /*
2459      * Make sure we have these set, may get revised below.
2460      */
2461     Var_Set(TARGET, gn->path ? gn->path : gn->name, gn, 0);
2462     Var_Set(PREFIX, gn->name, gn, 0);
2463
2464     if (DEBUG(SUFF)) {
2465         fprintf(debug_file, "SuffFindDeps (%s)\n", gn->name);
2466     }
2467
2468     if (gn->type & OP_ARCHV) {
2469         SuffFindArchiveDeps(gn, slst);
2470     } else if (gn->type & OP_LIB) {
2471         /*
2472          * If the node is a library, it is the arch module's job to find it
2473          * and set the TARGET variable accordingly. We merely provide the
2474          * search path, assuming all libraries end in ".a" (if the suffix
2475          * hasn't been defined, there's nothing we can do for it, so we just
2476          * set the TARGET variable to the node's name in order to give it a
2477          * value).
2478          */
2479         LstNode ln;
2480         Suff    *s;
2481
2482         ln = Lst_Find(sufflist, LIBSUFF, SuffSuffHasNameP);
2483         if (gn->suffix)
2484             gn->suffix->refCount--;
2485         if (ln != NULL) {
2486             gn->suffix = s = (Suff *)Lst_Datum(ln);
2487             gn->suffix->refCount++;
2488             Arch_FindLib(gn, s->searchPath);
2489         } else {
2490             gn->suffix = NULL;
2491             Var_Set(TARGET, gn->name, gn, 0);
2492         }
2493         /*
2494          * Because a library (-lfoo) target doesn't follow the standard
2495          * filesystem conventions, we don't set the regular variables for
2496          * the thing. .PREFIX is simply made empty...
2497          */
2498         Var_Set(PREFIX, "", gn, 0);
2499     } else {
2500         SuffFindNormalDeps(gn, slst);
2501     }
2502 }
2503
2504 /*-
2505  *-----------------------------------------------------------------------
2506  * Suff_SetNull --
2507  *      Define which suffix is the null suffix.
2508  *
2509  * Input:
2510  *      name            Name of null suffix
2511  *
2512  * Results:
2513  *      None.
2514  *
2515  * Side Effects:
2516  *      'suffNull' is altered.
2517  *
2518  * Notes:
2519  *      Need to handle the changing of the null suffix gracefully so the
2520  *      old transformation rules don't just go away.
2521  *
2522  *-----------------------------------------------------------------------
2523  */
2524 void
2525 Suff_SetNull(char *name)
2526 {
2527     Suff    *s;
2528     LstNode ln;
2529
2530     ln = Lst_Find(sufflist, name, SuffSuffHasNameP);
2531     if (ln != NULL) {
2532         s = (Suff *)Lst_Datum(ln);
2533         if (suffNull != NULL) {
2534             suffNull->flags &= ~SUFF_NULL;
2535         }
2536         s->flags |= SUFF_NULL;
2537         /*
2538          * XXX: Here's where the transformation mangling would take place
2539          */
2540         suffNull = s;
2541     } else {
2542         Parse_Error(PARSE_WARNING, "Desired null suffix %s not defined.",
2543                      name);
2544     }
2545 }
2546
2547 /*-
2548  *-----------------------------------------------------------------------
2549  * Suff_Init --
2550  *      Initialize suffixes module
2551  *
2552  * Results:
2553  *      None
2554  *
2555  * Side Effects:
2556  *      Many
2557  *-----------------------------------------------------------------------
2558  */
2559 void
2560 Suff_Init(void)
2561 {
2562 #ifdef CLEANUP
2563     suffClean = Lst_Init(FALSE);
2564 #endif
2565     srclist = Lst_Init(FALSE);
2566     transforms = Lst_Init(FALSE);
2567
2568     /*
2569      * Create null suffix for single-suffix rules (POSIX). The thing doesn't
2570      * actually go on the suffix list or everyone will think that's its
2571      * suffix.
2572      */
2573     Suff_ClearSuffixes();
2574 }
2575
2576
2577 /*-
2578  *----------------------------------------------------------------------
2579  * Suff_End --
2580  *      Cleanup the this module
2581  *
2582  * Results:
2583  *      None
2584  *
2585  * Side Effects:
2586  *      The memory is free'd.
2587  *----------------------------------------------------------------------
2588  */
2589
2590 void
2591 Suff_End(void)
2592 {
2593 #ifdef CLEANUP
2594     Lst_Destroy(sufflist, SuffFree);
2595     Lst_Destroy(suffClean, SuffFree);
2596     if (suffNull)
2597         SuffFree(suffNull);
2598     Lst_Destroy(srclist, NULL);
2599     Lst_Destroy(transforms, NULL);
2600 #endif
2601 }
2602
2603
2604 /********************* DEBUGGING FUNCTIONS **********************/
2605
2606 static int SuffPrintName(void *s, void *dummy MAKE_ATTR_UNUSED)
2607 {
2608
2609     fprintf(debug_file, "%s ", ((Suff *)s)->name);
2610     return 0;
2611 }
2612
2613 static int
2614 SuffPrintSuff(void *sp, void *dummy MAKE_ATTR_UNUSED)
2615 {
2616     Suff    *s = (Suff *)sp;
2617     int     flags;
2618     int     flag;
2619
2620     fprintf(debug_file, "# `%s' [%d] ", s->name, s->refCount);
2621
2622     flags = s->flags;
2623     if (flags) {
2624         fputs(" (", debug_file);
2625         while (flags) {
2626             flag = 1 << (ffs(flags) - 1);
2627             flags &= ~flag;
2628             switch (flag) {
2629                 case SUFF_NULL:
2630                     fprintf(debug_file, "NULL");
2631                     break;
2632                 case SUFF_INCLUDE:
2633                     fprintf(debug_file, "INCLUDE");
2634                     break;
2635                 case SUFF_LIBRARY:
2636                     fprintf(debug_file, "LIBRARY");
2637                     break;
2638             }
2639             fputc(flags ? '|' : ')', debug_file);
2640         }
2641     }
2642     fputc('\n', debug_file);
2643     fprintf(debug_file, "#\tTo: ");
2644     Lst_ForEach(s->parents, SuffPrintName, NULL);
2645     fputc('\n', debug_file);
2646     fprintf(debug_file, "#\tFrom: ");
2647     Lst_ForEach(s->children, SuffPrintName, NULL);
2648     fputc('\n', debug_file);
2649     fprintf(debug_file, "#\tSearch Path: ");
2650     Dir_PrintPath(s->searchPath);
2651     fputc('\n', debug_file);
2652     return 0;
2653 }
2654
2655 static int
2656 SuffPrintTrans(void *tp, void *dummy MAKE_ATTR_UNUSED)
2657 {
2658     GNode   *t = (GNode *)tp;
2659
2660     fprintf(debug_file, "%-16s: ", t->name);
2661     Targ_PrintType(t->type);
2662     fputc('\n', debug_file);
2663     Lst_ForEach(t->commands, Targ_PrintCmd, NULL);
2664     fputc('\n', debug_file);
2665     return 0;
2666 }
2667
2668 void
2669 Suff_PrintAll(void)
2670 {
2671     fprintf(debug_file, "#*** Suffixes:\n");
2672     Lst_ForEach(sufflist, SuffPrintSuff, NULL);
2673
2674     fprintf(debug_file, "#*** Transformations:\n");
2675     Lst_ForEach(transforms, SuffPrintTrans, NULL);
2676 }