[petsc-dev] Latest changes to petsc-dev gpu support

[Paul Mullowney]

It does. By old I meant the original code that Barry put in last year.
> What?!
>
> --with-txpetscgpu=0 should disable the package.