15 Commits

Author	SHA1	Message	Date
Michael Snoyman	92c853d1fb	Docker: install git	2015-04-22 08:03:44 +03:00
Michael Snoyman	2fb2c6fa37	Install htmldocs in Docker	2015-04-21 15:00:18 +03:00
Michael Snoyman	ac7a7c7a84	Docker: install newest cabal-install ... Otherwise, old Cabal and Cabal-ide-backend (based on newer Cabal) seem to get completely confused about custom package databases... yay broken software!	2015-04-08 17:16:52 +03:00
Michael Snoyman	b7f9effd7d	Upgrade to Ubuntu 14.04	2015-04-06 16:52:59 +03:00
Michael Snoyman	7feb2c0565	Docker: install sudo	2015-04-02 20:19:00 +03:00
Michael Snoyman	df792c52df	Fix download URL	2015-03-22 19:21:24 +02:00
Michael Snoyman	03c7e12304	Add back Docker stuff	2015-03-22 16:26:10 +02:00
Michael Snoyman	1891c1bfa7	Separate out stackage-curator	2015-03-22 13:25:31 +02:00
Tim Dysinger	ba470b136b	Install alex & happy via PPA onto the docker image as a binary deb package ... Might be acceptable for #471 in the short term	2015-03-11 09:50:57 -10:00
Michael Snoyman	8ac653efd7	Collapse some layers	2015-02-06 00:15:18 +02:00
Michael Snoyman	d1f366e133	Put /usr/local before /opt for custom cabal to take precedence	2015-02-05 22:14:52 +02:00
Michael Snoyman	67adda68ff	Install fixed cabal-install (avoid test streaming bug)	2015-02-05 20:56:22 +02:00
Michael Snoyman	f80d0bc8e1	Docker: install hscolour	2015-01-11 13:16:48 +02:00
Michael Snoyman	636846ba31	Docker: check, do not build	2015-01-06 15:43:14 +02:00
Michael Snoyman	44cba232b7	Try out a Docker build	2015-01-06 11:33:44 +02:00