[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 Tue, 29 Oct 2013, Jed Brown wrote:

> Barry Smith <bsmith at mcs.anl.gov> writes:
> >    Besides us, hardly anyone uses more than 2 PETSC_ARCH!
> 
> And here I have 60 on one machine.  It might be time to clean up a
> little.
> 
> >    So how about just moving externalpackages into $PETSC_ARCH and
> >    don’t build some elaborate scheme that reuses tar balls for a tiny
> >    number of people.  In other words a clean truly means clean and
> >    gets new tar balls.
> 
> That sounds good to me.

if we place reconfigure script [copy] in PETSC_DIR - then we won't
need --clean option :)

An then - this script will be more visible and then perhaps more folks
will use it..

Satish