There are various shards of documentation related to Ubuntu 12.04 in the wiki. Open question: does the Drake community think it's important to continue 12.04 support? Options are:
+1 for "Officially cease support for 12.04 and remove references to it"
Later this month: rapidly spin up official support for 16.04.
Later this month: rapidly spin up official support for 16.04.
I think we should concentrate on getting every currently supported platform fully tested with all optional dependencies on CI first. Day one support of a new OS is not realistic at present.
The target platform for OpenHumanoids is Ubuntu 14.04, so with that requirement in mind I would not miss Ubuntu 12 support.
That said, I wish drake could support the default compiler on ubuntu 14... :)
Hearing no demand for Ubuntu 12, I'm going to drop it. Thanks all!
Most helpful comment
I think we should concentrate on getting every currently supported platform fully tested with all optional dependencies on CI first. Day one support of a new OS is not realistic at present.