6f9f790deb pkg: use --local-bin-path so we don't install to ~/.local.John MacFarlane10 years ago eadf5addeb/Makefile - make DEBPKGVER work.John MacFarlane11 years ago 6cf610dMore deb packaging tweaks.John MacFarlane11 years ago 6cb94d5Minor tweak in how make_deb.sh is called.John MacFarlane11 years ago d2dfaccmake_deb.sh - use --install-ghc flag instead of stack setup.John MacFarlane11 years ago 646ef17deb pkg generation improvements.John MacFarlane11 years ago 669153edeb/Makefile: Renamed COMMIT -> TREEJohn MacFarlane11 years ago fce995aBuild deb pkg on wheezy so we require a lower libc version.John MacFarlane11 years ago 51195b3Debian: added configurable VAGRANTBOX env variable.John MacFarlane11 years ago f3e559cdeb/Makefile: added 'clean'.John MacFarlane11 years ago 31e46c1Added Vagrantfile for building deb in vm.John MacFarlane11 years ago