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

Barry Smith bsmith at mcs.anl.gov
Tue Oct 29 13:49:34 CDT 2013


On Oct 29, 2013, at 9:04 AM, Jed Brown <jedbrown at mcs.anl.gov> wrote:

> Barry Smith <bsmith at mcs.anl.gov> writes:
>>    Could you please add a —with-clean (or better name?) option to ./configure that does the $PETSC_ARCH removal business? Then we can just run
>> 
>>    $PETSC_ARCH/conf/reconf*.py  —with-clean
> 
> I guess this also has to delete relevant parts of externalpackages to
> make sure the current version of packages get downloaded.
> 
> Part of me wants to put all the externalpackages inside $PETSC_ARCH
> because the source is usually smaller than the object files or the

   Or simpler just have the —with-clean nuke external packages; makes life easy.  By "store the tarballs in a common place” and SHA1 crap you are making the system more complicated to understand and maintain.


   Barry

> compiled binary, so we're not saving anything by unpacking in a common
> location.  We could store the tarballs in a common place and include
> their SHA1 in ${package}.py so that BuildSystem could match the correct
> tarball and unpack it cleanly.




More information about the petsc-dev mailing list