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 | |
| parent | d355163b7dde92188c57298a6a47264a35a5d404 (diff) | |
| download | pandoc-d7e6a95a3a29b1dab3cd711a0b32b39be9776e82.tar.gz | |
Set paths in make_deb and make_osx_package.
This is needed to include a locally installed hsb2hs.
| -rwxr-xr-x | make_deb.sh | 3 | ||||
| -rwxr-xr-x | make_osx_package.sh | 2 |
2 files changed, 5 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: diff --git a/make_osx_package.sh b/make_osx_package.sh index 3683f1a6e..60050a1ef 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -17,6 +17,8 @@ rm -rf $DIST mkdir -p $RESOURCES stack setup which hsb2hs | stack install --stack-yaml=stack.hsb2hs.yaml +# We need this for hsb2hs: +PATH=$LOCALBIN:$PATH echo Building pandoc... stack clean |