Hello When working with the development version of PETSc what exactly should I do each time I perform "git pull"? Can I simply run make all or do I have to run make distclean and reconfigure/rebuild everything from scratch (so that external packages are also updated as needed). Thanks in advance. T