aboutsummaryrefslogtreecommitdiff
path: root/deb/make_deb.sh
AgeCommit message (Collapse)AuthorFilesLines
2016-06-04Fixed --local-bin-path in deb package script.John MacFarlane1-1/+1
2016-06-04deb pkg: use --local-bin-path so we don't install to ~/.local.John MacFarlane1-5/+5
2016-01-07More deb packaging tweaks.John MacFarlane1-2/+0
2016-01-07deb/make_deb.sh - removed 'stack clean'.John MacFarlane1-2/+1
2016-01-07make_deb.sh - use --install-ghc flag instead of stack setup.John MacFarlane1-3/+2
2016-01-07deb pkg generation improvements.John MacFarlane1-0/+66
Allow setting DEBPKGVER. Bump to stack lts-4.0. Make output verbose.