[petsc-dev] Master doesn't compile

Hi, I don’t think it’s machine dependent, but I’m attaching my make.log just in case it is not reproducible on your end. Thank you for looking, Pierre