[petsc-users] python3 update

[Barry Smith]

  Thanks, we'll get this into maint and master ASAP.


> On Feb 24, 2017, at 11:46 AM, Gideon Simpson <gideon.simpson at gmail.com> wrote:
> 
> It appears the following modification to petsc_conf.py is sufficient to get PetscBinaryIO.py working:
> 
> change:
> if os.environ.has_key('PETSC_DIR’):
> to
> if 'PETSC_DIR' in os.environ:
> and
> if os.environ.has_key('PETSC_ARCH’):
> to
> if 'PETSC_ARCH' in os.environ:
> 
> -gideon
>