On Wed, Aug 29, 2012 at 6:35 AM, Stefano Zampini <stefano.zampini@gmail.com> wrote:
Hi folks,

I don't know whether petsc-maint or petsc-dev is the appropriate mailing list to post this message.

Either is fine. I prefer petsc-dev because external people can comment.
 
Please find attached a very short patch to enable cmake build of PETSc on BlueGene/Q.
Could you please add it to petsc-3.3 and petsc-dev?

Done. I actually had this modification sitting in my working tree on the BG/Q here for the past couple months, but I had evidently forgotten to commit it.