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