aboutsummaryrefslogtreecommitdiff
path: root/deb/Makefile
AgeCommit message (Expand)AuthorFilesLines
2016-06-04deb pkg: use --local-bin-path so we don't install to ~/.local.John MacFarlane1-0/+1
2016-01-07deb/Makefile - make DEBPKGVER work.John MacFarlane1-1/+1
2016-01-07More deb packaging tweaks.John MacFarlane1-1/+1
2016-01-07Minor tweak in how make_deb.sh is called.John MacFarlane1-1/+1
2016-01-07make_deb.sh - use --install-ghc flag instead of stack setup.John MacFarlane1-1/+1
2016-01-07deb pkg generation improvements.John MacFarlane1-1/+2
2016-01-07deb/Makefile: Renamed COMMIT -> TREEJohn MacFarlane1-2/+2
2015-11-15Build deb pkg on wheezy so we require a lower libc version.John MacFarlane1-1/+1
2015-11-12Debian: added configurable VAGRANTBOX env variable.John MacFarlane1-1/+2
2015-10-24deb/Makefile: added 'clean'.John MacFarlane1-1/+4
2015-10-24Added Vagrantfile for building deb in vm.John MacFarlane1-0/+8