diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-07-20 13:48:20 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-07-20 13:48:20 -0700 |
commit | c52fa069002e1a89f30143256a9d48bc7065e1ae (patch) | |
tree | 01f762ac084e3b8845c8179337a099e47f43b6e8 /deb | |
parent | 34533dd8d19ee8e420fddb5c3aeba99cfc326947 (diff) |
Small changes in debian package creation.
Use more recent resolver, no longer need custom stack.yaml
for hsb2hs
Diffstat (limited to 'deb')
-rwxr-xr-x | deb/make_deb.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index fc1f1e232..ed06d2e6b 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -19,8 +19,7 @@ TEMPDIR=make_binary_package.tmp.$$ # We need this for hsb2hs: PATH=$LOCAL/bin:$PATH -which hsb2hs || stack install --install-ghc --stack-yaml stack.hsb2hs.yaml - +stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . hsb2hs stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . pandoc pandoc-citeproc make man/pandoc.1 |