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
48503f9161
deb/Vagrantfile improvements.
...
- Reduce memory size.
- Retrieve key.
2015-11-15 11:53:28 -08:00
John MacFarlane
35faf0cdd8
Vagrantfile: Install certificates needed for stack to work.
2015-11-15 10:09:46 -08:00
John MacFarlane
012110d62c
Use latest pandoc-citeproc in deb and osx packages.
2015-11-14 20:48:22 -08:00
John MacFarlane
0a9bb963d9
Use latest pandoc-citeproc in osx, deb packages.
2015-11-14 13:50:01 -08:00
John MacFarlane
ad321babca
Use current pandoc-citeproc for deb and osx packages.
2015-11-13 19:05:58 -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
c9693ae1f4
deb/Vagrantfile: share .., so we can put the deb there.
2015-10-24 22:57:16 -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
John MacFarlane
d355163b7d
Changed path . to .. in deb/osx stack.yaml.
2015-10-24 21:17:05 -07:00
John MacFarlane
aafccdb0bd
Changes for deb and osx package generators.
...
- 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-10-24 21:12:43 -07:00
John MacFarlane
4e03796f14
Add Installed-Size to debian package control file.
...
This should help with warnings from Ubuntu 14.04 Software Center.
See #1900 .
2015-01-26 14:34:32 -08:00
John MacFarlane
36bf76068f
Removed extra spaces in deb/control.in.
2014-12-19 17:02:55 -08:00
John MacFarlane
e60efdd98f
More improvements to debpkg target.
...
The generated deb has been confirmed to install and run
on a fresh ubuntu/trusty64 vagrant box.
2014-12-17 16:38:11 -08:00
John MacFarlane
b1a9b1a696
Improved make_deb.sh.
2014-12-17 13:53:38 -08:00
John MacFarlane
b966611067
Changed make_binary_package -> make_deb.
...
Added deb/control.in.
2014-12-17 00:16:59 -08:00
