diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:22:24 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:22:24 -0700 |
commit | d7e6a95a3a29b1dab3cd711a0b32b39be9776e82 (patch) | |
tree | 64214ae22efd31119ac7c0e08ba5d86a088d4d50 /make_deb.sh | |
parent | d355163b7dde92188c57298a6a47264a35a5d404 (diff) |
Set paths in make_deb and make_osx_package.
This is needed to include a locally installed hsb2hs.
Diffstat (limited to 'make_deb.sh')
-rwxr-xr-x | make_deb.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make_deb.sh b/make_deb.sh index a184b54d6..639d7b930 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -20,6 +20,9 @@ COPYRIGHT=$DEST/share/doc/pandoc/copyright 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 # get pandoc-citeproc man page: |