diff options
Diffstat (limited to 'default.result.do')
-rw-r--r-- | default.result.do | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/default.result.do b/default.result.do index f7cf7ef..56be121 100644 --- a/default.result.do +++ b/default.result.do | |||
@@ -1,12 +1,18 @@ | |||
1 | find $2 -name '*.hs' -print0 | xargs --null redo-ifchange | ||
2 | |||
3 | # Recording cross-component dependencies | ||
4 | case $2 in | 1 | case $2 in |
5 | servant) | 2 | servant) |
6 | redo-ifchange thermoprint.result | 3 | dir=servant |
7 | ;; | 4 | name=thermoprint-servant |
5 | ;; | ||
6 | *) | ||
7 | dir=$2 | ||
8 | name=$2 | ||
9 | ;; | ||
8 | esac | 10 | esac |
9 | 11 | ||
10 | nix-build -A $2 -o $2.result-link 1>&2 | 12 | find $dir \( -name '*.hs' -or -name '*.cabal' -or -name '*.nix' \) -print0 | xargs --verbose --null redo-ifchange |
13 | |||
14 | redo-ifchange default.nix | ||
15 | |||
16 | nix-build -A $name -o $dir.result-link 1>&2 | ||
11 | 17 | ||
12 | exec readlink $2.result-link \ No newline at end of file | 18 | exec readlink $dir.result-link \ No newline at end of file |