John MacFarlane
6f9f790ae8
deb pkg: use --local-bin-path so we don't install to ~/.local.
2016-06-04 08:02:03 -07:00
John MacFarlane
eadf5ad2c1
deb/Makefile - make DEBPKGVER work.
2016-01-07 13:43:57 -08:00
John MacFarlane
6cf610d811
More deb packaging tweaks.
2016-01-07 11:40:01 -08:00
John MacFarlane
6cb94d593f
Minor tweak in how make_deb.sh is called.
2016-01-07 11:37:31 -08:00
John MacFarlane
d2dfaccb99
make_deb.sh - use --install-ghc flag instead of stack setup.
2016-01-07 11:33:22 -08:00
John MacFarlane
646ef17e55
deb pkg generation improvements.
...
Allow setting DEBPKGVER.
Bump to stack lts-4.0.
Make output verbose.
2016-01-07 11:24:51 -08:00
John MacFarlane
669153eace
deb/Makefile: Renamed COMMIT -> TREE
2016-01-07 11:13:06 -08:00
John MacFarlane
fce995a764
Build deb pkg on wheezy so we require a lower libc version.
2015-11-15 12:46:39 -08:00
John MacFarlane
51195b30dc
Debian: added configurable VAGRANTBOX env variable.
...
This should make it easy to build in different virtual
machines, e.g. 32-bit.
2015-11-12 17:26:46 -08:00
John MacFarlane
f3e559c43c
deb/Makefile: added 'clean'.
2015-10-24 22:58:59 -07:00
John MacFarlane
31e46c1cc1
Added Vagrantfile for building deb in vm.
...
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.
2015-10-24 22:52:41 -07:00
