7 Apr
                
                    2017
                
            
            
                7 Apr
                
                '17
                
            
            
            
        
    
                2:30 p.m.
            
        On 7 Apr 2017, at 14:24, Wingate, Beth <B.Wingate@exeter.ac.uk> wrote:
That worked. Should I run firedrake-update?
No, it turns out this is a more difficult issue. Somehow the current version of Eigen which PETSc wants to download fails to install properly, which causes the error. I will report a bug upstream and get back to the list when things are likely to be working again. Cheers, Lawrence