Emanuel Borsboom
30330a5720
release: add support for Ubuntu 16.04 ( #2056 )
2016-04-23 09:48:08 -07:00
Emanuel Borsboom
397cae6421
release: updates to process
2015-11-20 15:31:21 -08:00
Emanuel Borsboom
52bb19764e
release: script updates
...
* Vagrantfiles: use puppetlabs boxes for everything
* Use --install-ghc when building release script
* Add rsync__args to Vagrantfiles
* Copy GPG key to Vagrant VMs
2015-11-20 07:23:03 -08:00
Emanuel Borsboom
e6f23cf325
Release process documentation updates for v0.1.6.0
2015-10-15 10:46:00 -07:00
Emanuel Borsboom
a30f022c3d
Releases Vagrantfiles: install ncurses-devel on CentOS
2015-09-24 01:56:24 -07:00
Emanuel Borsboom
5f8fa5fb0f
release Vagrantfiles: increase memory and install libtinfo-dev
2015-09-24 00:46:20 -07:00
Emanuel Borsboom
dc22790864
release.hs: reorganize distro packacing to use vagrant instead of Docker
2015-09-23 05:08:28 -07:00
Emanuel Borsboom
c0d3a1b388
Vagrantfiles for gmp4 releases
2015-07-30 10:30:05 -07:00
Emanuel Borsboom
a5fae1849f
Vagrantfiles for CentOS 7 and Debian 7 for release
2015-07-04 21:35:06 -07:00
