diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:23:40 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:23:40 -0700 |
commit | 797ec7cb751327d344ac6d77e52edfca36115036 (patch) | |
tree | cdc5f1bb41e4fcd93d545e93f25eed1f8493866a /make_deb.sh | |
parent | d7e6a95a3a29b1dab3cd711a0b32b39be9776e82 (diff) |
Moved PATH setting in make_deb, make_osx_package.
Otherwise 'which hsb2hs' won't find the local one.
Diffstat (limited to 'make_deb.sh')
-rwxr-xr-x | make_deb.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make_deb.sh b/make_deb.sh index 639d7b930..68b0bae7f 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -17,11 +17,12 @@ DEST=$DIST/usr ME=$(whoami) COPYRIGHT=$DEST/share/doc/pandoc/copyright +# We need this for hsb2hs: +PATH=$LOCAL/bin:$PATH + stack setup stack clean which hsb2hs || stack install --stack-yaml stack.hsb2hs.yaml -# We need this for hsb2hs: -PATH=$LOCAL/bin:$PATH stack install --stack-yaml deb/stack.yaml |