I'm trying to run the config/configure.py command I get this
++ Could not locate BuildSystem in /***/jali/config.
++ Downloading it from http://petsc.cs.iit.edu/petsc/BuildSystem.
++ Attempting: hg clone http://petsc.cs.iit.edu/petsc/BuildSystem
++ Unable to clone BuildSystem. Attempting download http://petsc.cs.iit.edu/petsc/BuildSystem/archive/tip.tar.gz
Could be the site is down or that the BuildSystem was moved.
I've found another one here, but haven't tried it https://github.com/erdc/petsc-BuildSystem