configure options

[Satish Balay]

On Tue, 19 Apr 2005, Boyana Norris wrote:

> This is a suggestion for a trivial addition to what goes in configure.log
> (that is, if it's not already available elsewhere). One feature that I've
> found very handy in the otherwise unpleasant use of gnu configure is the
> ability to cut and paste the options given to configure from the config.log
> (or .status) file, in the case when building multiple versions or slightly
> differently configured builds. This doesn't seem to be available with PETSc's
> configure, or at least not obviously so. If I take the array of options from
> configure.log, I can't just paste it on the configure command line.

Currently this functionality is available as
bmake/${PETSC_ARCH}/configure.py.

It gets created when configure is run. It can be run again with
additional options.  Changing/removing options would mean editing the
python syntax.

Satish