firedrakeproject/firedrake — pull request #187 by kynan (2014-03-07 15:52:28+00:00)
Title: Fixes to make Firedrake build on cx1

At the same time this doesn't break the build on Ubuntu/Debian.