23 Aug
                
                    2019
                
            
            
                23 Aug
                
                '19
                
            
            
            
        
    
                11:49 a.m.
            
        On 23 Aug 2019, at 11:41, Ham, David A <david.ham@imperial.ac.uk> wrote:
When you compiled PETSc by hand, which configure options did you use? We depend on PETSc having downloaded quite a few things for us, in particular including hdf5 . It looks like you didn’t build PETSc with that option.
If you run:
firedrake-install --show-petsc-options
--show-petsc-configure-options ^^^^^^^^^
the installer will list the options it would have passed to PETSc’s configure. You should ensure that you at least pass those options.
Thanks, Lawrence