Hello Lars, thanks for the patch! Concerning "Machine characteristics", I see it only in petscmachineinfo.h, so we can probably drop looking for petscconf.h in find-files.
There is already the cleaning phase 'clean-install after 'install. So I would either suggest to keep the phase 'clean-local-references where it is, or to merge its content with 'clean-install (I do not see why one should be preferred over the other). Andreas
