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