On Wed, 30 Oct 2013, Satish Balay wrote: Ok - I have the following ready for comments - so its in the pull request queue.
https://bitbucket.org/petsc/petsc/branch/balay/move-externalpackages-dir - move externalpackages location to PETSC_DIR/PETSC_ARCH - add '--with-clean' to delete PETSC_DIR/PETSC_ARCH at the begining of the build. Outstanding issue: Should we remove --with-externalpackages-dir option or keep it? Satish
