[petsc-dev] setup.py for building Python extensions involving PETSc