aboutsummaryrefslogtreecommitdiff
path: root/deb
AgeCommit message (Collapse)AuthorFilesLines
2015-11-15Build deb pkg on wheezy so we require a lower libc version.John MacFarlane3-4/+4
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 MacFarlane3-0/+57
2015-11-14Use latest pandoc-citeproc in deb and osx packages.John MacFarlane1-1/+1
2015-11-14Use latest pandoc-citeproc in osx, deb packages.John MacFarlane1-2/+2
2015-11-13Use current pandoc-citeproc for deb and osx packages.John MacFarlane1-1/+1
2015-11-12Debian: added configurable VAGRANTBOX env variable.John MacFarlane2-2/+3
This should make it easy to build in different virtual machines, e.g. 32-bit.
2015-10-24deb/Makefile: added 'clean'.John MacFarlane1-1/+4
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 MacFarlane2-0/+81
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-24Changed path . to .. in deb/osx stack.yaml.John MacFarlane1-1/+1
2015-10-24Changes for deb and osx package generators.John MacFarlane1-0/+17
- Use stack for make_deb.sh. - Use osx/stack.yaml or deb/stack.yaml. - deb/stack.yaml doesn't want the same ghc-options.
2015-01-26Add Installed-Size to debian package control file.John MacFarlane1-0/+1
This should help with warnings from Ubuntu 14.04 Software Center. See #1900.
2014-12-19Removed extra spaces in deb/control.in.John MacFarlane1-11/+11
2014-12-17More improvements to debpkg target.John MacFarlane1-1/+1
The generated deb has been confirmed to install and run on a fresh ubuntu/trusty64 vagrant box.
2014-12-17Improved make_deb.sh.John MacFarlane1-1/+1
2014-12-17Changed make_binary_package -> make_deb.John MacFarlane1-0/+19
Added deb/control.in.