diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-08-14T12·38+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-08-14T12·38+0000 |
commit | 08c53923dba9c7fe6c2676be862744dc1f90f660 (patch) | |
tree | 8830cb88956a1e797587a06ae1adaee7c3be2679 /make/lib/find-includes.pl | |
parent | 714b7256cd5a6783813c3d3a7468f36ba637f567 (diff) |
* A primitive operation `dependencyClosure' to do automatic dependency
determination (e.g., finding the header files dependencies of a C file) in Nix low-level builds automatically. For instance, in the function `compileC' in make/lib/default.nix, we find the header file dependencies of C file `main' as follows: localIncludes = dependencyClosure { scanner = file: import (findIncludes { inherit file; }); startSet = [main]; }; The function works by "growing" the set of dependencies, starting with the set `startSet', and calling the function `scanner' for each file to get its dependencies (which should yield a list of strings representing relative paths). For instance, when `scanner' is called on a file `foo.c' that includes the line #include "../bar/fnord.h" then `scanner' should yield ["../bar/fnord.h"]. This list of dependencies is absolutised relative to the including file and added to the set of dependencies. The process continues until no more dependencies are found (hence its a closure). `dependencyClosure' yields a list that contains in alternation a dependency, and its relative path to the directory of the start file, e.g., [ /bla/bla/foo.c "foo.c" /bla/bar/fnord.h "../bar/fnord.h" ] These relative paths are necessary for the builder that compiles foo.c to reconstruct the relative directory structure expected by foo.c. The advantage of `dependencyClosure' over the old approach (using the impure `__currentTime') is that it's completely pure, and more efficient because it only rescans for dependencies (i.e., by building the derivations yielded by `scanner') if sources have actually changed. The old approach rescanned every time.
Diffstat (limited to 'make/lib/find-includes.pl')
-rw-r--r-- | make/lib/find-includes.pl | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/make/lib/find-includes.pl b/make/lib/find-includes.pl new file mode 100644 index 000000000000..f4f1f43239f3 --- /dev/null +++ b/make/lib/find-includes.pl @@ -0,0 +1,19 @@ +use strict; + +my $root = $ENV{"main"}; +my $out = $ENV{"out"}; + +open OUT, ">$out" or die "$!"; +print OUT "[\n"; + +open IN, "<$root" or die "$!"; +while (<IN>) { + if (/^\#include\s+\"(.*)\"/) { + print "DEP $1\n"; + print OUT "\"$1\"\n"; + } +} +close IN; + +print OUT "]\n"; +close OUT; |