12 Apr
2016
12 Apr
'16
5:14 p.m.
Dear all, I re-installed firedrake on one of my Ubuntu machines by removing old firedrake which was installed manually and running firedrake-install. Unfortunately it stopped running half way through with the errors attached. I would appreciate any help to solve this. All the best, Hiroe