diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-05 18:01:45 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-05 18:01:45 +0200 |
| commit | d7b7e218bfe92516f525568a6c1c9e1a9eb241fe (patch) | |
| tree | 6cbc3155d7188f65e4b806c6edeecdd53393da69 /documentation/FACILITIES | |
Start tracking build with git
Diffstat (limited to 'documentation/FACILITIES')
| -rw-r--r-- | documentation/FACILITIES | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/documentation/FACILITIES b/documentation/FACILITIES new file mode 100644 index 0000000..26492f4 --- /dev/null +++ b/documentation/FACILITIES @@ -0,0 +1,16 @@ + +@@ can I have different strategies for src/out? Would I be able + to come up with generic implicit rules that work for all cases? + +@@ optional facilities could go into pre-load. + +@@ from building point of view distinction on source and generated + files is not essential. + +@@ Common places for generated files (from multi-arch): + + - home (out == src) + + - parallel structure outside (out is set based on curdir?) + + - subdirs in source (potentially many) (out := src + something) |