CMake build is broken in the latest petsc-dev: cmakeboot does not generate the makefiles. I have made a bisection search and found this changeset in BuildSystem: http://petsc.cs.iit.edu/petsc/BuildSystem/rev/bbad23803405 If I uncomment the line USE_SUBPROCESS = 0 in config/Buildsystem/script.py then it works again. Jose