aboutsummaryrefslogtreecommitdiff
path: root/default.result.do
diff options
context:
space:
mode:
Diffstat (limited to 'default.result.do')
-rw-r--r--default.result.do20
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 @@
1find $2 -name '*.hs' -print0 | xargs --null redo-ifchange
2
3# Recording cross-component dependencies
4case $2 in 1case $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 ;;
8esac 10esac
9 11
10nix-build -A $2 -o $2.result-link 1>&2 12find $dir \( -name '*.hs' -or -name '*.cabal' -or -name '*.nix' \) -print0 | xargs --verbose --null redo-ifchange
13
14redo-ifchange default.nix
15
16nix-build -A $name -o $dir.result-link 1>&2
11 17
12exec readlink $2.result-link \ No newline at end of file 18exec readlink $dir.result-link \ No newline at end of file