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

[Matthew Knepley]

On Wed, Oct 30, 2013 at 1:15 PM, Satish Balay <ba...@mcs.anl.gov> wrote:

> 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?


Remove it.

  Matt


>
> Satish
>



-- 
What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which their
experiments lead.
-- Norbert Wiener