Petsc4py takes a long time to build on my laptop (longer than PETSc itself?) It appears to not use a parallel build; any chance it can be changed to use a parallel build or to take less time to build? Thanks Barry