config/configure.py -> configure?

[Satish Balay]

On Thu, 17 Jul 2008, Satish Balay wrote:

> >   If we could support the same way that this is done with autoconf packages
> > that would improve a users experience with PETSc.
> 
> I guess we don't prevent the usage from shell scripts. We just promote
> the alternative usage of adding configure options in a python script.

And we generate $PETSC_ARCH/config/configure.py - which can be rerun
by the user. Alternative would be to generate this file in a
shell-script notation..

Satish