Has anyone tried building a recent version of PETSc on 10.5/intel? I've tried using the port from http://petsc.darwinports.com/, but it failed halfway through the configuration stage, and I'm not so sure why (I couldn't get much sense from configure.log).
