[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:

> Satish Balay <balay at mcs.anl.gov> writes:
> > if we place reconfigure script [copy] in PETSC_DIR - then we won't
> > need --clean option :)
> 
> Maybe, but that's more clutter.  However, I'd trade it for avoiding
> putting configure.log at the top level.

At least for configure.log - there is a chicken-egg problem with
PETSC_ARCH determined by configure. Perhaps it can be delt with
easily..

Satish