aboutsummaryrefslogtreecommitdiff
path: root/deb/Makefile
AgeCommit message (Collapse)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
Allow setting DEBPKGVER. Bump to stack lts-4.0. Make output verbose.
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
This should make it easy to build in different virtual machines, e.g. 32-bit.
2015-10-24deb/Makefile: added 'clean'.John MacFarlane1-1/+4
2015-10-24Added Vagrantfile for building deb in vm.John MacFarlane1-0/+8
This should help in automating binary package creation. 'make package' will make the package. 'make package COMMIT=blah' will make the package from commit blah.