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