[petsc-dev] [petsc-maint] valgrind detected on /usr/local/include and enabled but header files from this dir are not added to build path

[Satish Balay]

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