aboutsummaryrefslogtreecommitdiff
path: root/deb/Vagrantfile
AgeCommit message (Collapse)AuthorFilesLines
2017-03-19Removed unneeded deb directory.John MacFarlane1-75/+0
We now use static-linux to create the deb.
2016-07-21deb Vagrantfile: install curl.John MacFarlane1-1/+1
2015-11-15Build deb pkg on wheezy so we require a lower libc version.John MacFarlane1-2/+2
2015-11-15deb/Vagrantfile improvements.John MacFarlane1-2/+3
- Reduce memory size. - Retrieve key.
2015-11-15Vagrantfile: Install certificates needed for stack to work.John MacFarlane1-0/+1
2015-11-12Debian: added configurable VAGRANTBOX env variable.John MacFarlane1-1/+1
This should make it easy to build in different virtual machines, e.g. 32-bit.
2015-10-24deb/Vagrantfile: share .., so we can put the deb there.John MacFarlane1-1/+1
2015-10-24Added Vagrantfile for building deb in vm.John MacFarlane1-0/+73
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.