Re: [petsc-dev] C++ error

[Mark Adams]

>
>
> Just build with --with-single-library=0 --with-shared-libraries=0
>

FYI, that did not seem to work. But I think I figured it out (without too
many more runs).