diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-01-07 11:33:22 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-07 11:33:22 -0800 |
commit | d2dfaccb999357b5f90e096bd42bbc087d9d210e (patch) | |
tree | 3771575e2a2b2ec7676360439dfb49382988806d /deb/make_deb.sh | |
parent | 646ef17e557de57c7a8c80ad0bff04b32eb9113e (diff) |
make_deb.sh - use --install-ghc flag instead of stack setup.
Diffstat (limited to 'deb/make_deb.sh')
-rwxr-xr-x | deb/make_deb.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index e01acbf45..08d102ece 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -21,11 +21,10 @@ TEMPDIR=make_binary_package.tmp.$$ # We need this for hsb2hs: PATH=$LOCAL/bin:$PATH -stack setup --stack-setup-yaml deb/stack.yaml stack clean -which hsb2hs || stack install --stack-yaml stack.hsb2hs.yaml +which hsb2hs || stack install --install-ghc --stack-yaml stack.hsb2hs.yaml -stack install --stack-yaml deb/stack.yaml +stack install --install-ghc --stack-yaml deb/stack.yaml make man/pandoc.1 # get pandoc-citeproc man page: |