<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">BTW: externalpackages/package/PETSC_ARCH is more like a default prefix<br>
for the package. Ideally if the package supported prefix - we would<br>
use it and put the stuff directly in PETSC_DIR/PETSC_ARCH - and<br>
externalpackages/package/PETSC_ARCH won't have any stuff in it.<br></blockquote><div><br></div><div>Ah, ok, that makes sense now.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Perhaps some package.py files are doing things manually and using<br>
externalpackages/package/PETSC_ARCH as temporary location - and later<br>
coping things over to PETSC_DIR/PETSC_ARCH - and not cleaning things<br>
up. [in externalpackages/package/PETSC_ARCH].</blockquote><div><br></div><div>Right, but what should we do about it? It could potentially cause a bunch of headaches. </div></div>