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