[petsc-users] working with petsc-dev

[Barry Smith]

  It depends on how much has been changed in the repository since you pulled last. It may be a simple make is enough or it may be that a complete clear and rebuild is required. Unfortunately it is not possible to know, thus it is only safe to do a complete reconfigure. Note that unless you are pulling to get a specific new feature that was added there probably isn't a reason to git pull all that often (certainly not daily) maybe every couple of weeks or even once a month.

   Barry

> On Mar 1, 2015, at 11:42 AM, Tabrez Ali <stali at geology.wisc.edu> wrote:
> 
> 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